mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems
Denver University, USA.
Denver University, USA.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
2018 (English)In: 8th IEEE International Workshop on Software Certification WoSoCER-2018, 2018, p. 329-336Conference paper, Published paper (Refereed)
Abstract [en]

In safety-critical systems, the verification and validation phase in the software development life cycle plays an important role in assuring safety. The artifacts' outputs of the verification and validation processes represent the evidence needed to show a satisfactory fulfillment of the safety requirements. Providing strong evidence to show that the requirements of the domain standards are met is the core of demonstrating safety standards compliance. In this paper, we propose a systematic approach for verifying safety-critical systems efficiently by integrating model-based testing, combinatorial testing, and safety analysis; this is all driven by providing safety assurance. The approach provides both testing and formal verification capabilities, and it is easy to implement into a tool for use in an industry setting. To show how our approach could contribute to safety standards compliance, we investigated it's capability to fulfill the safety requirements by analyzing and linking the data produced from the steps in the approach to a safety evidence taxonomy.

Place, publisher, year, edition, pages
2018. p. 329-336
Keywords [en]
safety certification, safety assurance, standards compliance, testing safety-critical systems, model-based testing, combinatorial testing, safety analysis
National Category
Engineering and Technology Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-41706DOI: 10.1109/ISSREW.2018.00026Scopus ID: 2-s2.0-85059842159ISBN: 978-1-5386-9443-5 (electronic)OAI: oai:DiVA.org:mdh-41706DiVA, id: diva2:1273288
Conference
8th IEEE International Workshop on Software Certification WoSoCER-2018, 15 Oct 2018, Memphis, TN, United States
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical SystemsAvailable from: 2018-12-20 Created: 2018-12-20 Last updated: 2019-04-02Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Gallina, Barbara

Search in DiVA

By author/editor
Gallina, Barbara
By organisation
Embedded Systems
Engineering and TechnologyComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 9 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf