DEVELOPPEMENT UNITE SECURISEE AVEC IA

Développement d’une Unité Sécurisée avec Intelligence Artificielle Embarquée

DEVELOPPEMENT WORKBOOK ATELIER B

Développement d’un workbook pour l’Atelier B et la méthode B

MODERNISATION FULLSTACK DE L’ATELIER B

Amélioration et modernisation du code source de l’outil Atelier B

CONSTITUTION D’UN BANC DE TEST POUR L’INTERFACE GRAPHIQUE DE L’ATELIER B

Constitution d’un banc de test pour l’interface graphique de Atelier B

CREATION D’UNE API DE GESTION DE PROJETS DE DEVELOPPEMENT AVEC LA METHODE B

Création d’une API de gestion de projets de développement avec la méthode B

INFERENCE DE TYPES APPLIQUEE AU LANGAGE B

Inférence de types appliquée au langage B

MODERNISATION DU GENERATEUR D’OBLIGATIONS DE PREUVE DE L’ATELIER B

Modernisation du générateur d’obligation de preuve d’Atelier B

EXTENSION DU COMPILATEUR B POUR PERMETTRE LA CERTIFICATION T3 DU LOGICIEL DE VALIDATION DE DONNÉES DE CLEARSY

Développement en C++ d’une chaîne de compilation redondée pour certification d’un outil logiciel