RT Conference Proceedings
T1 A tool suite for assurance cases and evidences: 												Avionics experiences
A1 Ruiz, Alejandra
A1 Larrucea, Xabier
A1 Espinoza, Huascar
A2 Yilmaz, Murat
A2 Poth, Alexander
A2 O’Connor, Rory V.
A2 Akkaya, Mariye Umay
A2 Kemaneci, Kerem
A2 Messnarz, Richard
AB 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.
PB Springer Verlag
SN 9783319246468
SN 1865-0929
YR 2015
FD 2015
LK https://hdl.handle.net/11556/1731
UL https://hdl.handle.net/11556/1731
LA eng
NO 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
NO conference
NO Publisher Copyright: © Springer International Publishing Switzerland 2015.
DS TECNALIA Publications
RD 30 jul 2024