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 requirements for querying megamodels and demonstrate how to run queries in our MMINT framework using the Viatra query engine. We apply our querying approach to the Lane Management System from the automotive domain through three different scenarios and compare it to an OCL-based one.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
