Abstract/Details

Design of safety -critical applications, a synthesis approach


2004 2004

Other formats: Order a copy

Abstract (summary)

Designing cost-sensitive real-time control systems for safety-critical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This further complicates the difficult task of deploying the embedded software that implements the control algorithms on the execution platform that is often distributed around the plant (as it is typical, for instance, in automotive applications). We propose a synthesis-based design methodology that relieves the designers from the burden of specifying detailed mechanisms for addressing the execution platform faults, while involving them in the definition of the overall fault-tolerance strategy. Thus, they can focus on addressing plant faults within their control algorithms, selecting the best components for the execution platform, and defining an accurate fault model. Our approach is centered on a new model of computation, Fault Tolerant Data Flows (FTDF), that enables the integration of formal validation techniques. We illustrate the results of applying the design flow to a Steer-By-Wire application from General Motors and a Drive-By-Wire application from BMW.

Indexing (details)


Subject
Electrical engineering;
Automotive materials
Classification
0544: Electrical engineering
0540: Automotive materials
Identifier / keyword
Applied sciences; Drive-by-wire; Fault tolerance; Safety-critical
Title
Design of safety -critical applications, a synthesis approach
Author
Pinello, Claudio
Number of pages
124
Publication year
2004
Degree date
2004
School code
0028
Source
DAI-B 66/02, Dissertation Abstracts International
Place of publication
Ann Arbor
Country of publication
United States
ISBN
9780542010033, 0542010038
Advisor
Sangiovanni-Vincentelli, Alberto L.
University/institution
University of California, Berkeley
University location
United States -- California
Degree
Ph.D.
Source type
Dissertations & Theses
Language
English
Document type
Dissertation/Thesis
Dissertation/thesis number
3165526
ProQuest document ID
305210990
Copyright
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Document URL
http://search.proquest.com/docview/305210990
Access the complete full text

You can get the full text of this document if it is part of your institution's ProQuest subscription.

Try one of the following:

  • Connect to ProQuest through your library network and search for the document from there.
  • Request the document from your library.
  • Go to the ProQuest login page and enter a ProQuest or My Research username / password.