PHYLOG certification methodology: a sane way to embed multi-core processors
The PHYLOG project aims at offering a model-based software-aided certification framework
for aeronautical systems based on multi/many-core architectures. Certifying such platforms …
for aeronautical systems based on multi/many-core architectures. Certifying such platforms …
Combining argumentation-based and model-based approaches for the certification of multi-core architectures: the PHYLOG methodology
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 …
performance while minimizing the requirements in size or weight. Nevertheless, as any …
Vérification, validation, certification: approches formelles et informelles pour établir la correction des artefacts et des logiciels
T Polacsek - 2019 - hal.science
Le présent manuscrit s' attache à donner une vue globale des travaux concernant les
approches formelles et les approches informelles permettant d'établir la correction …
approches formelles et les approches informelles permettant d'établir la correction …
A service-based modelling approach to ease the certification of multi-core COTS processors
The Phylog project aims at offering a model-based software-aided certification framework for
aeronautical systems based on multi/many-core architectures. Certifying such platforms will …
aeronautical systems based on multi/many-core architectures. Certifying such platforms will …
Analyse de systèmes temps-réels de sûreté et mitigation de leurs interférences temporelles
GH Jean - 2021 - theses.hal.science
La mise en œuvre de systèmes temps-réels de sûreté requiert souvent l'élaboration de
stratégies de provisionnement de temps; cette pratique est particulièrement répandue dans …
stratégies de provisionnement de temps; cette pratique est particulièrement répandue dans …