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