Abstract
During the last years we have been working towards a complete design method for distributed embedded real-time systems. The main characteristic of the methodology is that within the critical phases of analysis and synthesis the system under development is available in one unique model, that of extended Pr/T—Nets. Among several other reasons we have chosen a high—level Petri Net model in order to benefit from the multitude of analysis and synthesis methods for Petri Nets. Even though the methodology is based upon one common model, it nevertheless supports the modeling of heterogeneous systems using different specification languages. The methodology was introduced and described in several former publications. In this paper we therefore only give a brief overview and afterwards go into details of our recent work, namely the transformation of proper Pr/T—Net—models into synchronous languages, the partitioning of Pr/T—Nets and an OS—integrated execution engine for Pr/T—Nets.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
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.
The MathWorks Inc. Stateflow User’s Guide, 1999.
Telelogic AB. SDT 3.1 Reference Manual, 1996.
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.
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.
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.
F. Huber, B. Schätz, A. Schmidt, and K. Spies. AutoFocus-A Tool for Distributed Systems Specification. In Proceedings FTRTFT’96-Formal Techniques in Real-Time and Fault-Tolerant Systems, P.467–470. Springer Verlag, LNCS 1135, 1996.
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.
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.
R. Esser. CodeSign, Version 1.0, Concepts and Tutorial. Computer Engineering and Networks Laboratory, Swiss Federal Institute of Technology, Zürich, 1996.
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.
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.
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.
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.
B. Kleinjohann, C. Rust, and J. Tacken. Entwurf von autonomen Systemen mit High Level Petrinetzen. In 16.F achgespräch Autonome Mobile Systeme (AMS’2000), Karlsruhe, Germany, September 2000.
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.
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.
J. Tacken. Eine Pr/T-Netz basierte, durchgängige Entwurfsmethodik für eingebettete Realzeitsysteme. PhD thesis, Universität Paderborn, FB 17, 2000.
N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.
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.
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.
Olivier Maffeïs and Axel Poigné. Synchronous automata for reactive, real-time and embedded systems. Arbeitspapiere der GMD, No.967, January 1996.
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.
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.
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.
C. Ditze. Towards Operating System Synthesis. Ph.d. thesis, Paderborn University, FB17, Paderborn, Germany, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rust, C., Tacken, J., Böke, C. (2001). Pr/T-Net Based Seamless Design of Embedded Real-Time Systems. In: Colom, JM., Koutny, M. (eds) Applications and Theory of Petri Nets 2001. ICATPN 2001. Lecture Notes in Computer Science, vol 2075. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45740-2_20
Download citation
DOI: https://doi.org/10.1007/3-540-45740-2_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42252-5
Online ISBN: 978-3-540-45740-4
eBook Packages: Springer Book Archive