Metamodel Comparison and Model Comparison for Safety Assurance
In safety-critical domains, conceptual models are created in the form of metamodels using different concepts from possibly overlapping domains. Comparison between those conceptual models can facilitate the reuse of models from one domain to another. This paper describes the mappings detected when comparing metamodels and models used for safety assurance. We use a small use case to discuss the mappings between metamodels and models, and the relations between model elements expressed in mappings. Finally, an illustrative case study is used to demonstrate our approach.
KeywordsMetamodel Comparison Model Comparison Conceptual Model Mapping Safety Assurance
Unable to display preview. Download preview PDF.
- 1.OPENCOSS: Deliverable D4.1 - Baseline for the common certification language (2013), http://www.opencoss-project.eu/node/7
- 4.Luo, Y., van den Brand, M., Engelen, L., Klabbers, M.: From Conceptual Model to Safety Assurance. In: Conceptual Modeling (accepted for publication, 2014)Google Scholar
- 5.Luo, Y., van den Brand, M., Engelen, L., Klabbers, M.: A Modeling Approach to Support Safety Certification in the Automotive Domain. In: ICSEng 2014 (accepted for publication, 2014)Google Scholar