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 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
IEC61508: Functional safety of electrical/electronic/programmable electronic safety-related systems (2010)
RTCA Inc.: Software Considerations in Airborne Systems and Equipment Certification, RTCA DO-178C (EUROCAE ED-12C), Washington DC (2013)
RTCA Inc.: Software Considerations in Airborne Systems and Equipment Certification, RTCA DO-178B (EUROCAE ED-12B), Washington DC (1992)
Gallina, B., Kashiyarandi, S., Martin, H., Bramberger, R.: Modeling a safety- and automotive-oriented process line to enable reuse and flexible process derivation. In: 8th IEEE International Workshop Quality-Oriented Reuse of Software (July 2014)
Camus, J.L., Dewalt, M.P., Pothon, F., Ladier, G., Boulanger, J.L., Blanquart, J.P., Quere, P., Ricque, B., Gassino, J.: Tool qualification in multiple domains: Status and perspectives. In: Embedded Real Time Software and Systems, Toulouse, France, February 5-7, vol. 7991. Springer (2014)
Kornecki, A.J., Zalewski, J.: Design tool assessment (December 15, 2003)
Kornecki, D.A.J., Zalewski, D.J.: The qualification of software development tools from the DO-178B certification perspective. CrossTalk - The Journal of Defense Software Engineering (April 2006)
Slotosch, O.: Model-Based Tool Qualification: The Roadmap of Eclipse towards Tool Qualification. In: Cerone, A., Persico, D., Fernandes, S., Garcia-Perez, A., Katsaros, P., Ahmed Shaikh, S., Stamelos, I. (eds.) SEFM 2012 Satellite Events. LNCS, vol. 7991, pp. 216–229. Springer, Heidelberg (2014)
ISO26262: Road vehicles Functional safety. International Standard (November 2011)
Gallina, B., Sljivo, I., Jaradat, O.: Towards a Safety-oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. In: Post-Proceedings of the 35th IEEE Software Engineering Workshop, SEW-35, Greece (2012)
Object Management Group: Software & Systems Process Engineering Meta-Model (SPEM), v2.0. Full Specification formal/08-04-01 (2008)
Gallina, B., Pitchai, K.R., Lundqvist, K.: S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-oriented Processes. In: Lee, R. (ed.) SERA 2013. SCI, vol. 496, pp. 215–230. Springer, Heidelberg (2013)
Eclipse Process Framework, http://www.eclipse.org/epf/
GSN: Community Standard Version 1 (November 2011), http://www.goalstructuringnotation.info/documents/GSN_Standard.pdf
Dardar, R., Gallina, B., Johnsen, A., Lundqvist, K., Nyberg, M.: Industrial experiences of building a safety case in compliance with iso 26262. In: IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 349–354 (2012)
Gallina, B., Gallucci, A., Lundqvist, K., Nyberg, M.: VROOM & cC: A Method to Build Safety Cases for ISO 26262-compliant Product Lines. In: SAFECOMP Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), HAL/CNRS Report (September 2013)
Gallina, B., et al.: nSafeCer, D121.1: Generic process model for integrated development and certification (2014)
ARTEMIS-JU-269265: SafeCer-Safety Certification of Software-Intensive Systems with Reusable Components (2013), http://www.safecer.eu/
SYNOPSIS-SSF-RIT10-0070: Safety Analysis for Predictable Software Intensive Systems. Swedish Foundation for Strategic Research
FP7 OPENCOSS: Open platform for evolutionary certification of safety-critical systems
Chung, P.W.H., Cheung, L.Y.C., Machin, C.H.C.: Compliance flow - managing the compliance of dynamic and complex processes. Know.-Based Syst. 21(4), 332–354 (2008)
Espinoza, H., Ruiz, A., Sabetzadeh, M., Panaroni, P.: Challenges for an open and evolutionary approach to safety assurance and certification of safety-critical systems. In: First International Workshop on Software Certification (WoSoCER), pp. 1–6 (2011)
Braga, R.T.V., Trindade Jr., O., Castelo Branco, K.R., Neris, L.D.O., Lee, J.: Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 352–363. Springer, Heidelberg (2012)
Kashiyarandi, S.: Reusing Process Elements in the Context of Safety Critical Systems Development and Certification. Master’s thesis, Mälardalen University, School of Innovation, Design and Engineering, Sweden (to appear)
Asghar Ali, E.: Deriving reusable process-based arguments from process models in the context of safety critical systems development and certification. Master’s thesis, Mälardalen University, School of Innovation, Design and Engineering, Sweden (ongoing)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Gallina, B., Kashiyarandi, S., Zugsbratl, K., Geven, A. (2014). Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts. In: Bondavalli, A., Ceccarelli, A., Ortmeier, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science, vol 8696. Springer, Cham. https://doi.org/10.1007/978-3-319-10557-4_28
Download citation
DOI: https://doi.org/10.1007/978-3-319-10557-4_28
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10556-7
Online ISBN: 978-3-319-10557-4
eBook Packages: Computer ScienceComputer Science (R0)