TY - GEN
T1 - From conceptual models to safety assurance
AU - Luo, Y.
AU - Brand, van den, M.G.J.
AU - Engelen, L.J.P.
AU - Klabbers, M.D.
PY - 2014
Y1 - 2014
N2 - 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
AB - 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
U2 - 10.1007/978-3-319-12206-9_16
DO - 10.1007/978-3-319-12206-9_16
M3 - Conference contribution
SN - 978-3-319-12205-2
T3 - Lecture Notes in Computer Science
SP - 195
EP - 208
BT - Conceptual Modeling : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014 : Proceedings
A2 - Yu, E.
A2 - Dobbie, G.
A2 - Jarke, M.
A2 - Purao, S.
PB - Springer
CY - Cham
T2 - conference; 33rd International Conference on Conceptual Modeling; 2014-10-27; 2014-10-29
Y2 - 27 October 2014 through 29 October 2014
ER -