Cargando…
Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Edición: | 1st ed. 2008. |
| Colección: | Programming and Software Engineering,
4888 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.