Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Front Cover
Alberto Sangiovanni-Vincentelli, Joseph Sifakis
Springer, Nov 11, 2002 - Computer software - 423 pages
This book constitutes the refereed proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France in October 2002. The book presents 13 invited papers by leading researchers and 17 revised full papers selected during a competitive round of reviewing. The book spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modeling and validation, software engineering and programming methodologies, scheduling and execution-time analysis, formal methods, and communication protocols and fault-tolerance

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Challenges in Specification and Verification
1
An Approach to Designing Safe Embedded Software
15
Can Behavioral Requirements Be Executed?
30
Copyright

25 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information