Embedded Software : Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings / edited by Alberto Sangiovanni-Vincentelli, Joseph Sifakis

Von:

Sangiovanni-Vincentelli, Alberto, 1947- [aut]

Mitwirkende(r):

Sifakis, Joseph [oth]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Lecture notes in computer science ; 2491Verlag: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Beschreibung: Online-RessourceISBN:

9783540458289
354044307X

Weitere Titel:

EMSOFT 2002

Schlagwörter:

Genre/Form:

Konferenzschrift -- 2002 -- Grenoble

Andere physische Formen: 9783540443070 | Buchausg. u.d.T.: Embedded software. Berlin : Springer, 2002. IX, 421 S.DDC-Klassifikation:

005.1
004 23
005.3 23

MSC: MSC: *68U99 | 68-06 | 68N99DOI: DOI: 10.1007/3-540-45828-XOnline-Ressourcen:

Zugang im Netz des KIT

Zusammenfassung: 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.PPN: PPN: 1649274343Package identifier: Produktsigel: ZDB-2-BAE | ZDB-2-SXCS | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SEB

Exemplare ( 0 )

Dieser Titel hat keine Exemplare