Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli  Home/Search
Context
Related
| berkeley.edu/Respe...Pinello_date04.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/HomePages...pubslast (more) Homepages: C.Pinello |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Active bibliography (related documents): More All
0.5: Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
0.5: Software Fault Tolerance: A Tutorial - Torres-Pomales (2000) (Correct)
0.4: Tolère Stage Report - Pinello (Correct)
Similar documents based on text: More All
0.4: Negative Thinking in Branch-and-Bound: The Case of.. - Goldberg, Carloni.. (2000) (Correct)
0.3: Latency Insensitive Protocols - Carloni, McMillan.. (1999) (Correct)
0.2: A Methodology for Correct-by-Construction Latency.. - Carloni, McMillan, .. (1999) (Correct)
BibTeX entry: (Update)
@misc{ pinello-date-2004,
author = "C. Pinello and L. P. Carloni and A. L. Sangiovanni-Vincentelli",
title = "Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications",
booktitle = "Proc. Conf. on Design, Automation and Test in Europe",
pages = {1164-1169},
month = feb,
year = 2004,
annote = {},
keywords = {fault-tolerant design, embedded software},
affiliation = {UC Berkeley},
url = {citeseer.ist.psu.edu/pinello04faulttolerant.html} }
Citations (may not include all citations):241 The byzantine generals problem - Lamport, Shostak et al. - 1982
65 The consensus problem in fault-tolerant computing (context) - Barborak, Malek et al. - 1993
60 Programming real time applications with SIGNAL (context) - Le Guernic, Le Borgne et al. - 1991
37 What's ahead for embedded software - Lee - 2000
35 List scheduling with and without communication delays - Yang, Gerasoulis - 1993
21 The Synchronous Language Twelve Years Later (context) - Benveniste, Caspi et al. - 2003
20 Fault-tolerant scheduling on a hard real-time multiprocessor.. - Ghosh, Melhem et al. - 1994
19 Reliable and precise WCET determination for a real-life proc.. (context) - Ferdinand, Heckmann et al. - 2001
17 Embedded control systems development with GIOTTO - Henzinger, Horowitz et al. - 2001
17 Dependability : basic concepts and terminology in English (context) - Laprie - 1992
13 Taming heterogeneity---the ptolemy approach - Eker, Janneck et al. - 2003
11 Hierarchical Modeling and Analysis of Embedded Systems - Alur, Dang et al. - 2003
11 Implementing fail-silent nodes for distributed systems - FV, PD et al. - 1996
7 Byzantine clock synchronization (context) - Lamport, Melliar-Smith - 1984
5 Fault-tolerant real-time scheduling using passive replicas (context) - Ahn, Kim et al. - 1997
5 Off-line real-time fault-tolerant scheduling - Dima, Girault et al. - 2001
5 Modeling and designing heterogeneous systems - Balarin, Lavagno et al. - 2001
4 Design of embedded systems: Formal methods (context) - Edwards, Lavagno et al. - 1997
4 Real-time scheduling in a generic fault-tolerant architectur.. - Wellings, Beus-Dukic et al. - 1998
2 Fault-tolerant platforms for automotive safety-critical appl.. - Baleani, Ferrari et al. - 2003
2 The transparent implementation of fault tolerance in the tim.. (context) - Kopetz, Millinger - 1999
1 An algorithm for automatically obtaining distributed and fau.. - Girault, Kalla et al. - 2003
1 a metamodel library for fault tolerant applications design (context) - Pinello - 2002
1 Reaching strong consensus in the presence of mixed failure t.. (context) - Siu, Chin et al. - 1998
Documents on the same site (http://www-cad.eecs.berkeley.edu/HomePages/alberto/pubslast/pubslast.html): More
Solution of Parallel Language Equations for Logic.. - Yevtushenko, Villa.. (2001) (Correct)
Designing Digital Video Systems: Modeling and Scheduling - Kenter, Passerone.. (1999) (Correct)
Synthesis of Robust Control Systems Under Resource.. - Palopoli, Pinello.. (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC