Conference
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra
Abstract
In recent years, the automotive domain has increased its reliance on model based-software development. Models in the automotive domain have the qualities of being heterogenous, large and interconnected through traceability links. When introducing safety related artifacts, such as HAZOP, FTA, FMEA and safety cases, querying these collections of system models and safety artifacts becomes a complex activity. In this paper, we define generic …
Authors
di Sandro A; Kokaly S; Salay R; Chechik M
Volume
00
Pagination
pp. 2-11
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 15, 2019
DOI
10.1109/models-c.2019.00008
Name of conference
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)