From conceptual models to safety assurance

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

doi:10.1007/978-3-319-12206-9_16

From conceptual models to safety assurance

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

5 Citaten (Scopus)

2 Downloads (Pure)

Samenvatting

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

Originele taal-2	Engels
Titel	Conceptual Modeling : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014 : Proceedings
Redacteuren	E. Yu, G. Dobbie, M. Jarke, S. Purao
Plaats van productie	Cham
Uitgeverij	Springer
Pagina's	195-208
ISBN van geprinte versie	978-3-319-12205-2
DOI's	https://doi.org/10.1007/978-3-319-12206-9_16
Status	Gepubliceerd - 2014
Evenement	33rd International Conference on Conceptual Modeling, ER 2014 - Atlanta, Verenigde Staten van Amerika Duur: 27 okt. 2014 → 29 okt. 2014 Congresnummer: 33

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	8824
ISSN van geprinte versie	0302-9743

Congres

Congres	33rd International Conference on Conceptual Modeling, ER 2014
Verkorte titel	ER 2014
Land/Regio	Verenigde Staten van Amerika
Stad	Atlanta
Periode	27/10/14 → 29/10/14
Ander	33rd International Conference on Conceptual Modeling

Toegang tot document

10.1007/978-3-319-12206-9_16

Citeer dit

Luo, Y., Brand, van den, M. G. J., Engelen, L. J. P., & Klabbers, M. D. (2014). From conceptual models to safety assurance. In E. Yu, G. Dobbie, M. Jarke, & S. Purao (editors), Conceptual Modeling : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014 : Proceedings (blz. 195-208). (Lecture Notes in Computer Science; Vol. 8824). Springer. https://doi.org/10.1007/978-3-319-12206-9_16

@inproceedings{4d645cc6931c430b91df05aa46859115,

title = "From conceptual models to safety assurance",

abstract = "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",

author = "Y. Luo and {Brand, van den}, M.G.J. and L.J.P. Engelen and M.D. Klabbers",

year = "2014",

doi = "10.1007/978-3-319-12206-9_16",

language = "English",

isbn = "978-3-319-12205-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "195--208",

editor = "E. Yu and G. Dobbie and M. Jarke and S. Purao",

booktitle = "Conceptual Modeling : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014 : Proceedings",

address = "Germany",

note = "33rd International Conference on Conceptual Modeling, ER 2014, ER 2014 ; Conference date: 27-10-2014 Through 29-10-2014",

}

Luo, Y , Brand, van den, MGJ, Engelen, LJP & Klabbers, MD 2014, From conceptual models to safety assurance. in E Yu, G Dobbie, M Jarke & S Purao (uitgave), Conceptual Modeling : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014 : Proceedings. Lecture Notes in Computer Science, vol. 8824, Springer, Cham, blz. 195-208, 33rd International Conference on Conceptual Modeling, ER 2014, Atlanta, Georgia, Verenigde Staten van Amerika, 27/10/14. https://doi.org/10.1007/978-3-319-12206-9_16

From conceptual models to safety assurance. / Luo, Y.; Brand, van den, M.G.J.; Engelen, L.J.P. et al.
Conceptual Modeling : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014 : Proceedings. uitgave / E. Yu; G. Dobbie; M. Jarke; S. Purao. Cham: Springer, 2014. blz. 195-208 (Lecture Notes in Computer Science; Vol. 8824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

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.

N1 - Conference code: 33

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 - 33rd International Conference on Conceptual Modeling, ER 2014

Y2 - 27 October 2014 through 29 October 2014

ER -

From conceptual models to safety assurance

Samenvatting

Publicatie series

Congres

Toegang tot document

Vingerafdruk

Citeer dit