Embedded Software
Subtitle: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science)
Contributors: Thomas A. Henzinger (Editor); Christoph M. Kirsch (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 25, 2001
Language: eng
Format: Paperback
Number of pages: 504
ISBN-13: 9783540426738
Subjects: Applications of Computing; Software engineering; Software Development; Development; Computers; Computers - Languages / Programming; Programming - Software Development; Computer Books: General; Programming - General; General; Operating Systems - General; Computers / Programming / Software Development; Embedded Control; Embedded Software; Embedded Systems; Formal Verification; Hybrid Systems; Middleware; Reactive Systems; Real-Time Systems; Computer software; Congresses
First sentence: 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.
Description: 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.