Composition of Embedded Systems. Scientific and Industrial Issues
Springer Berlin (Verlag)
978-3-540-77418-1 (ISBN)
Model Driven Development and Embedded Systems.- On the Correctness of Model Transformations in the Development of Embedded Systems.- Supporting System Level Design of Distributed Real Time Systems for Automotive Applications.- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain.- Model-Based Failure Management for Distributed Reactive Systems.- Software Engineering for Embedded Systems.- A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.- Industrial Challenges in the Composition of Embedded Systems.- Deep Random Search for Efficient Model Checking of Timed Automata.- OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks.- Composition Technologies.- Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward.- Recent Additions on the Application Programming Interface of the TMO Support Middleware.- Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol.- Reliability Properties of Models for Flexible Design and Run-Time Analysis.
| Erscheint lt. Verlag | 11.1.2008 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XII, 221 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 373 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | automotive control systems • Dependable Computing • Design • Distributed Systems • Dynamic systems • Embedded Systems • fault tolerance • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • heterogeneous models • large-scale systems • Model-Based Development • Model-Driven Architecture • model transformation • networked compu • networked computing • networked systems • QoS • Real-Time Systems • Reliable Systems • Software engineering • Software Reliability • System Availability • system certification • systems composition • System Security |
| ISBN-10 | 3-540-77418-1 / 3540774181 |
| ISBN-13 | 978-3-540-77418-1 / 9783540774181 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
