From Specification to Embedded Systems Application

As almost no other technology, embedded systems is an essential element of many innovations in automotive engineering. New functions and improvements of already existing functions, as well as the compliance with traffic regulations and customer requirements, have only become possible by the increasi...

Full description

Bibliographic Details
Other Authors: Rettberg, Achim (Editor), Zanella, Mauro C. (Editor), Rammig, Franz J. (Editor)
Format: eBook
Published: New York, NY Springer US 2005, 2005
Edition:1st ed. 2005
Series:IFIP Advances in Information and Communication Technology
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Design Methodology
  • Domain-Crossing Software Product Lines in Embedded Automotive Systems
  • Mechatronics Design and Verification
  • Modeling and Specification
  • Pattern-based Analysis in Distributed Development of Embedded Systems
  • An Embedded SW Design Exploration Approach based on UML Estimation Tools
  • Software Synthesis and Power Management
  • Embedded Hard Real-Time Software Synthesis considering Dispatcher Overheads
  • Formal Verification and Testing
  • Specification-based Testing of Real-Time Embedded Systems
  • Enhancing Interaction Support in the CORBA Component Model
  • Network and Communication Systems
  • Adaptable Switch Boxes as On-Chip Routing Nodes for Networks-On-Chip
  • Distributed Control Systems
  • Integration of Two Complementary Time-Triggered Technologies: TMO and TTP
  • Towards Run-Time Partitioning of a Real-Time Operating System for Reconfigurable Systems on a Chip
  • Partitioning Metrics for Improved Performance and Economy of Distributed Embedded Systems