Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts
2014 (English)In: COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 255-266 p.Conference paper (Refereed)
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
Computer and Information Science
IdentifiersURN: 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: oai:DiVA.org:mdh-27523DiVA: diva2:788306
33rd SAFECOMP Workshop, SEP 08-09, 2014, Florence, ITALY