Conception dirigée par les modèles
La conception de logiciels corrects par construction est à la base des prestations que nous proposons pour les systèmes embarqués.
La démarche peut être déclinée à différents niveaux :
La démarche est organisée autour des activités suivantes :
- Spécification et formalisation du système et des propriétés (clauses logiques, modèles mathématiques)
- Spécification exécutable (modélisation Simulink, Scade, ...) et vérification des propriétés de sûreté
- Détection de contre-exemple (identification de scénarios aboutissant au non respect d'une exigence)
- Simulation intensive et tests en ligne
- Génération de tests
- Dérivation du modèle de spécification vers le langage et l'architecture cible
- Analyse de la conservation des propriétés de sûreté sur le code généré
- Analyse du code généré
Cette offre s'appuie grandement sur des outils du commerce, notamment les environnements Matlab/Simulink de Mathworks, SCADE d'Esterel Technologies, PolySpace Client et PolySpace Server de Mathworks.