PHYLOG – Certifiability of multi and many-cores architectures

Project credentials

PHYLOG was a DGAC Project (2016 – 2020), the purpose of which is to prepare methods and tools for a computer-assisted framework to facilitate the certification of multi and many-core.

PHYLOG 2 (2021 - 2025) is a follow-up of PHYLOG and is also funded by the DGAC. The purpose is 1) to consolidate the PHYLOG methodology to tackle realistic industrial systems and also 2) to address new processor architectures with accelerators.

Project objectives

Certification activities consist in providing detailed documentation and justifications that explain why the development of a specific product is trustworthy and fulfills a given standard’s requirements. Such a comprehensive documentation not only contains the results, but also the input data, the hypotheses, the techniques applied, etc. This process is well covered by the current aeronautics practices. However, for the next generation of multi/many-core-based architectures, the means of compliance will evolve due to architecture specifics.

The objective of the project is to explore a model-based certification approach, to help both the applicant to answer the AMC 20-193 and AMC 20-152A requirements and the certification authority to assess the arguments provided by the applicant. This would help and simplify the certification of aeronautics systems, to cope with inflation of documentation, to improve the coverage of requirements, and to ease the use of formal methods as means of verification.

Project committees

The project is regularly assessed by two committees: an industrial (composed of Airbus, Airbus DS, Airbus Helico, Dassault, Safran, Thales, DGA-TA) and an academic (BSC, IRT Saint Exupéry, LIP6, Univ of Toulouse, LAAS).

Contributors: Frédéric Boniol, Kevin Delmas, Anthony Fernades Pires, Benjamin Lesage, Claire Pagetti, Thomas Polacsek

Contact: Claire Pagetti claire.pagetti@onera.fr