Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
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
What people are saying - Write a review
We haven't found any reviews in the usual places.
Challenges in Specification and Verification
An Approach to Designing Safe Embedded Software
Can Behavioral Requirements Be Executed?
25 other sections not shown
Other editions - View all
abstraction actuator algorithm allocation analysis application approach architecture automatically behavior block boolean bytecode cache circuit clock communication compiler complex components computing configuration constraints context CORBA deadline defined DELI device drivers distributed DRE systems driver dynamic embedded software embedded systems EMSOFT energy consumption environment Esterel example execution Figure FlexCC2 formal function Giotto program hardware helicopter IEEE implementation inlining input instruction interface Java Java Virtual Machine kernel language layer LNCS loop machine memory meta-model methods middleware mode netlist nodes object operating system optimizations output overhead partition performance period pipeline platform ports priority problem Proc process actions processor profiling protocol real-time operating system Real-Time Systems reference counting requirements resource scheduling Section semantics sensor sequence Sifakis signal simulation Simulink specification speedup synchronous synchronous circuits techniques Theorem thread TinyOS tion trigger variables verification virtual VLIW WCET worst-case execution