Understanding fault-tolerant distributed systems
Communications of the ACM
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Stable Memory in Substation Automation: A Case Study
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
A survey of software development approaches addressing dependability
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
Hi-index | 0.00 |
The topic of the present work is the specification of system Fault Tolerance (FT). FT is considered a valid technique for increasing the dependability of critical automation systems by adding them the ability to operate in presence of faults. Two basic considerations stimulated the development of the present work. Firstly although a considerable amount of concepts and theory have been published around FT, a full-organized method supporting their application to the FT needs of a specific system is still missing. Furthermore, the availability of a methodology oriented to the specification of system FT is especially useful in view of integrating available FT software layers according to specific system needs. Goal of the present work is therefore to develop a methodology for the FT specification, to be used as a tool supporting the configuration of the tailorable FT software layer, which is currently under development within the TIRAN Project. The presented approach to the FT specification is based on a combined use of two general-purpose specification methods: the UML (Unified Modeling Language) graphical method and the TRIO (Tempo Reale ImplicitO) temporal logic. The main novelty of the proposed method consists in the identification and organization of a sequence of specification steps, which drive the industrial user in collecting and analyzing system dependability requirements and then in designing FT solutions, possibly tailoring already existing and configurable FT mechanisms.