Domaines technologiques
Systèmes embarqués à fortes contraintes temps réel ou de sécurité
Méthodes de développement formelles avec preuves (Méthode B, SCADE...)
Modélisation des systèmes
Sûreté de fonctionnement / Sécurité des systèmes d'information
Formalisation et management des exigences
Prestations proposées
- Développement de logiciels critiques (de la spécification à la mise en service)
- Elaboration ou vérification formelle de spécifications
- Evaluation / certification de logiciels de sécurité
- Analyse et refonte de systèmes obsolescents
- Fourniture d'outils de vérification formelle de donnés (paramètres de sécurité...)
- Développement d'outils spécifiques (compilateurs, analyseurs, stimulateurs...)
- Formation (B, Ada)
Valeur ajoutée
Expertise autour :
- des techniques formelles (Méthode B, SCADE,...),
- des techniques de sécurisation des systèmes,
- des langages spécifiques à l'embarqué critique (Ada...).
Maîtrise des processus rigoureux (EN50126/50128, CEI61508, DO178B, ...)
Compétences spécifiques dans le développement de logiciels embarqués
Expertise dans la formalisation des exigences
(10% du CA en R&D sur cette activité)