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.
Author(s): Perry Alexander, Cindy Kong (auth.), Thomas A. Henzinger, Christoph M. Kirsch (eds.)
Series: Lecture Notes in Computer Science 2211
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 504
Tags: Software Engineering/Programming and Operating Systems; Special Purpose and Application-Based Systems; Logics and Meanings of Programs
Heterogeneous Modeling Support for Embedded Systems Design....Pages 1-13
Hierarchical Hybrid Modeling of Embedded Systems....Pages 14-31
Some Synchronization Issues When Designing Embedded Systems from Components....Pages 32-49
Synchronous Programming Techniques for Embedded Systems: Present and Future....Pages 50-50
From Requirements to Validated Embedded Systems....Pages 51-65
Usage Scenarios for an Automated Model Compiler....Pages 66-79
Embedded Control: From Asynchrony to Synchrony and Back....Pages 80-96
Verification of Embedded Software: Problems and Perspectives....Pages 97-113
A Network-Centric Approach to Embedded Software for Tiny Devices....Pages 114-130
Storage Allocation for Real-Time, Embedded Systems....Pages 131-147
Interface Theories for Component-Based Design....Pages 148-165
Giotto: A Time-Triggered Language for Embedded Programming....Pages 166-184
Directions in Functional Programming for Real(-Time) Applications....Pages 185-203
Rate-Based Resource Allocation Models for Embedded Systems....Pages 204-222
The Temporal Specification of Interfaces in Distributed Real-Time Systems....Pages 223-236
System-Level Types for Component-Based Design....Pages 237-253
Embedded Software Implementation Tools for Fully Programmable Application Specific Systems....Pages 254-256
Compiler Optimizations for Adaptive EPIC Processors....Pages 257-273
Embedded Software Market Transformation through Reusable Frameworks....Pages 274-286
An End-to-End Methodology for Building Embedded Systems....Pages 287-288
An Implementation of Scoped Memory for Real-Time Java....Pages 289-305
Bus Architectures for Safety-Critical Embedded Systems....Pages 306-323
Using Multiple Levels of Abstractions in Embedded Software Design....Pages 324-343
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software....Pages 344-360
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems....Pages 361-372
Modeling Real-Time Systems — Challenges and Work Directions....Pages 373-389
VEST — A Toolset for Constructing and Analyzing Component Based Embedded Systems....Pages 390-402
Embedded Software: Challenges and Opportunities....Pages 403-415
Embedded Software in Network Processors — Models and Algorithms....Pages 416-434
Design of Autonomous, Distributed Systems....Pages 435-450
Formalizing Software Architectures for Embedded Systems....Pages 451-468
Reliable and Precise WCET Determination for a Real-Life Processor....Pages 469-485
Embedded Systems and Real-Time Programming....Pages 486-492
Embedded Software for Video....Pages 493-502
