The AltaRica data-flow language in use: modeling of production availability of a multi-state system

Abstract. AADL and AltaRica languages can be used to support the safety assessments of system architectures. These languages were defined with different concerns and this paper aims at presenting their principles and how they can be related. A translator from AADL to AltaRica is proposed and its prototype is applied to a simplified flight control system of a UAV. The resulting AltaRica model has been analyzed with the AltaRica safety tools and the experimental results are discussed.

show abstract

“…Its Data-Flow version has been created to handle industrial scale models [4]. A number of assessment tools have been developed ( [10], [12]).…”

Section: Altarica Presentationmentioning

confidence: 99%

Performing Safety Analyses with AADL and AltaRica

Brunel¹,

Feiler²,

Hugues³

et al. 2017

Model-Based Safety and Assessment

View full text Add to dashboard Cite

show abstract

“…Therefore a second version, AltaRica Data-Flow (Rauzy, A. (2002;Boiteau et al, 2006), has been designed in which variables are updated by propagating values in a fixed order (through data-flow equations). This order is determined at compile time, which imposes strong constraints on the way updating assertions are written and prevents notably to handle systems with loops.…”

Section: Altarica 30mentioning

confidence: 99%

“…The high level modelling language AltaRica (Point and Rauzy, 1999;Arnold et al, 2000;Boiteau et al, 2006) generalises also reliability block diagrams. It is however essentially a formalism to describe state machines and to compose them.…”

Section: Introductionmentioning

confidence: 99%

Automated generation of minimal cut sets from AltaRica 3.0 models

Prosvirnova

Rauzy

2015

IJCCBS

View full text Add to dashboard Cite

Abstract:In this article, we present an algorithm to generate minimal cut sets from AltaRica 3.0 models. AltaRica 3.0 improves the previous versions of the language by introducing a fixpoint mechanism to stabilise values of variables after each transition firing. This fixpoint mechanism allows the design of acausal models and the analysis of systems with instant loops. It makes however the generation of fault trees more complex. We show here that by using advanced partitioning techniques, we can nevertheless design an efficient generation algorithm. We illustrate the different steps of this algorithm by means of a red wire example.

show abstract

“…The language is a restricted dialect of a constraint automata AltaRica language [1]. AltaRica OCAS is almost identical to the "dataflow" dialect [3] and is supported by an industrial-strength Cecilia OCAS tool, developed by Dassault Aviation (France). In AltaRica OCAS, systems are modelled as a network of nodes.…”

Section: Modelling Approachmentioning

confidence: 99%

Application of the 'lightweight refinement relation to establishing confidence in safety assessment models

Lisagor¹,

Kelly²

2010

5th IET International Conference on System Safety 2010

View full text Add to dashboard Cite

This paper presents a 'lightweight refinement' relation that enables rational comparison of safety assessment models of a system. The comparison process contributes to establishing confidence in adequacy of the models by identification of apparent inconsistencies that require explicit justification.The paper further demonstrates how the 'machinery' of refinement can be applied to individual models to identify key 'simulation cases' and aid the task of model review.

show abstract

The AltaRica data-flow language in use: modeling of production availability of a multi-state system

Cited by 74 publications

References 7 publications

Performing Safety Analyses with AADL and AltaRica

Performing Safety Analyses with AADL and AltaRica

Automated generation of minimal cut sets from AltaRica 3.0 models

Application of the 'lightweight refinement relation to establishing confidence in safety assessment models

Contact Info

Product

Resources

About