Modifications récentes

Accueil ›› Programmes ›› Embarqué

Topcased : un environnement de développement pour les systèmes embarqués critiques

Traductions de l'article :

En Bref

Intervenant(s) :David Chemouil
Type d'événement :Conférence
Niveau :Confirmé
Date :Mercredi 2 juillet 2008
Horaire :14h00
Durée :45 minutes
Langue :English
Lieu :BIO/TD1 - IUT

Dans cet exposé, le conférencier donnera un aperçu global sur les tenants et aboutissants du projet Topcased.

Celui-ci consiste en un ensemble d’outils dédié au développement et à la maintenance des systèmes embarqués critiques à prépondérance logicielle.

Le projet promeut en particulier l’ingénierie des modèles (UML, AADL, SysML, transformations...) et les méthodes formelles (model-checking, OCL) comme axes techniques majeurs mais propose aussi des outils de support au développement (gestion de configuration, gestion de faits techniques, etc.).

Comme organisation, le projet associe des acteurs importants de l’industrie, des sociétés de services et PME, ainsi que du monde académique.

Documents joints