Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03F)
Modeling of Dynamically Modifiable Embedded Real-Time Systems
Anacapri (Capri Island), Italy
October 01-October 03
ISBN: 0-1795-2054-5
In the paper a Petri net based approach for modeling dynamically modifiable embedded real-time systems is presented. The presented work contributes to the extension of a Petri net based design methodology for distributed embedded systems towards the handling of dynamically modifiable systems. Extensions to the underlying High-Level Petri net model are introduced that allow for dynamic modifications of a net at run-time. Furthermore, a simulation tool for the resulting self-modifying net model is outlined. The tool has been designed to simulate the execution of a dynamically modifying Petri net on a simplified model of a hardware platform which is dynamically modifying as well.
Index Terms:
Petri nets, reconfigurable systems, autonomic computing, embedded real-time systems
Citation:
Franz Rammig, Carsten Rust, "Modeling of Dynamically Modifiable Embedded Real-Time Systems," words, pp.28, Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03F), 2003