Abstract
In recent years embedded systems have gained increasing importance. Due to the increasing functionality they have to be designed in teams with several specialists, each of them working on one single part of the whole system. But the focus in design is not only more functionality and higher performance but also safety and reliability criteria that have to be fulfilled by the designed components. This includes functional requirements as well as real-time constraints.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Altenbernd, P. (1997). CHaRy: The C-LAB Hard Real-Time System to Support Mechatronical Design in International Conference and Workshop on Engineering of Computer Based Systems (ECBS), Monterey, CA.
Brielmann, M. (1995). Modelling differential equations by basic information technology means. Proceedings of the 5th International Conference on Computer Aided Systems, Theory and Technology (EUROCAST’95), Innsbruck, Austria.
Cherkasova L. A., Kotov V. E. (1981). Structured nets In J. Gruska and M. Chytil, editors, Mathematical Foundations of Computer Science, volume 118 of Lecture Notes in Computer Science. Springer Verlag.
Dittrich, Gisbert. (1994). Modeling of Complex Systems Using Hierarchical Petri Nets In Codesign: Computer-aided software/hardware engineering, New York, NY. IEEE Press, chapter 6.
Genrich, H. J. (1987). Predicate/Transition Nets Advances in Petri Nets Part I, Vol. 254, Springer Verlag.
Hardt, W. (1995). An Automated Approach to HW/SW-Codesign. In IEEE Colloquium: Paritioning in Hardware-Software Codesings. London, Great Britain, February 1995.
Hardt, W., Altenbernd, P., Böke, C., Del Castillo, G., Ditze, C., Erpenbach, E., Glässer, U., Kleinjohann, B., Lehrenfeld, G., Rammig, F. J., Rust, C., Stappert, F., Stroop, J., Tacken, J. (1998). “Paradise: Design Environment for Parallel and Distributed, Embedded Real-Time Systems”, In Proc. of the International IFIP WG 10.3/WG 10.5 Workshop on Distributed and Parallel Embedded Systems (DIPES ‘88), Paderborn University, Germany.
Kleinjohann, B., Kleinjohann, E., Tacken, J. (1996). The SEA Language for System Engineer- ing and Animation. Applications and Theory of Petri Nets, LNCS 1091, Springer Verlag.
Kleinjohann, B., Tacken, J., Tahedl, C. (1997). 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 Applications, Toledo, Spain, Chapman and Hall.
Rust, C., Stroop, J., Tacken, J. (1998). “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 (PART ‘88), Adelaide, Australia.
Starke, P. H. (1990). Analyse von Petri-Netz-Modellen, Leitfäden und Monographien der Informatik, Teubner, Stuttgart.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Tacken, J. (1999). Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems. In: Rammig, F.J. (eds) Distributed and Parallel Embedded Systems. DIPES 1998. IFIP — The International Federation for Information Processing, vol 25. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35570-2_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-35570-2_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5006-5
Online ISBN: 978-0-387-35570-2
eBook Packages: Springer Book Archive