+612 9045 4394
 
CHECKOUT
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8-10, 2001. Proceedings - Thomas A. Henzinger

Embedded Software

First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8-10, 2001. Proceedings

By: Thomas A. Henzinger (Editor), Christoph M. Kirsch (Editor)

Paperback

Published: 26th September 2001
Ships: 5 to 9 business days
5 to 9 business days
$158.39
or 4 easy payments of $39.60 with Learn more

This volume contains the proceedings of EMSOFT 2001, the First International Workshop on Embedded Software. The workshop was organized October 8-10, 2001, at Tahoe City, California. The steering committee of the workshop has the following members: G´ erard Berry (Esterel Technologies, France) Paul Hudak (Yale University, USA) Hermann Kopetz(Technical University of Vienna, Austria) Edward Lee (University of California, Berkeley, USA) Ragunathan Rajkumar (Carnegie Mellon University, USA) Alberto Sangiovanni-Vincentelli (University of California, Berkeley, USA) Douglas Schmidt (Defense Advanced Research Projects Agency, USA) Joseph Sifakis (Verimag Grenoble, France) The workshop was sponsored jointly by the DARPA Information Technology O?ce within the MobIES (Model-based Integration of Embedded Systems) p- gram (Dr. Janos Sztipanovits), and by the National Science Foundation (Dr. Helen Gill). The workshop URL is www. emsoft. org. Embedded software is software that interacts with physical processes. As - bedded systems increasingly permeate our daily lives on all levels, from micr- copic devices to international networks, the cost-e?cient development of reliable embedded software is one of the grand challenges in computer science today. The purpose of the workshop is to bring together researchers in all areas of computer science that are traditionally distinct but relevant to embedded software devel- ment, and to incubate a research community in this way.

Heterogeneous Modeling Support for Embedded Systems Designp. 1
Hierarchical Hybrid Modeling of Embedded Systemsp. 14
Some Synchronization Issues When Designing Embedded Systems from Componentsp. 32
Synchronous Programming Techniques for Embedded Systems: Present and Futurep. 50
From Requirements to Validated Embedded Systemsp. 51
Usage Scenarios for an Automated Model Compilerp. 66
Embedded Control: From Asynchrony to Synchrony and Backp. 80
Verification of Embedded Software: Problems and Perspectivesp. 97
A Network-Centric Approach to Embedded Software for Tiny Devicesp. 114
Storage Allocation for Real-Time, Embedded Systemsp. 131
Interface Theories for Component-Based Designp. 148
Giotto: A Time-Triggered Language for Embedded Programmingp. 166
Directions in Functional Programming for Real(-Time) Applicationsp. 185
Rate-Based Resource Allocation Models for Embedded Systemsp. 204
The Temporal Specification of Interfaces in Distributed Real-Time Systemsp. 223
System-Level Types for Component-Based Designp. 237
Embedded Software Implementation Tools for Fully Programmable Application Specific Systemsp. 254
Compiler Optimizations for Adaptive EPIC Processorsp. 257
Embedded Software Market Transformation through Reusable Frameworksp. 274
An End-to-End Methodology for Building Embedded Systemsp. 287
An Implementation of Scoped Memory for Real-Time Javap. 289
Bus Architectures for Safety-Critical Embedded Systemsp. 306
Using Multiple Levels of Abstractions in Embedded Software Designp. 324
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Softwarep. 344
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systemsp. 361
Modeling Real-Time Systems - Challenges and Work Directionsp. 373
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systemsp. 390
Embedded Software: Challenges and Opportunitiesp. 403
Embedded Software in Network Processors - Models and Algorithmsp. 416
Design of Autonomous, Distributed Systemsp. 435
Formalizing Software Architectures for Embedded Systemsp. 451
Reliable and Precise WCET Determination for a Real-Life Processorp. 469
Embedded Systems and Real-Time Programmingp. 486
Embedded Software for Videop. 493
Author Indexp. 503
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540426738
ISBN-10: 3540426736
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 504
Published: 26th September 2001
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.49
Weight (kg): 0.68