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...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY
Springer US
2005, 2005
|
| Edition: | 1st ed. 2005 |
| Series: | IFIP Advances in Information and Communication Technology
|
| Subjects: | |
| 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