Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems

Simple item page
dc.contributor.authorde la Vara, Jose Luis
dc.contributor.authorRuiz, Alejandra
dc.contributor.authorEspinoza, Huascar
dc.contributor.editorHammoudi, Slimane
dc.contributor.editorPires, Luis Ferreira
dc.contributor.editorSelic, Bran
dc.contributor.institutionQuantum
dc.contributor.institutionTecnalia Research & Innovation
dc.date.issued2018-01
dc.descriptionPublisher Copyright: Copyright © 2018 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved
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 transformations.en
dc.description.statusPeer reviewed
dc.format.extent10
dc.format.extent833267
dc.identifier.citationde la Vara , J L , Ruiz , A & Espinoza , H 2018 , Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems . in S Hammoudi , L F Pires & B Selic (eds) , unknown . 2018-January , SciTePress , pp. 632-641 , 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018 , Funchal, Madeira , Portugal , 22/01/18 . https://doi.org/10.5220/0006733906320641
dc.identifier.citationconference
dc.identifier.doi10.5220/0006733906320641
dc.identifier.isbn978-989-758-283-7
dc.identifier.isbn9789897582837
dc.identifier.otherresearchoutputwizard: 11556/607
dc.identifier.urlhttp://www.scopus.com/inward/record.url?scp=85052015962&partnerID=8YFLogxK
dc.language.isoeng
dc.publisherSciTePress
dc.relation.ispartofunknown
dc.relation.ispartofseries2018-January
dc.rightsinfo:eu-repo/semantics/openAccess
dc.subject.keywordsSafety-Critical Systems
dc.subject.keywordsAssurance
dc.subject.keywordsCertification
dc.subject.keywordsModel-Driven Engineering
dc.subject.keywordsModel-based Engineering
dc.subject.keywordsSafety-Critical Systems
dc.subject.keywordsAssurance
dc.subject.keywordsCertification
dc.subject.keywordsModel-Driven Engineering
dc.subject.keywordsModel-based Engineering
dc.subject.keywordsSoftware
dc.subject.keywordsProject ID
dc.subject.keywordsinfo:eu-repo/grantAgreement/EC/H2020/692474/EU/Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems/AMASS
dc.subject.keywordsinfo:eu-repo/grantAgreement/EC/H2020/692474/EU/Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems/AMASS
dc.subject.keywordsFunding Info
dc.subject.keywordsThe research leading to this paper has received_x000D_ funding from the AMASS project (H2020-ECSEL_x000D_ no 692474; Spain’s MINECO ref. PCIN-2015-262).
dc.subject.keywordsThe research leading to this paper has received_x000D_ funding from the AMASS project (H2020-ECSEL_x000D_ no 692474; Spain’s MINECO ref. PCIN-2015-262).
dc.titleRecent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systemsen
dc.typeconference output
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
IndTrackMODELSWARD_2018_3.pdf
Size:
813.74 KB
Format:
Adobe Portable Document Format
Download