liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Design and Implementation of a Tool for Modeling, Simulation and Verification of Component-based Embedded Systems
Linköping University, Department of Computer and Information Science.
2004 (English)Independent thesis Basic level (professional degree)Student thesis
Abstract [en]

Nowadays, embedded systems are becoming more and more complex. For this reason, designers focus more and more to adopt component-based methods for their designs. Consequently, there is an increasing interest on modeling and verification issues of component-based embedded systems.

In this thesis, a tool, which integrates modeling, simulation and verification of component-based embedded systems, is designed and implemented. This tool uses the PRES+, Petri Net based Representation for Embedded Systems, to model component-based embedded systems. Both simulation and verification of systems are based on the PRES+ models.

This tool consists of three integrated sub-tools, each of them with a graphical interface, the PRES+ Modeling tool, the PRES+ Simulation tool and the PRES+ Verification tool. The PRES+ Modeling tool is a graphical editor, with which system designers can model component-based embedded systems easily. The PRES+ Simulation tool, which is used to validate systems, visualizes the execution of a model in an intuitive manner. The PRES+ Verification tool provides a convenient access to a model checker, in which models can be formally verified with respect to temporal logic formulas.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2004.
Keyword [en]
Datorsystem, Petri Net, IP, modeling, simulation, formal verification, model checking
Keyword [sv]
National Category
Information Science
URN: urn:nbn:se:liu:diva-2655ISRN: LITH-IDA-EX--04/114--SEOAI: diva2:19991
Available from: 2005-02-09 Created: 2005-02-09

Open Access in DiVA

fulltext(1332 kB)671 downloads
File information
File name FULLTEXT01.pdfFile size 1332 kBChecksum SHA-1
Type fulltextMimetype application/pdf

By organisation
Department of Computer and Information Science
Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 671 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 369 hits
ReferencesLink to record
Permanent link

Direct link