E-Book, Englisch, 221 Seiten, eBook
Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues
2008
ISBN: 978-3-540-77419-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
E-Book, Englisch, 221 Seiten, eBook
Reihe: Programming and Software Engineering
ISBN: 978-3-540-77419-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
