Abstract | ||
---|---|---|
In recent decades, cyber-physical systems developed using Model-Driven Engineering (MDE) techniques have become ubiquitous in safety-critical domains. Safety assurance cases (ACs) are structured arguments designed to comprehensively show that such systems are safe; however, the reasoning steps, or strategies, used in AC arguments are often informal and difficult to rigorously evaluate. Consequentl... |
Year | DOI | Venue |
---|---|---|
2021 | 10.1109/MODELS50736.2021.00028 | 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) |
Keywords | DocType | ISBN |
Assurance,safety cases,strategies,theorem proving,Lean | Conference | 978-1-6654-3495-9 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Torin Viger | 1 | 0 | 2.37 |
Logan Murphy | 2 | 0 | 0.34 |
Alessio Di Sandro | 3 | 116 | 7.84 |
Ramy Shahin | 4 | 0 | 2.37 |
Marsha Chechik | 5 | 2287 | 138.57 |