Journal of Automotive Software Engineering

Volume 1, Issue 1, 2020, Pages 34 - 50

Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study

Authors
Alessio Di Sandro*, ORCID, Sahar Kokaly, Rick Salay, Marsha ChechikORCID
Department of Computer Science, University of Toronto, 10 King's College Road, Toronto, ON M5S 3G4, Canada
*Corresponding author. Email: adisandro@cs.toronto.edu
Corresponding Author
Alessio Di Sandro
Received 2 January 2020, Accepted 19 August 2020, Available Online 23 September 2020.
DOI
https://doi.org/10.2991/jase.d.200912.001How to use a DOI?
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/).

Download article (PDF)
View full text (HTML)

Journal
Journal of Automotive Software Engineering
Volume-Issue
1 - 1
Pages
34 - 50
Publication Date
2020/09
ISSN (Online)
2589-2258
DOI
https://doi.org/10.2991/jase.d.200912.001How to use a DOI?
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
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  -