Vous êtes ici : Accueil > Moyens et compétences > Systèmes numériques intelligen ... > Ingénierie logicielle et système

Article | Technologies logicielles


Systèmes numériques intelligents

Ingénierie logicielle et système

Publié le 14 mars 2017

 

NOS COMPÉTENCES

Pour concevoir des systèmes toujours plus complexes et intégrant toujours plus de logiciels embarqués, le List, institut de CEA Tech, développe des méthodes et des outils en ingénierie des logiciels et des systèmes autour de deux axes : la description et la production des systèmes à l’aide de l’ingénierie des modèles ; et l’analyse, la vérification et la validation des systèmes et des logiciels à l’aide de techniques formelles.

La plate-forme d’ingénierie dirigée par les modèles, Papyrus, permet de décrire à la fois le besoin et sa solution, et de construire les solutions de génération des systèmes. La plate-forme d’ingénierie de la validation, Frama-C, offre une intégration orientée utilisateur des techniques formelles les plus poussées. Elle permet de vérifier la qualité des logiciels, leurs propriétés de sûreté et de sécurité selon les exigences de différents domaines applicatifs.


NOS MOYENS

PLATE-FORME​​ Ingénierie logicielle et système
NOS TRAVAUX