Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science, 2211)

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. 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 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 Design / P. Alexander And C. Kong -- Hierarchical Hybrid Modeling Of Embedded Systems / R. Alur, T. Dang And J. Esposito / [and Others] -- Some Synchronization Issues When Designing Embedded Systems From Components / A. Benveniste -- Synchronous Programming Techniques For Embedded Systems: Present And Future / G. Berry -- From Requirements To Validated Embedded Systems / M. Broy And O. Slotosch -- Usage Scenarios For An Automated Model Compiler / K. Butts, D. Bostic And A. Chutinan / [et Al.] -- Embedded Control: From Asynchrony To Synchrony And Back / P. Caspi -- Verification Of Embedded Software: Problems And Perspectives / P. Cousot And R. Cousot. Thomas A. Henzinger, Christoph M. Kirsch (eds.). Includes Bibliographical References And Index. This volume contains 34 invited papers from the First International Workshop on Embedded Systems. Each paper presents the latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development. Systems Engineering is characterized by two important characteristics: (i) the integration of information from multiple, heterogeneous sources; and (ii) working at high levels of abstraction with incomplete information.