loading
Papers

Research.Publish.Connect.

Paper

Authors: Jose Luis de la Vara 1 ; Alejandra Ruiz 2 and Huáscar Espinoza 2

Affiliations: 1 Universidad Carlos III de Madrid, Spain ; 2 ICT Division and TECNALIA, Spain

ISBN: 978-989-758-283-7

Keyword(s): Safety-Critical Systems, Assurance, Certification, Model-Driven Engineering, Model-based Engineering.

Abstract: Safety-critical systems are typically subject to assurance processes as way to ensure that they do not pose undue risks to people, property, or the environment, usually in compliance with assurance standards. The planning, execution, and management of assurance processes can be a complex activity in practice because of issues in the application of the standards, the large amount of information to handle, and the need for providing convincing justifications of assurance adequacy, among other difficulties. As a solution, many authors have argued that the use of Model-Driven Engineering principles and techniques can facilitate and improve assurance of safety-critical systems. This paper presents some of the latest advances that have been and are being made towards the use of these principles and techniques in industry. Although models have been used for assurance of safety-critical systems for many years, e.g. to specify safety cases, it has only been recently when the full potential of Model-Driven Engineering has started to be more widely exploited. This includes aspects such as the specification of metamodels and domain specific languages for assurance, the extension and application of UML, and the use of model transformations. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.214.184.124

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
de la Vara, J.; Ruiz, A. and Espinoza, H. (2018). Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: IndTrackMODELSWARD, ISBN 978-989-758-283-7, pages 632-641. DOI: 10.5220/0006733906320641

@conference{indtrackmodelsward18,
author={Jose Luis de la Vara. and Alejandra Ruiz. and Huáscar Espinoza.},
title={Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: IndTrackMODELSWARD,},
year={2018},
pages={632-641},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006733906320641},
isbn={978-989-758-283-7},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: IndTrackMODELSWARD,
TI - Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems
SN - 978-989-758-283-7
AU - de la Vara, J.
AU - Ruiz, A.
AU - Espinoza, H.
PY - 2018
SP - 632
EP - 641
DO - 10.5220/0006733906320641

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.