Download PDF
, Sahar Kokaly, Rick Salay, Marsha ChechikAccepted 19 August 2020
Available Online 23 September 2020
- DOI
- https://doi.org/10.2991/jase.d.200912.001
- Keywords
- Megamodels
Queries
Safety cases
Automotive - Abstract
The automotive domain has recently increased its reliance on model-based software development. Automotive models are often heterogeneous, large and interconnected through traceability links. When introducing safety-related artifacts, such as Hazard Analysis, fault tree analysis (FTA), failure modes and effects analysis (FMEA) and safety cases, querying these collections of system models and safety artifacts becomes a complex activity. In this paper, we define generic requirements for querying megamodels and demonstrate how to run queries in our Model Management INTeractive (MMINT) framework using the Viatra query engine. We apply our querying approach to a vehicle's Lane Management System case study through the process of its creation and maintenance, perform a comparison with an Object Constraint Language (OCL)-based approach and show how queries can help achieve compliance with the ISO 26262 standard.
- Copyright
- © 2020 The Authors. Published by Atlantis Press B.V.
- Open Access
- This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite This Article
TY - JOUR AU - Alessio Di Sandro AU - Sahar Kokaly AU - Rick Salay AU - Marsha Chechik PY - 2020 DA - 2020/09/23 TI - Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study JO - Journal of Automotive Software Engineering SP - 34 EP - 50 VL - 1 IS - 1 SN - 2589-2258 UR - https://doi.org/10.2991/jase.d.200912.001 DO - https://doi.org/10.2991/jase.d.200912.001 ID - DiSandro2020 ER -
copy
