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.