Integrating Fault-Tolerant Techniques into the Design of Critical Systems

Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a software engineer can assess that a given dependability technique is adequate for a given software design, i.e., if the technique, when applied, will cause the system to meet a dependability requirement (e.g., an availability degree). So, the idea here presented is how to integrate already developed fault-tolerant techniques in software designs for their analysis. On the one hand, we will assume software behavioural designs as a set of UML state-charts properly annotated with profiles to take into account its performance, dependability and security characteristics, i.e., those properties that may hamper a critical system. On the other hand, we will propose UML models for well-known faulttolerant techniques. Then, the challenge is how to combine both (the software design and the FT techniques) to assist the software...

• Type: Conference
• Year: 2010
• Where: ISARCS
• Authors: Ricardo J. Rodríguez, José Merseguer
• Keywords: Dependability Technique, Hardware, ISARCS 2010, Software Design, Software Engineer