|
Projets financés (Europe, Région...etc.)
|
Projets internes à ClearSy
|
|
 B4L4
Travaux
liés à la définition des architectures de plateformes sécurisées.
|
 ATELIER B
Atelier de génie logiciel
permettant de développer des logiciels prouvés sans défaut.
|
|
 COSYC
Construction correcte de Systèmes communicants
embarqués Critiques.
|
 BART
Outil de raffinement automatique de machines B.
|
|
 DEPLOY
Industrial deployment of system engineering methods providing high dependability and productivity
|
 BRAMA
Outil d'animation graphique de modèle B.
|
|
 EQUAST
Evaluation de la qualité de service en télévision numérique terrestre .
|
 BSVR
|
|
 FMERAIL
Promotion des méthodes formelles dans l'industrie ferroviaire.
|
 COMMENC
Traducteur d'implémentations
B0 vers le langage C.
|
|
 FORCOMENT
Processus de conception rigoureuse de systèmes électroniques embarqués.
|
|
|
 MATISSE
Méthodologie outillée pour le développement de systèmes logiciels critiques.
|
|
|
 PUSSEE
Méthodologie outillée pour
la
conception électronique prouvée.
|
|
|
 REAIMS
Requirements Engineering adaptation and improvement for safety and dependability.
|
|
|
 RIMEL
Raffinement Incrémental de Modèles EvènementiELs financé
par l'ANR STIN..
|
|
|
 RODIN
Développement d'une pour la modélisation et la preuve de systèmes complexes enn
B événementiel.
|
|
|
 VERBATIM
|
|
