Add to ORKGAltarica is a language used to describe critical systems. In this paper we present a novel approach to the analysis of Altarica models, based on a translation into an extended version of NuSMV. This approach opens up the possibility to carry out functional verification and safety assessment with symbolic techniques. An experimental evaluation on a set of industrial case studies demonstrates the advantages of the approach over currently available tool
International audienceThis article presents the high level, modeling language Al-taRica 3.0 through ...
This thesis links two fields : system safety analyses and formal methods.We aim at checking the cons...
Numerous works deal with the use of the formal language AltaRica to improve the safety as-sessment p...
Abstract: Altarica is a language used to describe critical systems. In this paper we present a novel...
AltaRica is a language used to describe safety critical systems that has become a de-facto European ...
Altarica is a language used to describe critical systems. In this paper we present a novel approach ...
International audienceToday, Model Based Safety Analysis processes become more and more widespread t...
Safety-critical systems are becoming more complex, both in the type of functionality they provide an...
Formal methods and safety assessment are related domains interested by the behavioural analysis of c...
International audienceThe aim of this article is to present the AltaRica 3.0 project. " Traditional ...
International audienceAltaRica 3.0 is the third version of the AltaRica modeling language. AltaRica ...
Safety critical systems are becoming more complex, both in the type of functionality they provide an...
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...
Safety critical systems are becoming more complex, both in the type of functionality they provide an...
International audienceThis article presents the high level, modeling language Al-taRica 3.0 through ...
This thesis links two fields : system safety analyses and formal methods.We aim at checking the cons...
Numerous works deal with the use of the formal language AltaRica to improve the safety as-sessment p...
Abstract: Altarica is a language used to describe critical systems. In this paper we present a novel...
AltaRica is a language used to describe safety critical systems that has become a de-facto European ...
Altarica is a language used to describe critical systems. In this paper we present a novel approach ...
International audienceToday, Model Based Safety Analysis processes become more and more widespread t...
Safety-critical systems are becoming more complex, both in the type of functionality they provide an...
Formal methods and safety assessment are related domains interested by the behavioural analysis of c...
International audienceThe aim of this article is to present the AltaRica 3.0 project. " Traditional ...
International audienceAltaRica 3.0 is the third version of the AltaRica modeling language. AltaRica ...
Safety critical systems are becoming more complex, both in the type of functionality they provide an...
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...
Safety critical systems are becoming more complex, both in the type of functionality they provide an...
International audienceThis article presents the high level, modeling language Al-taRica 3.0 through ...
This thesis links two fields : system safety analyses and formal methods.We aim at checking the cons...
Numerous works deal with the use of the formal language AltaRica to improve the safety as-sessment p...