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.
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.
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).
Contact: Claire Pagetti firstname.lastname@example.org