Embedded Software

First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings

Thomas A. Henzinger, Christoph M. Kirsch

504 pages, parution le 21/01/2002

Ajouter à une liste

Indisponible

Résumé

With the omnipresence of micro devices in our daily lifes embedded software has gained tremendous importance in both science and industry.

This volume contains 34 invited papers from the First International Workshop on Embedded Systems. They present latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development (such as, for example, component based design, functional programming, real-time Java, resource and storage allocation, verification). Each paper focuses on one topic, showing the inter-relationship and application to the design and implementation of embedded software systems.

Contents

Heterogeneous Modeling Support for Embedded Systems Design 1
Hierarchical Hybrid Modeling of Embedded Systems 14
Some Synchronization Issues When Designing Embedded Systems from Components 32
Synchronous Programming Techniques for Embedded Systems: Present and Future 50
From Requirements to Validated Embedded Systems 51
Usage Scenarios for an Automated Model Compiler 66
Embedded Control: From Asynchrony to Synchrony and Back 80
Verification of Embedded Software: Problems and Perspectives 97
A Network-Centric Approach to Embedded Software for Tiny Devices 114
Storage Allocation for Real-Time, Embedded Systems 131
Interface Theories for Component-Based Design 148
Giotto: A Time-Triggered Language for Embedded Programming 166
Directions in Functional Programming for Real(-Time) Applications 185
Rate-Based Resource Allocation Models for Embedded Systems 204
The Temporal Specification of Interfaces in Distributed Real-Time Systems 223
System-Level Types for Component-Based Design 237
Embedded Software Implementation Tools for Fully Programmable Application Specific Systems 254
Compiler Optimizations for Adaptive EPIC Processors 257
Embedded Software Market Transformation through Reusable Frameworks 274
An End-to-End Methodology for Building Embedded Systems 287
An Implementation of Scoped Memory for Real-Time Java 289
Bus Architectures for Safety-Critical Embedded Systems 306
Using Multiple Levels of Abstractions in Embedded Software Design 324
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software 344
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems 361
Modeling Real-Time Systems - Challenges and Work Directions 373
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems 390
Embedded Software: Challenges and Opportunities 403
Embedded Software in Network Processors - Models and Algorithms 416
Design of Autonomous, Distributed Systems 435
Formalizing Software Architectures for Embedded Systems 451
Reliable and Precise WCET Determination for a Real-Life Processor 469
Embedded Systems and Real-Time Programming 486
Embedded Software for Video 493

Author Index

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Thomas A. Henzinger, Christoph M. Kirsch
Parution	21/01/2002
Nb. de pages	504
Format	15,1 x 23,6
Couverture	Broché
Poids	761g
Intérieur	Noir et Blanc
EAN13	9783540426738