Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Radetzki, Martin (Editor)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2009.
• Series: Lecture Notes in Electrical Engineering, 36
• Subjects: Engineering.; Special purpose computers.; Computer system failures.; Programming languages (Electronic computers).; Computer simulation.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Programming Languages, Compilers, Interpreters.; Electronics and Microelectronics, Instrumentation.; Special Purpose and Application-Based Systems.; System Performance and Evaluation.; Simulation and Modeling.

Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in...