

Félicitations aux admis.
• Ingénierie dirigée par les modèles,
• Génie Logiciel,
• Vérification logicielle
• Lignes de produits
• Systèmes (auto) adaptables
• Systèmes cognitifs
• Ingénierie des exigences
• Spécification formelle
• Diagnostic
• Sémantique exécutable,
• Vérification formelle
• Débogage.
L’approche « Security by Design » n'en est qu'à ses débuts et seuls de grands efforts de recherche et de développement permettront son utilisation systématique et générale. C’est l’objectif de ce projet novateur, qui s’apparente à la création d’une toute nouvelle discipline d’ingénierie, en proposant une nouvelle vision. Pour relever ce défi, le projet entreprend de créer une théorie globale, unificatrice, avec des méthodes, techniques et outils de conception systématiques.
Le projet vise à développer les produits et services intégrés aux véhicules connectés, ainsi que les services
externes associés.
Ces services embarqués aux véhicules auront suivi un processus de développement sécurisé.
ENSTA Bretagne intervient en développant une méthodologie de conception et un outillage de tests de cyber-sécurité spécialement orientés « véhicules connectés».
Cette méthodologie doit couvrir du niveau système, intégrant les exigences de sécurité, aux modules de communication du calculateur embarqué.
Les résultats attendus du projet sont le développement de nouveaux services de mobilité comme la gestion de flotte, le développement d’un CyberLab pour assurer les tests de sécurité des services et un support méthodologique reposant sur une vérification formelle des exigences de sécurité.
...
...