Conference Papers Year : 2024

Combining argumentation-based and model-based approaches for the certification of multi-core architectures: the PHYLOG methodology

Abstract

Multi-core architectures have made their way into aeronautical systems. They offer greater performance while minimizing the requirements in size or weight. Nevertheless, as any embedded systems, the use of multi-core architectures in aeronautics requires certification. The AMC 20-193 describes the acceptable means of compliance for the certification of multi-core processors through multiple assurance objectives. In this paper, we present the PHYLOG certification methodology for assisting the applicant in reaching the objectives of the AMC 20-193 through three aspects. The first aspect is the use of argumentation patterns derived from the certification objectives. The second aspect is the PHYLOG model-based framework allowing the modelling of the architecture and its formal analysis. The last aspect corresponds to the connections between the elements produced by the model-based framework and the elements required for the instantiation of the argumentation patterns in order to demonstrate the compliance with the objectives.
Embargoed file
Embargoed file
0 2 12
Year Month Jours
Avant la publication
Thursday, April 3, 2025
Embargoed file
Thursday, April 3, 2025
Please log in to request access to the document

Dates and versions

hal-04798863 , version 1 (22-11-2024)

Identifiers

  • HAL Id : hal-04798863 , version 1

Cite

Anthony Fernandes Pires, Frédéric Boniol, Kevin Delmas, Benjamin Lesage, Alfonso Mascarenas Gonzalez, et al.. Combining argumentation-based and model-based approaches for the certification of multi-core architectures: the PHYLOG methodology. AIAA DASC 2024, Sep 2024, San Diego (CA), United States. ⟨hal-04798863⟩
12 View
0 Download

Share

More