Titlebook: Software Engineering for Resilient Systems; Fourth International Paris Avgeriou Conference proceedings 2012 Springer-Verlag Berlin Heidelbe

embolus

Brahim Hamid,Jacob Geisel,Adel Ziani,David Gonzalez

較早

craving

overwrought

conference

PAC

結(jié)合

Obstacle

A Case Study in Formal Development of a Fault Tolerant Multi-robotic Systemve the system goals. While designing multi-robotic systems, we should ensure that these goals remain achievable despite robot failures, i.e., guarantee system fault tolerance. However, designing the fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we

癡呆

Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approacherface and its related supporting software must be consistent with the criticality of the functions to be controlled. The approach proposed in this paper aims at describing how fault prevention and fault tolerance techniques can be combined to address this challenge. Following the ARINC 661 standard

deficiency