Abstract
This paper describes a specification and an implementation of a flexible tool platform for assurance and certification of safety-critical systems. This tool platform is built upon a comprehensive conceptual assurance and certification framework. This conceptual framework is composed of a common information model called CCL (Common Certification Language) and a compositional assurance approach. Our tool platform allows an easy integration with existing solutions supporting interoperability with existing development and assurance tools. The ultimate goal of our platform is to provide an integrated approach for managing assurance cases and evidences resulting from a safety project.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Hawkins, R., Habli, I., Kelly, T., McDermid, J.: Assurance cases and prescriptive software safety certification: A comparative study. Saf. Sci. 59, 55–71 (2013)
Dodd, I., Habli, I.: Safety certification of airborne software: An empirical study. Reliab. Eng. Syst. Saf. 98(1), 7–23 (2012)
Wilson, A., Preyssler, T.: Incremental certification and integrated modular avionics. In: 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, pp. 1.E.3–1–1.E.3–8 (November 2008)
Vinodkumar, M.N., Bhasi, M.: A study on the impact of management system certification on safety management. Saf. Sci. 49(3), 498–507 (2011)
Baumgart, S., Froberg, J., Punnekkat, S.: Towards efficient functional safety certification of construction machinery using a component-based approach. In: 2012 Third International Workshop on Product LinE Approaches in Software Engineering (PLEASE), pp. 1–4 (2012)
Defence Standard 00-56, Safety Management Requirements for Defence Systems, Issue 4, Part 1: Requirements, Ministry of Defence, Glasgow, UK (2007)
OMG, Structured Assurance Case Metamodel, (SACM) (2013)
Larrucea, X., Combelles, A., Favaro, J.: Safety-Critical Software [Guest editors’ introduction]. IEEE Softw. 30(3), 25–27 (2013)
Basir, N., Denney, E., Fischer, B.: Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. Electron. Notes Theor. Comput. Sci. 238(4), 19–26 (2009)
Goal Structuring Notation Working Group, GSN Community Standard (November 2011). Retrieved from http://www.goalstructuringnotation.info
Adelard, L.: (n.d.). Claims, Arguments and Evidence. Retrieved from http://www.adelard.com/asce/choosing-asce/cae.html
OPENCOSS project, D6.2_Detailed requirements for evidence management of the OPENCOSS platform_final (November 2012)
Denney, E., Pai, G., Pohl, J.: AdvoCATE: an assurance case automation toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 8–21. Springer, Heidelberg (2012)
Matsuno, Y., Takamura, H., Ishikawa, Y.: A dependability case editor with pattern library. In: HASE, pp. 170–171 (2010)
Blanc, X., Gervais, M.-P., Sriplakich, P.: Model Bus: Towards the Interoperability of Modelling Tools. In: Aßmann, U., Akşit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol. 3599, pp. 17–32. Springer, Heidelberg (2005)
Górski, J., Jarzębowicz, A., Miler, J., Witkowicz, M., Czyżnikiewicz, J., Jar, P.: Supporting assurance by evidence-based argument services. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 417–426. Springer, Heidelberg (2012)
RTCA DO-178/EUROCAE ED-12, Software Considerations in Airborne System and Equipment Certification
SAE ARP4754/EUROCAE ED-79, Certification Considerations for Highly Integrated or Complex Aircraft Systems
RTCA DO-297/EUROCAE ED-124 Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Ruiz, A., Larrucea, X., Espinoza, H. (2015). A Tool Suite for Assurance Cases and Evidences: Avionics Experiences. In: O’Connor, R., Umay Akkaya, M., Kemaneci, K., Yilmaz, M., Poth, A., Messnarz, R. (eds) Systems, Software and Services Process Improvement. EuroSPI 2015. Communications in Computer and Information Science, vol 543. Springer, Cham. https://doi.org/10.1007/978-3-319-24647-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-24647-5_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24646-8
Online ISBN: 978-3-319-24647-5
eBook Packages: Computer ScienceComputer Science (R0)