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
The 3rd ACM Conference on Embedded Networked
Sensor Systems (SenSys 2006)
Boulder, Colorado, November 1-3, 2006
International Conference on Information Processing in Sensor Networks
(IPSN 2007)
Cambridge, Massachusetts, April 25-27, 2007 Important dates:
Abstract submission: November 6, 2006
Paper submission: November 13, 2006
The 27th International Conference on Distributed Computing Systems
(ICDCS 2007)
Toronto, Canada, June 25-29, 2007 Important dates:
Paper submission: November 20, 2006
The 5th International Conference on Mobile Systems, Applications, and Services (MobiSys 2007)
Puerto Rico, June 11-14, 2007 Important dates:
Abstract due: November 27, 2006
Full Paper due: December 4, 2006
The 27th IEEE Real-Time Systems Symposium
(RTSS 2006)
Rio de Janeiro, Brazil, December 5-8, 2006
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
