High-Confidence Embedded Systems (HCES)
Carnegie Mellon University

May 1 - 2, 2003

Carnegie Mellon Specification and Verification Center
Kansas State University Laboratory for Specification, Analysis and Transformation of Software
University of Pennsylvania Real-Time Systems Group


Presentations now available
in the Workshop Schedule.



"Workshop Preparation - PLEASE READ THIS BEFORE COMING TO THE WORKSHOP"


[Attendees]      [Logistics & Hotel Info]      [Registration]      [Schedule]

The effective development of embedded systems requires a collection of tools to capture requirements, to construct, analyze and simulate specifications, to generate and test implementations, and to monitor and check implementations at run-time.  The High Confidence Embedded Systems (HCES) initiative sponsored by the Army Research Office (ARO) is aimed at advancing the methods and technologies for the integration of specification, analysis, development, testing, prototyping, simulation and monitoring of embedded software.  The primary methods of interest are:  formal specifications, test generation from specifications, automated verification, prototyping and simulation, and run-time monitoring and checking. This workshop is an annual review of the HCES project.  Recent advances will be presented, followed by talks from industry and working sessions to identify the key directions for future research in this domain.

HCES 2002


For program concerns, please contact Bruce Krogh <krogh@ece.cmu.edu>.
For web site difficulties, please contact Margaret Weigand <weigand@cs.cmu.edu>.

[Top of Page]
Updated:  28-April-03