Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings by Thomas A. HenzingerEmbedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings by Thomas A. Henzinger

Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10…

byThomas A. HenzingerEditorChristoph M. Kirsch

Paperback | September 26, 2001

Pricing and Purchase Info

$148.02 online 
$178.50 list price save 17%
Earn 740 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10…Format:PaperbackDimensions:504 pages, 23.5 × 15.5 × 0.07 inPublished:September 26, 2001Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540426736

ISBN - 13:9783540426738

Reviews

Table of Contents

Heterogeneous Modeling Support for Embedded Systems Design.- Hierarchical Hybrid Modeling of Embedded Systems.- Some Synchronization Issues When Designing Embedded Systems from Components.- Synchronous Programming Techniques for Embedded Systems: Present and Future.- From Requirements to Validated Embedded Systems.- Usage Scenarios for an Automated Model Compiler.- Embedded Control: From Asynchrony to Synchrony and Back.- Verification of Embedded Software: Problems and Perspectives.- A Network-Centric Approach to Embedded Software for Tiny Devices.- Storage Allocation for Real-Time, Embedded Systems.- Interface Theories for Component-Based Design.- Giotto: A Time-Triggered Language for Embedded Programming.- Directions in Functional Programming for Real(-Time) Applications.- Rate-Based Resource Allocation Models for Embedded Systems.- The Temporal Specification of Interfaces in Distributed Real-Time Systems.- System-Level Types for Component-Based Design.- Embedded Software Implementation Tools for Fully Programmable Application Specific Systems.- Compiler Optimizations for Adaptive EPIC Processors.- Embedded Software Market Transformation through Reusable Frameworks.- An End-to-End Methodology for Building Embedded Systems.- An Implementation of Scoped Memory for Real-Time Java.- Bus Architectures for Safety-Critical Embedded Systems.- Using Multiple Levels of Abstractions in Embedded Software Design.- Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software.- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems.- Modeling Real-Time Systems - Challenges and Work Directions.- VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems.- Embedded Software: Challenges and Opportunities.- Embedded Software in Network Processors - Models and Algorithms.- Design of Autonomous, Distributed Systems.- Formalizing Software Architectures for Embedded Systems.- Reliable and Precise WCET Determination for a Real-Life Processor.- Embedded Systems and Real-Time Programming.- Embedded Software for Video.