Skip to Main content Skip to Navigation

AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement

Abstract : Formal methods and safety assessment are related domains interested by the behavioural analysis of critical systems. These domains consider systems with different but complementary points of view. Formal methods take a functional point of view and adopt an approach closed to the verification of programs. These methods tries to reveal scenarios yielding to a bug or to automatically generate safe programs (safe according to some specifications). In the safety assessment area the dysfunctional behaviours of systems are considered. Preponderant scenarios yielding to a specified set of unexpected states are computed and quantified to determine the probability of such behaviours.

The works presented in this report have been produced during the industrial project, called AltaRica, aiming to bring together formal methods and safety assessment communities. The project proposes to unify domains into a software, the AltaRica workbench, that will federate a set of models and tools for the analysis of systems. This workbench is based on a unique formalism for the description of systems. This report gives a full description of the formalism used by the workbench, its textual form (the AltaRica language), some properties of its semantics and some examples of modeling.

The study of fault scenarios is a major activity in safety assessment. The problem is usually treated using the Boolean model called Fault Trees. This model does not handle the ordering of failure. This thesis gives a solution to the computation of minimal scenarios (considered as words) for the subwords order.
Complete list of metadata

Cited literature [138 references]  Display  Hide  Download
Contributor : Gérald Point Connect in order to contact the contributor
Submitted on : Thursday, January 15, 2009 - 11:44:11 AM
Last modification on : Saturday, December 4, 2021 - 3:05:18 AM
Long-term archiving on: : Tuesday, June 8, 2010 - 8:13:50 PM


  • HAL Id : tel-00353284, version 1



Gérald Point. AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement. Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2000. Français. ⟨tel-00353284⟩



Record views


Files downloads