Publication:
Recent advances towards the industrial application of model-driven engineering for assurance of safety-critical systems

dc.affiliation.dptoUC3M. Departamento de Informáticaes
dc.affiliation.grupoinvUC3M. Grupo de Investigación: Knowledge Reusinges
dc.contributor.authorVara González, José Luis de la
dc.contributor.authorRuiz, Alejandra
dc.contributor.authorEspinoza, Huáscar
dc.date.accessioned2018-05-28T17:03:37Z
dc.date.available2018-05-28T17:03:37Z
dc.date.issued2018
dc.descriptionProceedings of: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018) January 22-24, 2018, in Funchal, Madeira, Portugalen
dc.description.abstractSafety-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 transformationsen
dc.description.sponsorshipThe research leading to this paper has received funding from the AMASS project (H2020-ECSEL no 692474; Spain’s MINECO ref. PCIN-2015-262).es
dc.format.mimetypeapplication/pdf
dc.identifier.bibliographicCitationVara J. de la, 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 ISBN 978-989-758-283-7, pages 632-641.es
dc.identifier.doihttps://doi.org/10.5220/0006733906320641
dc.identifier.isbn978-989-758-283-7
dc.identifier.publicationfirstpage632
dc.identifier.publicationlastpage641
dc.identifier.publicationtitleProceedings of the 6th International Conference on Model-Driven Engineering and Software Developmenten
dc.identifier.urihttps://hdl.handle.net/10016/26902
dc.identifier.uxxiCC/0000027504
dc.language.isoeng
dc.publisherScitepress
dc.relation.eventdate22-24 January, 2018en
dc.relation.eventplaceFunchal, Madeira, Portugalen
dc.relation.eventtitle6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)en
dc.relation.projectIDinfo:eu-repo/grantAgreement/EC/H2020/692474/EU/AMASSes
dc.relation.projectIDGobierno de España. PCIN-2015-262/AMASSes
dc.rights© 2018 SciTePress, Science and Technology Publications, Lda - All rights reserved.en
dc.rights.accessRightsopen accesses
dc.subject.ecienciaInformáticaes
dc.subject.otherSafety-Critical Systemsen
dc.subject.otherAssuranceen
dc.subject.otherCertificationen
dc.subject.otherModel-Driven Engineeringen
dc.subject.otherModel-based Engineeringen
dc.titleRecent advances towards the industrial application of model-driven engineering for assurance of safety-critical systemsen
dc.typeconference paper*
dc.type.hasVersionVoR*
dspace.entity.typePublication
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
recent_ICMDESD_2018.pdf
Size:
672.1 KB
Format:
Adobe Portable Document Format
Description: