Hierarchies for the Modeling and Verification of Embedded Systems
2001 (English)Report (Other academic)
A flat representation of a realistic embedded system can be too big and complex to handle and understand. In order to represent efficiently large systems, a mechanism for hierarchical com-position is needed so that the model may be constructed in a structured manner and composed of simpler units easily comprehensible by the designer at each description level. In this report we formally define the notion of hierarchy for a Petri net based representation used for mode-ling embedded systems. We show how small parts of a large system may be transformed by using the concept of hierarchy as well as the advantages of a transformational approach in the verification of embedded systems. A real-life example illustrates the feasibility of our approach on practical applications. This work has been done in the frame of the SAVE project, which aims to study the specification and verification of heterogeneous electronic systems.
Place, publisher, year, edition, pages
Linköping, Sweden: Linköpings universitet , 2001.
, SAVE Project Report
formal verification, petri nets, embedded systems, hierarchical composition, modeling
IdentifiersURN: urn:nbn:se:liu:diva-23383Local ID: 2823OAI: oai:DiVA.org:liu-23383DiVA: diva2:243697