Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences


UC Berkeley


2010 Research Summary

A System-Level Design Methodology for Fault Tolerant Automotive Systems

View Current Project Information

Mark Lee McKelvin Jr and Alberto L. Sangiovanni-Vincentelli

Gigascale Systems Research Center NSF ITR CCR-0225610

Mission-critical applications are increasingly using electronic hardware and software content that must be designed to be robust and reliable despite faults that may occur during operation. Example applications may be found in the automotive, avionics, industrial process control, and medical industries. Furthermore, as the complexity of such systems increase, there is a corresponding increase in heterogeneity due to the expanded range of applications that are realized. Yet, system designers must meet stringent time-to-market deadlines at an acceptable performance and cost of the resulting system design.

Traditional approaches to the design of mission-critical systems are ad-hoc. The system is designed to meet functional requirements, and non-functional requirements, such as fault tolerant properties, are analyzed after the system has been implemented. Unfortunately, this design procedure may lead to suboptimal designs.

In this project, we propose to address fault tolerant properties early in the design process at the highest level of abstraction as system-level constraints on the system performance. By addressing the design of fault-tolerant systems early in the design phase at the system level, we expect to achieve better architecture solutions with respect to cost and performance. In our previous work, we have investigated the use of fault tree analysis to evaluate a given architecture [1,2], and we have addressed the modeling of fault tolerant systems using a well-defined computational model called Fault-Tolerant Data Flow [3].

M. L. McKelvin, Jr., C. Pinello, S. Kanajan, J. Wysocki, and A. Sangiovanni-Vincentelli, "Model-Based Design of Heterogeneous Systems for Fault Tree Analysis," 24th International System Safety Conference, July 2006, pp. 400-409.
M. L. McKelvin, Jr., G. Eirea, C. Pinello, S. Kanajan, and A. Sangiovanni-Vincentelli, "A Formal Approach to Fault Tree Synthesis for the Analysis of Distributed Fault Tolerant Systems," Proc. 5th ACM International Conference on Embedded Software, Jersey City, NJ, September 2005, pp. 237-246.
M. McKelvin, J. Sprinkle, C. Pinello, and A. Sangiovanni-Vincentelli, "Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment," 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), Greenbelt, MD, April 2005.
Mark L. McKelvin, Jr. and Alberto Sangiovanni-Vincentelli. Fault Tree Analysis for the Design Exploration of Fault Tolerant Automotive Architectures. Society of Automotive Engineers 2009 World Congress and Exhibition, April 2009, Detroit, MI.