A tool suite for assurance cases and evidences: Avionics experiences
No Thumbnail Available
Identifiers
Publication date
2015
Advisors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer Verlag
Citations
Export
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.
Description
Publisher Copyright: © Springer International Publishing Switzerland 2015.
Type
Citation
Ruiz , A , Larrucea , X & Espinoza , H 2015 , A tool suite for assurance cases and evidences : Avionics experiences . in M Yilmaz , A Poth , R V O’Connor , M U Akkaya , K Kemaneci & R Messnarz (eds) , Systems, Software and Services Process Improvement - 22nd European Conference, EuroSPI 2015, Proceedings . Communications in Computer and Information Science , vol. 543 , Springer Verlag , pp. 63-71 , 22nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2015 , Ankara , Turkey , 3/09/15 . https://doi.org/10.1007/978-3-319-24647-5_6
conference
conference