Design and Implementation of a Tool for Modeling, Simulation and Verification of Component-based Embedded Systems
Independent thesis Basic level (professional degree)Student thesis
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.
Datorsystem, Petri Net, IP, modeling, simulation, formal verification, model checking
IdentifiersURN: urn:nbn:se:liu:diva-2655ISRN: LITH-IDA-EX--04/114--SEOAI: oai:DiVA.org:liu-2655DiVA: diva2:19991