Petri Net Based Design of Reconfigurable Embedded Real-Time Systems [chapter]

Carsten Rust, Friedhelm Stappert, Reinhard Bernhardi-Grisson
2002 IFIP Advances in Information and Communication Technology  
During the last years we have developed a methodology for the design of complex embedded real-time systems. The methodology supports the complete design flow reaching from modeling of embedded systems on a high level of abstraction over simulation and analysis down to the implementation on target platforms. In this paper, we describe our current work, which aims at opening the methodology for dynamically reconfigurable systems. We describe the main ideas for extending our formal model of
more » ... vel Petri Nets in order to capture these systems. Furthermore, we describe our approach for timing analysis of these systems.
doi:10.1007/978-0-387-35599-3_5 fatcat:huthummtdfawzoho3njwshbf7y