Abstract
During the last years the production costs for IT systems have steadily decreased with regard to their complexity. IT applications that had to be realized as expensive PCBs in earlier times can now be realized on a single chip, which is, of course, much cheaper. Furthermore, low cost broad band communication media are available. Typically, the market requires IT systems that realize a set of specific features for the end user in a given environment, so called embedded systems. Some examples for such embedded systems are interfaces of mobile phones, or more generally end user interfaces for communication products, set top boxes for digital TV, or control modules in cars, airplanes or buildings. For these different application domains a variety of modeling languages with domain specific features was developed in the past. C/C++ / VHDL, for instance, as used in hardware/software codesign, do not fulfil the designers requirements for modeling of embedded systems. In order to cover the entire functionality of an embedded system, subsystems have to be specified in different languages that support the modeling of application domain specific features. As an example the control system of a car may serve: The body electronic is usually specified using discrete state based languages, whereas for the specification of control subsystems for window lifts, power train, or ABS continuous data flow based languages are used. At higher levels the car itself may be seen as a system that is embedded in a network of telematic services, that will be specified in typical languages of the telecommunication domain.
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
Booch, G., Rumbaugh, J., Jacobson, I. (1996). The Unified Modeling Language for Object Oriented Development, Version 1. 0.
Cherkasova L. A., Kotov V. E. (1981). “Structured nets”. J. Gruska and M. Chytil, editors, Mathematical Foundations of Computer Science. Volume 118 of Lecture Notes in Computer Science. Springer Verlag.
Genrich, H. J. (1987). Predicate/Transition Nets. Advances in Petri Nets Part I. Volume 254 of Lecture Notes in Computer Science. Springer Verlag.
Halbwachs, N. (1993). Synchronous Programming of Reactive Systems. Kluwer Academic Publishers.
Harel, D. (1977). “StateCharts: A visual formalism for complex systems”. Science of Computer Programming 8 (3), pp. 231–274.
Henzinger, T.A., (1996). “ The theory of hybrid automata”. Proceedings of the 11th Annual Symposium on Logic in Computer Science. IEEE Society Press.
I-Logix (1997). STATEMATE, User Reference Manual, Magnum 1.0. 1-Logix Inc. ISI (1998). “Design Automation Solutions”. Integrated Systems Inc.. http://www.isi.com/Products/DAS
ITU-T (1992). “ITU-T Specification and Description Language SDL”, Recommendation Z.100 (SDL-91), ITU General Secretariat, Geneva. http://www.itu.ch/ITU-T.
Kleinjohann, B., Kleinjohann, E., Tacken, J. (1996). “The SEA Language for System Engineering and Animation”. Applications and Theory of Petri Nets. Volume 1091 of Lecture Notes in Computer Science. Springer Verlag.
Kleinjohann, B., Tacken, J., Tahedl, C. (1997). “Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets”. Proc. of the XIII IFIP WG 10.5 Conference on Computer Hardware Description Languages and Their Applications, Toledo, Spain, Chapman & Hall.
Matteis, O., Morley M., Poigné, A. (1996), “ The Synchronous Approach to Designing Reactive Systems”. Arbeitspapiere der GMD, No. 973. GMD, St. Augustin, Germany.
OSEK (1997), OSEK/VDX operating system. ftp://www-iiit.etec.uni-karlsruhe.de/pub/osek/os20ra.pdf
Peterson, J.L. (1981). Petri Net Theory and the Modelling of Systems. Prentice Hall. Rational (1997). UML Summary, Version 1.1. http://www.rational.com/uml/resources/documentation/ summary
Rust, C., Stroop, J., Tacken, J. (1998). “The Design of Embedded Real-Time Systems using the SEA Environment”. Proc. of the 5th Annual Australasian Conference on Parallel And Real-Time Systems (PART ‘88), Adelaide, Australia.
Tanurhan, Y:, Schmerler, S., Müller-Glaser, K.D. (1995). “A Backplane Approach for Co-simulation in High-Level System Specification Environments”. Proceedings of EURO-DAC. van de Snepsheut, J.L.A. (1985). Trace Theory and VLSI Design. Springer Verlag.
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
Kleinjohann, B. (1999). Multilanguage Design. 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_2
Download citation
DOI: https://doi.org/10.1007/978-0-387-35570-2_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5006-5
Online ISBN: 978-0-387-35570-2
eBook Packages: Springer Book Archive