Change search
ReferencesLink to record
Permanent link

Direct link
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 (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.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 8696
National Category
Computer and Information Science
URN: urn:nbn:se:mdh:diva-27523DOI: 10.1007/978-3-319-10557-4_28ISI: 000347679100028ScopusID: 2-s2.0-84907370145ISBN: 978-3-319-10557-4; 978-3-319-10556-7OAI: diva2:788306
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)6 downloads
File information
File name FULLTEXT01.pdfFile size 527 kBChecksum SHA-512
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: 6 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: 47 hits
ReferencesLink to record
Permanent link

Direct link