International audienceAltaRica 3.0 is the third version of the AltaRica modeling language. AltaRica 3.0 relies on the S2ML+X paradigm, i.e. on the idea that any modeling language used for safety and reliability studies (and beyond) is actually the combination of an underlying mathematical framework and a set of constructs to structure models. In the case of AltaRica 3.0, the mathematical framework is the notion of guarded transition systems (the X) and a versatile set of object- and prototype-oriented constructs (S2ML). The result is a very powerful language that enables to taking into account dynamic phenomena (e.g. system reconfigurations) and comes with a set of efficient assessment tools.The objective of this paper is to make a guided t...
AltaRica is a language used to describe safety critical systems that has become a de-facto European ...
AbstractFormal models could accurately reflect design of systems and can be used to implement automa...
International audienceThis paper presents a framework for modeling diagnosis problems based on a for...
International audienceThe aim of this article is to present the AltaRica 3.0 project. " Traditional ...
International audienceSummary This article invites the reader to a guided tour of AltaRica Wizard, a...
International audienceAltaRica 3.0 is an event-based, object-oriented modeling language dedicated to...
The Model-Based approach for safety and reliability analysis is gradually wining the trust of engine...
International audienceAltaRica 3.0 is an event-based, object-oriented modeling language dedic...
International audienceThis article presents the high level, modeling language Al-taRica 3.0 through ...
International audienceMost system engineers today use graphical representations to represent their s...
International audienceThis article presents the performance improvements we obtained on the AltaRica...
Altarica is a language used to describe critical systems. In this paper we present a novel approach ...
International audienceSafety and risk analyses rely on models. These models have several important c...
International audienceIn this article, we show how phased-mission systemscan be described and as...
Formal methods and safety assessment are related domains interested by the behavioural analysis of c...
AltaRica is a language used to describe safety critical systems that has become a de-facto European ...
AbstractFormal models could accurately reflect design of systems and can be used to implement automa...
International audienceThis paper presents a framework for modeling diagnosis problems based on a for...
International audienceThe aim of this article is to present the AltaRica 3.0 project. " Traditional ...
International audienceSummary This article invites the reader to a guided tour of AltaRica Wizard, a...
International audienceAltaRica 3.0 is an event-based, object-oriented modeling language dedicated to...
The Model-Based approach for safety and reliability analysis is gradually wining the trust of engine...
International audienceAltaRica 3.0 is an event-based, object-oriented modeling language dedic...
International audienceThis article presents the high level, modeling language Al-taRica 3.0 through ...
International audienceMost system engineers today use graphical representations to represent their s...
International audienceThis article presents the performance improvements we obtained on the AltaRica...
Altarica is a language used to describe critical systems. In this paper we present a novel approach ...
International audienceSafety and risk analyses rely on models. These models have several important c...
International audienceIn this article, we show how phased-mission systemscan be described and as...
Formal methods and safety assessment are related domains interested by the behavioural analysis of c...
AltaRica is a language used to describe safety critical systems that has become a de-facto European ...
AbstractFormal models could accurately reflect design of systems and can be used to implement automa...
International audienceThis paper presents a framework for modeling diagnosis problems based on a for...