Pr/T-net based seamless design of embedded real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2075, Issue , 2001, Pages 343-362

  Rust, Carsten ^a   Tacken, Jürgen ^a   Böke, Carsten ^b  

^a C LAB   (Germany)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MODELING LANGUAGES; PETRI NETS; SPECIFICATION LANGUAGES;

ANALYSIS AND SYNTHESIS; CRITICAL PHASIS; DISTRIBUTED EMBEDDED REAL-TIME SYSTEMS; EMBEDDED REAL TIME SYSTEMS; EXECUTION ENGINE; HETEROGENEOUS SYSTEMS; HIGH-LEVEL PETRI NET MODELING; SYNCHRONOUS LANGUAGES;

REAL TIME SYSTEMS;

EID: 23044527264     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45740-2_20     Document Type: Conference Paper

References (27)

1. B. Kleinjohann, E. Kleinjohann, and J. Tacken. The SEA Language for System Engineering and Animation. In Applications and Theory of Petri Nets, LNCS 1091, pages 307-326. Springer Verlag, 1996.
2. D. Harel. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. In IEEE Transactions on Software Engineering, volume 16(4), pages 403-414, 1990.
3. The MathWorks Inc. Stateflow User's Guide, 1999.
4. Telelogic AB. SDT 3.1 Reference Manual, 1996.
5. W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In Proceedings of the COMPOS'97, volume 1536 of LNCS. Springer-Verlag, 1998.
6. W. Damm, B. Josko, and R. Schloer. Specification and verification of VHDL-based system-level hardware designs. In E. Börger, editor, Specification and Validation Methods, pages 331-409. Oxford University Press, UK, 1995.
7. T. Filkorn. Applications of Formal Verification in Industrial Automation and Telecommunication. In Proc. of the Workshop on Formal Design of Safety Critical Embedded Systems, 1997.
8. F. Huber, B. Schätz, A. Schmidt, and K. Spies. AutoFocus-AToolfor Distributed Systems Specification. In Proceedings FTRTFT'96 - Formal Techniques in Real-Time and Fault-Tolerant Systems, P. 467-470. Springer Verlag, LNCS 1135, 1996.
9. J. Davis II et al. Overview of the Ptolemy Project. ERL Technical Report M99/37, Dept. EECS, University of California, Berkeley, CA 94720, July 1999.
10. F. Balarin et al. POLIS A design environment for control-dominated embedded systems, version 0.4. University of California, Berkeley, http://wwwcad.eecs.berkeley.edu/polis/, 1999.
11. R. Esser. CodeSign, Version 1.0, Concepts and Tutorial. Computer Engineering and Networks Laboratory, Swiss Federal Institute of Technology, Zürich, 1996.
12. B. Kleinjohann, J. Tacken, and C. Tahedl. Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets. In Proc. of the XIII IFIP WG 10.5 Conference on Computer Hardware Description Languages and Their Applictations (CHDL-97), pages 4-23, Toledo, Spain, April 1997. Chapman & Hall.
13. C. Rust, F. Stappert, P. Altenbernd, and J. Tacken. From High-Level Specifications down to Software Implementations of Parallel Embedded Real-Time Systems. In Proceedings of DATE 2000, Paris, France, March 2000.
14. G. Lehrenfeld, R. Naumann, R. Rasche, C. Rust, and J. Tacken. Integrated Design and Simulation of Hybrid Systems. In International Workshop on Hybrid Systems: Computation and Control, Berkeley, California, April 1998.
15. C. Rust, J. Stroop, and J. Tacken. The Design of Embedded Real-Time Systems using the SEA Environment. In Proc. of the 5th Annual Australasian Conference on Parallel And Real-Time Systems, Adelaide, Australia, September 1998.
16. B. Kleinjohann, C. Rust, and J. Tacken. Entwurf von autonomen Systemen mit High Level Petrinetzen. In 16. Fachgespräch Autonome Mobile Systeme (AMS'2000), Karlsruhe, Germany, September 2000.
17. G. Findlow. Obtaining Deadlock-Preserving Skeletons for Coloured Nets. In International Conference on Applications and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, Sheffield, UK, 1992. Springer-Verlag.
18. J. Vautherin. Parallel system specifications with Coloured Petri Nets and algebraic specifications. In G. Rozenberg, editor, Advances in Petri Nets 1987, volume 266 of Lecture Notes in Computer Science. Springer-Verlag, 1987.
19. J. Tacken. Eine Pr/T-Netz basierte, durchgängige Entwurfsmethodik für eingebettete Realzeitsysteme. PhD thesis, Universität Paderborn, FB 17, 2000.
20. N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.
21. P. Altenbernd. CHaRy: The C-LAB Hard Real-Time System to Support Mechatronical Design. In Proc. of the International Conference on Engineering of Computer Based Systems (ECBS-97), Monterey, California, March 1997.
22. R. Preis and R. Diekmann. PARTY - A Software Library for Graph Partitioning. In B.H.V. Topping, editor, Advances in Computational Mechanics with Parallel and Distributed Processing, pages 63-71. Civil-Comp Press, 1997.
23. Olivier Maffëis and Axel Poigné. Synchronous automata for reactive, real-time and embedded systems. Arbeitspapiere der GMD, No. 967, January 1996.
24. C. Böke, M. Hübel, F. J. Rammig, and C. Rust. Zero-Overhead Pr/T-Net Execution. In Proc. of the SCS International European Simulation Multi-Conference (ESM), Gent, Belgium, May 23-26 2000.
25. W. Schröder-Preikschat, U. Spinczyk, F. Schön, and O. Spinczyk. Design rationale of the pure object-oriented embedded operating system. In Proc. of the Workshop on Distributed and Parallel Embedded Systems. IFIP, 1999.
26. B. Ford, K. Van Maren, J. Lepreau, S. Clawson, B. Robinson, and J. Turner. The Flux OS Toolkit: Reusable Components for OS Implementation. In Proc. of the 6th Workshop on Hot Topics in Operating Systems, May 1997.
27. C. Ditze. Towards Operating System Synthesis. Ph.d. thesis, Paderborn University, FB17, Paderborn, Germany, 1999.