ACM SIGBED Review (ISSN: 1551-3688)
Special Interest Group on Embedded Systems

  Home >> Archives >> Submit >> News >> Contact Us

SIGBED Review, Volume 3, Number 4, October 2006
Special Issues on Workshop on Innovative Techniques for Certification of Embedded Systems


Content:

Introduction to the Special Issue
Regular Columns
Special Issue: Workshop on Innovative Techniques for Certification of Embedded Systems

Introduction to the Special Issue:

This volume is comprised of papers presented at the Workshop on Innovative Techniques for Certification of Embedded Systems (ITCES), held in San Jose, California on April 4, 2006, in conjunction with the IEEE Real-time and embedded Technology and Applications Symposium.

Certification of safety critical embedded systems, such as software for aviation systems and medical devices, is critical for establishing confidence in the correct operation of such systems. Software in these critical systems becomes more and more complex. System functionality expands, with larger amounts of sensor data that needs to be intelligently processed and integrated. Ever-increasing degree of paralellism offered by multi-processor and multi-code embedded platforms further increases the level of complexity. Traditional approaches to certification, according to many experts, are reaching their limits. New techniques, supported by tools, have to emerge in order to supplement existing techniques. Quantitative measures need to be defined for proper evaluation of the quality of system development and thoroughness of verification and validation.

These and other aspect relating to certification of embedded systems were the subject of workshop presentation. In addition to the submitted papers, the workshop featured two invited presentations: "Can certification be made more scientific" by John Rushby (SRI) and "Using formal methods in security certification" by Matt Wilding (Rockwell Collins).

While many challenging questions remain open, we are confident that the workshop is an important step towards the development of new-generation certification techniques.

Special Issue Editors:
John Hatcliff
Insup Lee
Oleg Sokolsky


Regular Columns:

Upcoming Events:

Special Issue: Special Issues on Workshop on Innovative Techniques for Certification of Embedded Systems


Newsletter Editors:

Welcome to the SIGBED Review. The peer-reviewed quarterly publication provides a dissemination forum for research on embedded computing. Topics of interest include, but are not limited to, embedded software, embedded system architecture, model-based design, distributed real-time middleware, real-time architectures, feedback control, low-power computing, sensor networks, security, and embedded applications. Submissions on these and other topics should be sent by e-mail to Tarek Abdelzaher,

Last update: 10-28-2006
Maintained by Chengdu Huang