Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science, 2491, Band 2491) - Softcover

Sifakis, Joseph; Sangiovanni-Vincentelli, Alberto

 
9783540443070: Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science, 2491, Band 2491)
Softcover
ISBN 10: 354044307X ISBN 13: 9783540443070
Verlag: Springer, 2008

Inhaltsangabe

Embedded Systems: Challenges in Specification and Verification.- An Approach to Designing Safe Embedded Software.- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).- Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems.- A Giotto-Based Helicopter Control System.- Principles of Real-Time Programming.- Time-Safety Checking for Embedded Programs.- Compositional Modeling in Metropolis.- Timed Interfaces.- Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System.- Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.- Scalable Applications for Energy-Aware Processors.- Upgrading Embedded Software in the Field: Dependability and Survivability.- Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems.- JCOD: A Lightweight Modular Compilation Technology for Embedded Java.- Decreasing Memory Overhead in Hard Real-Time Garbage Collection.- Speedup Prediction for Selective Compilation of Embedded Java Programs.- Synchronous Modelling of Asynchronous Systems.- A Protocol for Loosely Time-Triggered Architectures.- Automatic Production of Globally Asynchronous Locally Synchronous Systems.- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems.- Toward an Approximation Theory for Computerised Control.- A New Facility for Dynamic Control of Program Execution: DELI.- Design Tools for Application Specific Embedded Processors.- Processor Pipelines and Their Properties for Static WCET Analysis.- ILP-Based Interprocedural Path Analysis.- Enhancing Compiler Techniques for Memory Energy Optimizations.- FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors.- Physical Programming: Beyond Mere Logic.- Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
354044307X
ISBN 13 
9783540443070
Einband
Taschenbuch
Anzahl der Seiten
440
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland