PREUVE DE DETERMINISME D’UN SYSTEME SÛR

Objectif du stage : Etude du temps d’exécution d’un système programmé.

CLEARSY dispose de plusieurs calculateurs de sécurité qui sont déployés dans différente applications.

Ces calculateurs sont prévus pour constituer un système d’exécution sûr de fonctionnement gérant plusieurs centaines d’entrées/sorties. L’objet du stage est l’étude du Worst Case Execution Time et la démonstration du déterminisme d’un calculateur de sûreté.

L’étude pourra intégrer des recommandations d’amélioration. Le stagiaire aura également la responsabilité de mettre en place un outil logiciel de présentation des résultats.

Le stage s’inscrit dans un projet de R&D CLEARSY piloté par un chef de projet technique qui sera le principal interlocuteur du stagiaire. Le stagiaire évolue par ailleurs au sein d’une équipe impliquée dans ce projet.

Le stage comprend les phases suivantes : prise de connaissance de la plateforme matérielle ainsi que du logiciel firmware, définition de la démarche notamment pour l’analyse du logiciel, mise en place d’outils logiciels pour la mesure du WCET, définition d’une application cible pour la mesure, mesures et enregistrements, essais en condition réelles et présentation des résultats (théorie et pratique).

Livrables attendus :

• Rapport d’étude
• Outil de présentation graphique des résultats
• Sources logicielles utilisées

Compétences recherchées :

• Architectures embarquées HW/SW
• Systèmes sûrs
• Microprocesseurs
• Rigueur, autonomie, force de proposition
• Bonnes capacités d’expression écrite et orale
• Des connaissances en langage C et python serons un plus