Abstract | ||
---|---|---|
AltaRica is a language used to describe safety critical systems that has become a de-facto European industrial standard for Model-Based Safety Assessment (MBSA). However, even the most mature tool for the support for MBSA of AltaRica models, i.e. Dassault's OCAS, has several limitations. The most important ones are its inability to perform many analyses exhaustively, severe scalability issues, and the lack of model checking techniques for temporal properties. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.scico.2014.06.003 | Science of Computer Programming |
Keywords | Field | DocType |
Model checking,Safety assessment,Fault tree analysis,AltaRica | Functional verification,Model checking,Programming language,Life-critical system,Computer science,Correctness,Dataflow,Fault tree analysis,Scalability | Journal |
Volume | ISSN | Citations |
98 | 0167-6423 | 7 |
PageRank | References | Authors |
0.52 | 21 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marco Bozzano | 1 | 743 | 49.82 |
Alessandro Cimatti | 2 | 5064 | 323.15 |
Oleg Lisagor | 3 | 14 | 0.99 |
Cristian Mattarei | 4 | 55 | 6.07 |
Sergio Mover | 5 | 218 | 15.23 |
Marco Roveri | 6 | 1678 | 96.70 |
Stefano Tonetta | 7 | 573 | 41.61 |