A tool suite for assurance cases and evidences: Avionics experiences

Simple item page
dc.contributor.authorRuiz, Alejandra
dc.contributor.authorLarrucea, Xabier
dc.contributor.authorEspinoza, Huascar
dc.contributor.editorYilmaz, Murat
dc.contributor.editorPoth, Alexander
dc.contributor.editorO’Connor, Rory V.
dc.contributor.editorAkkaya, Mariye Umay
dc.contributor.editorKemaneci, Kerem
dc.contributor.editorMessnarz, Richard
dc.contributor.institutionQuantum
dc.contributor.institutionTecnalia Research & Innovation
dc.date.accessioned2024-07-24T11:48:05Z
dc.date.available2024-07-24T11:48:05Z
dc.date.issued2015
dc.descriptionPublisher Copyright: © Springer International Publishing Switzerland 2015.
dc.description.abstractThis 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.en
dc.description.statusPeer reviewed
dc.format.extent9
dc.identifier.citationRuiz , 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
dc.identifier.citationconference
dc.identifier.doi10.1007/978-3-319-24647-5_6
dc.identifier.isbn9783319246468
dc.identifier.issn1865-0929
dc.identifier.urihttps://hdl.handle.net/11556/1731
dc.identifier.urlhttp://www.scopus.com/inward/record.url?scp=84952303252&partnerID=8YFLogxK
dc.language.isoeng
dc.publisherSpringer Verlag
dc.relation.ispartofSystems, Software and Services Process Improvement - 22nd European Conference, EuroSPI 2015, Proceedings
dc.relation.ispartofseriesCommunications in Computer and Information Science
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subject.keywordsArgumentation
dc.subject.keywordsCompliance
dc.subject.keywordsEvidence Management
dc.subject.keywordsStandards
dc.subject.keywordsTooling platform
dc.subject.keywordsGeneral Computer Science
dc.subject.keywordsGeneral Mathematics
dc.titleA tool suite for assurance cases and evidences: Avionics experiencesen
dc.typeconference output
Files