2006 CDC workshop
From VaVMURI
2006 Conference on Decision and Control
Workshop on High-Confidence Embedded Systems
Eric Klavins, University of Washington
Richard Murray, Caltech
|
|
The workshop goals are to explore current methods for designing and reasoning about complex, high-confidence embedded systems and to propose a roadmap for future research in this area.
Synopsis of Workshop
In this workshop we will explore the specification, design and verification of complex distributed embedded systems that combine communications, computation and control in dynamic, uncertain and adversarial environments. These systems consist of autonomous components (vehicles, sensors, communications nodes and command & control elements) that cooperate with each other and operate in dynamic environments with adversarial and random elements. Likewise, the computational and communication capability of components may vary based on the hardware, changing power constraints, or failures and repairs.
Although such systems are becomming more and more commonplace, the cost of designing and verifying them is becoming overwhelming. Furthermore, designing and verifying systems to be robust against mission-ending and catastrophic failures is poorly understood. A primary goal for the workshop is to present the fundamental limitations of current methods with respect to these problems and to point the way toward a research agenda that addresses them.
The workshop will be organized around real case studies, systems modeling, design approaches and software tools. The speakers represent academia and industry.
