SCADE is an environment for developing critical embedded software that is used for more
than twenty years in various application domains like avionics, nuclear plants …

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 …

The CAST-32A provides some guidelines to help certify multi-core-based systems in the
avionics domain. One major requirement is to compute all the potential interference and to …

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 …

The last decade has seen the emergence of multi-core and many-core processors replacing
historical uni-processors in most of the applicative domains. There is no doubt that the next …

ABSTRACT Deliverable 5.1 provides a State-Of-The-Art (SOTA) on holistic System-of-
Systems Engineering (SoSE) within Task 5.2 for the COLOSSUS project. The foundation for …

This paper describes Phylog, a framework intended to help certify the use of a multi-core in
an aeronautical context. Specific guidelines for such systems have been published in a …

A recent microprocessor architecture breakthrough provides a many-core processor that
offers timing guarantees. It gives us an opportunity to study its applicability to avionics …

La création d'un produit, que cela soit un objet matériel ou un service, s' accompagne de la
production de justifications qui peuvent être, suivant les cas, des éléments de conformité …

Multicore processors promise to offer the performance as well as the reduced space, weight
and power needed by future aircrafts. However, commercial off-the-shelf multicore …