Modeling of dynamically modifiable embedded real-time systems

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn , Issue , 2003, Pages 28-34

  Rammig, Franz ^a   Rust, Carsten ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

autonomic computing; embedded real time systems; Petri nets; reconfigurable systems

Indexed keywords

AUTONOMIC COMPUTING; DESIGN METHODOLOGY; DISTRIBUTED EMBEDDED SYSTEM; DYNAMIC MODIFICATIONS; EMBEDDED REAL TIME SYSTEMS; HARDWARE PLATFORM; HIGH-LEVEL PETRI NET MODELING; RECONFIGURABLE SYSTEMS;

EMBEDDED SYSTEMS; PETRI NETS; STRUCTURAL DESIGN;

REAL TIME SYSTEMS;

EID: 50649117961     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2003.1267487     Document Type: Conference Paper

References (11)

1. L. A. Cherkasova and V. E. Kotov. Structured Nets. In J. Gruska and M. Chytil, editors, Mathematical Foundations of Computer Science, volume 118 of Lecture Notes in Computer Science. Springer Verlag, 1981.
2. E. Lee et al. Overview of the Ptolemy Project. Technical Memorandum M01/11, Dept. EECS, University of California, Berkeley, CA 94720, July 2001.
3. H. Ehrig, A. Habel, H. Kreowski, and F. Parisi-Presicce. From Graph-Grammars to High-Level Replacement Systems. In H. Ehrig, H. Kreowski, and G. Rozenberg, editors, Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings, volume 532 of Lecture Notes in Computer Science, pages 269-291. Springer, 1991.
4. D. D. Gajski, J. Zhu, R. Domer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. Kluwer Academic Publishers, January 2000.
5. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1978.
6. M. Jersak, D. Ziegenbein, F. Wolf, K. Richter, R. Ernst, F. Cieslok, J. Teich, K. Strehl, and L. Thiele. Embedded System Design using the SPI Workbench. In Proc. FDL'00, Forum on Design Languages 2000, Tübingen, Germany, September 2000.
7. C. Lakos. Composing abstractions of coloured petri nets. In Nielsen, M. and Simpson, D., editors, Lecture Notes in Computer Science: 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 2000, volume 1825, pages 323-345. Springer-Verlag, 2000.
8. C. Rust, F. Stappert, and R. Bernhardi-Grisson. Petri Net Based Design of Reconfigurable Embedded Real-Time Systems. In Distributed And Parallel Embedded Systems, pages 41-50. Kluwer Academic Publishers, 2002.
9. C. Rust, J. Tacken, and C. Böke. Pr/T-Net Based Seamless Design of Embedded Real-Time Systems. In J.-M. Colom and M. Kounty, editors, LNCS 2075; International Conference in Application and Theory of Petri Nets (ICATPN), volume 2075, pages 343-362, Newcastle upon Tyne, U. K., 2001. Springer Verlag.
10. F. Stappert and C. Rust. Worst Case Execution Time Analysis for Petri Net Models of Embedded Systems. In International Conference on Embedded Systems and Applications, Las Vegas, 2003.
11. S. Swan. An Introduction to System-Level Modeling in SystemC. In Published on Open SystemC Initiative, Technical Papers, May 2001.