Hierarchical Modeling and Verification of Embedded Systems
2001 (English)In: Euromicro Symposium on Digital Systems Design,2001, Warsaw, Poland: IEEE Computer Society Press , 2001, 63- p.Conference paper (Refereed)
In order to represent efficiently large systems, a mechanism for hierarchical composition 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 paper we formally define the notion of hierarchy for a Petri net based representation used for modeling embedded systems. We show how small parts of a large system may be transformed by using the concept of hierarchy and 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.
Place, publisher, year, edition, pages
Warsaw, Poland: IEEE Computer Society Press , 2001. 63- p.
petri nets, formal verification, modeling, hierachical composition, real-time systems, embedded systems
IdentifiersURN: urn:nbn:se:liu:diva-23373Local ID: 2810OAI: oai:DiVA.org:liu-23373DiVA: diva2:243687