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
Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
2014 (English)In: COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 255-266 p.Conference paper, Published paper (Refereed)
Abstract [en]

The development and verification of safety-critical systems increasingly relies on the use of tools which automate/replace/supplement complex verification and/or development tasks. The safety of such systems risks to be compromised, if the tools fail. To mitigate this risk, safety standards (e.g. DO-178C/DO330, IEC 61508) define prescriptive tool qualification processes. Compliance with these processes can be required for (re-)certification purposes. To enable reuse and thus reduce time and cost related to certification, cross-domain tool manufacturers need to understand what varies and what remains in common when transiting from one domain to another. To ease reuse, in this paper we focus on verification tools and model a cross-domain tool qualification process line. Finally, we discuss how reusable cross-domain process-based arguments can be obtained.

Place, publisher, year, edition, pages
2014. 255-266 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8696
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:mdh:diva-27523DOI: 10.1007/978-3-319-10557-4_28ISI: 000347679100028Scopus ID: 2-s2.0-84907370145ISBN: 978-3-319-10557-4; 978-3-319-10556-7 (print)OAI: oai:DiVA.org:mdh-27523DiVA: diva2:788306
Conference
33rd SAFECOMP Workshop, SEP 08-09, 2014, Florence, ITALY
Available from: 2015-02-13 Created: 2015-02-13 Last updated: 2016-06-07Bibliographically approved

Open Access in DiVA

fulltext(527 kB)45 downloads
File information
File name FULLTEXT01.pdfFile size 527 kBChecksum SHA-512
d74531e310c267a410624e59b91d3615b953f2c3df27dc5183e1ba369f7692bd47dad7d6ead84f58349fb359833aa9007c504079af680d99e45f8a660c99d0b4
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Gallina, Barbara
By organisation
Embedded Systems
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 45 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 55 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