loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Franz Rammig, University of Paderborn
Carsten Rust, University of Paderborn
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
Usage of this product signifies your acceptance of the Terms of Use.