ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Grand challenges in embedded software
Full text PdfPdf (128 KB)
Source
International Conference On Embedded Software archive
Proceedings of the 7th ACM & IEEE international conference on Embedded software table of contents
Salzburg, Austria
PANEL SESSION: Panel table of contents
Pages: 2 - 6  
Year of Publication: 2007
ISBN:978-1-59593-825-1
Authors
Christoph M. Kirsch  University of Salzburg, Salzburg, Austria
Reinhard Wilhelm  Saarland University, Saarbrücken, Germany
Sponsors
ACM: Association for Computing Machinery
SIGBED: ACM Special Interest Group on Embedded Systems
SIGMICRO: ACM Special Interest Group on Microarchitectural Research and Processing
SIGDA: ACM Special Interest Group on Design Automation
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 6,   Downloads (12 Months): 133,   Citation Count: 0
Additional Information:

abstract   references   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1289927.1289930
What is a DOI?

ABSTRACT

This is an introduction to the EMSOFT 2007 Panel on Grand Challenges in Embedded Software.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
T. A. Henzinger and J. Sifakis. The Embedded Systems Design Challenge. In Formal Methods 06, LNCS 4085, pages 1--15, 2006.
 
2
J.L. Voirin. Some future challenges in hard real-time and highly constrained systems. Artemis annual conference, Berlin, 4-5 June 2007.
 
3
S. Robert. New trends and needs for avionics systems. Artemis annual conference, Berlin, 4-5 June 2007.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS
      Subjects: Real-time and embedded systems


General Terms:
Design, Performance, Reliability, Verification


Keywords:
analysis, challenges, design, embedded software, performance, scheduling, verification

Collaborative Colleagues:
Christoph M. Kirsch: colleagues
Reinhard Wilhelm: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player