Automatic toolset for fault tolerant design: results demonstration on a running industrial application

Alberto Manzone; Claudio Genta

doi:10.1109/OLT.2003.1214398

11th IEEE International On-Line Testing Symposium

Automatic toolset for fault tolerant design: results demonstration on a running industrial application

Year: 2003, Pages: 197

DOI Bookmark: 10.1109/OLT.2003.1214398

Authors

Alberto Manzone, Centro Ricerche FIAT
Claudio Genta, Centro Ricerche FIAT

Abstract

This paper describes an automatic toolset for validate fault tolerant designs. The toolset has been produced as a demonstrator for the AMATISTA European project (IST project 11762), to test the effectiveness of the new FT (Fault Tolerant) tools, developed as the main target of the project. The toolset has been applied on a typical automotive application already modified by the insertion of FT structures. This paper describes the set up of the demonstrator and the significant results obtained.

Like what you’re reading?

Already a member?

Get this article FREE with a new membership!

Supporting model driven engineering using the Marama meta toolset
2009 13th Enterprise Distributed Object Computing Conference Workshops
Unibus: Aspects of heterogeneity and fault tolerance in cloud computing
2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW)
Visualization of analysis results in the ProC/B toolset
Quantitative Evaluation of Systems, International Conference on
FaultBuster: An automatic code smell refactoring toolset
2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM)
Supporting Fault Tolerance in an Industrial Environment: The AMATISTA Approach
On-Line Testing Workshop, IEEE International
An Experience of Applying Architecture-based Approach to Build a Component-based Requirements Management Toolset
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003
Visualization of Analysis Results in the ProC/B Toolset
Quantitative Evaluation of Systems, International Conference on
Fault Tolerant Insertion and Verification: A Case Study
Records of the 2002 IEEE International Workshop on Memory Technology, Design and Testing
Fault Tolerant Insertion and Verification: A Case Study
On-Line Testing Workshop, IEEE International
Miler: a toolset for exploring email data
2011 33rd International Conference on Software Engineering (ICSE 2011)

Automatic toolset for fault tolerant design: results demonstration on a running industrial application

Authors

Abstract

Related Articles