Continuous and Accountable Software Certification with Evidentia

The past years have seen a great number of technologies that support continuous and accountable avionics software certification. For example, there are now numerous automated (formal) software verification methods and tools; formal models for safety assurance specification; and ledger technologies enabling distributed data integrity. Continuous and accountable avionics software certification is, however, still challenging in practice. For example, updating safety cases or building systems over third-party components is resource intensive requiring many person-years of effort. The key problem is that each on these technologies can tackle different aspects of continuous certification and therefore, they have limited impact in practice if individually applied. In this talk, we present Evidentia, a platform as a service (PaaS) composed of container-based services that automatically and continuously execute verification workflows, derived from automated chains of verification and analysis tools. The output of Evidentia are formal safety arguments supported by accountable evidence, stored in ledger technology, that corroborate the safety of avionics software, thus providing trust based on accountable evidence that can be directly for certification.

Presented by: Harald Ruess
Company: fortiss

Talk language: English
Level: Advanced
Target group:

Partner der Konferenz 2022

ASQF e.V ATB - Austrian Testing Board coderskitchen dpunkt.verlag GmbH Fortiss GmbH GTB - German Testing Board Heise Medien GmbH & Co. KG iSQI GmbH IT Verlag für Informationstechnik GmbH SIGS DATACOM GmbH TU Wien, Institut für Information Systems Engineering, CDL-SQI WKO - Wirtschaftskammer