Abstract
Today’s embedded systems (ES) are characterized by more and more parallelism, distribution over different locations and hard real-time (RT) requirements. Consequently, the modern, structured design process has to deal with heterogeneous requirements and restrictions. The integration of several core competencies is essential for establishing a methodological structured design process for parallel distributed embedded real-time systems. In this paper we present an overall structuring of the design process as well as the Paradise Design Environment reflecting the design process structure. Our activities are based on wide, theoretically well-founded concepts and tool support is built upon these theoretically foundations.
Chapter PDF
Similar content being viewed by others
References
C. Ditze. Constructing a customizable library to support software synthesis for embedded applications and micro-kernel operating systems. In Proc. of the 8. ACM SIGOPS European Workshop, Sintra, Portugal, September 1998.
Y. Gurevich. Evolving Algebras 1993: Lipari Guide. Börger, Editor, Specification and Validation Methods. Oxford University Press, 1995.
W. Hardt, W. Rosenstiel. Prototyping of Tightly Coupled Hardware/SoftwareSystems. Design Automation for Embedded Systems, vol. 2, no. 1 (1997).
B. Kleinjohann, E. Kleinjohann, J. Tacken. “The SEA Language for System Engineering and Animation”, In Applications and Theory of Petri Nets,LNCS 1091, Springer Verlag, 1996.
Franz J. Rammig. Systematischer Entwurf digitaler Systeme. B. G. Teubner, Stuttgart, 1989.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Hardt, W. et al. (1999). PARADISE: Design Environment for Para llel & Dis tributed, E mbedded 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_16
Download citation
DOI: https://doi.org/10.1007/978-0-387-35570-2_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5006-5
Online ISBN: 978-0-387-35570-2
eBook Packages: Springer Book Archive