From conceptual models to safety assurance

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

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

4 Citations (Scopus)
2 Downloads (Pure)


Safety assurance or certification is one of the most costly and time-consuming tasks in automotive, railway, avionics, and other safety-critical domains. Different transport sectors have developed their own specific sets of safety standards, which creates a big challenge to reuse pre-certified components and share expertise between different transport sectors. In this paper, we propose to use conceptual models in the form of metamodels to support certification data reuse and facilitate safety compliance. A metamodel transformation approach is outlined to derive domain or project specific metamodels using a generic metamodel as basis. Furthermore, we present a metamodel refinement language, which is a domain-specific language that facilitates simple refinement of metamodels. Finally, we use two case studies from the automotive domain to demonstrate our approach and its ability to reuse metamodels across companies. Keywords: Conceptual Model; Metamodel; Safety Assurance; Safety-Critical Systems; Metamodel transformation
Original languageEnglish
Title of host publicationConceptual Modeling : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014 : Proceedings
EditorsE. Yu, G. Dobbie, M. Jarke, S. Purao
Place of PublicationCham
ISBN (Print)978-3-319-12205-2
Publication statusPublished - 2014
Eventconference; 33rd International Conference on Conceptual Modeling; 2014-10-27; 2014-10-29 -
Duration: 27 Oct 201429 Oct 2014

Publication series

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


Conferenceconference; 33rd International Conference on Conceptual Modeling; 2014-10-27; 2014-10-29
Other33rd International Conference on Conceptual Modeling


Dive into the research topics of 'From conceptual models to safety assurance'. Together they form a unique fingerprint.

Cite this