Metamodel comparison and model comparison for safety assurance

Y. Luo, L.J.P. Engelen, M.G.J. Brand, van den

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationComputer Safety, Reliability, and Security (SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings)
EditorsA. Bondavelli, A. Ceccarelli, F. Ortmeier
Place of PublicationBerlin
ISBN (Print)978-3-319-10556-7
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Metamodel comparison and model comparison for safety assurance'. Together they form a unique fingerprint.

Cite this