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...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Boston, MA :
Springer US : Imprint: Springer,
2005.
|
| Σειρά: | IFIP On-Line Library in Computer Science,
184 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
