You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

Enabling Cross-domain Reuse of Tool Qualification Certification Artefacts

Fulltext:


Authors:

Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbrati, Arjan Geven

Research group:

Safety-Critical Engineering

Publication Type:

Conference/Workshop Paper

Venue:

1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems, SAFECOMP Workshop

Publisher:

Springer

Abstract

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 prescrip- tive 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 tran- siting from one domain to another. To ease reuse, in this paper we focus on verification tools and model a cross-domain tool qualification pro- cess line. Finally, we discuss how reusable cross-domain process-based arguments can be obtained.

Bibtex

@inproceedings{Gallina3634,
author = {Barbara Gallina and Shaghayegh Kashiyarandi and Karlheinz Zugsbrati and Arjan Geven},
title = {Enabling Cross-domain Reuse of Tool Qualification Certification Artefacts},
month = {September},
year = {2014},
booktitle = {1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems, SAFECOMP Workshop},
publisher = {Springer},
url = {http://www.es.mdu.se/publications/3634-}
}