Accueil -
Nouveautés -
Produit -
Versions -
Télécharger -
Manuels -
Maintenance -
Politique de Distribution
Perspectives & Appels à Contribution -
Support -
Formation -
Documents -
Presse -
Références -
R&D -
Contacts -
Emploi -
Liens -
Votre Compte
R&D, Recherche et Développement
Modélisation de systèmes en B
Dans le cadre de ses activités de Recherche & Développement, ClearSy a développé des collaborations avec des partenaires industriels et universitaires, par l'intermédiaire de projets nationaux et européens :
|
- |
Industrial deployment of system engineering methods providing high dependability and productivity
|
|
|
ANR SETIN |
Raffinement Incrémental de Modèles EvènementiELs
|
|
|
Développement d'une plateforme ouverte pour la modélisation et la preuve de systèmes complexes en B événementiel (Démarré le 01/09/2004)
|
||
|
FORCOMENT |
PACA |
Evolution du processus de conception rigoureuse de systèmes électroniques embarqués
|
|
RNRT 2003 |
Vérification biformelle et automatisation du test des IHMs multimodales
|
|
|
RNRT 2002 |
Evaluation de la qualité de service en télévision numérique terrestre
|
|
|
PUSSEE |
IST FP5 |
Méthodologie outillée pour la conception électronique prouvée
|
|
RNTL 2001 |
B with Optimized memory
|
|
|
MATISSE |
IST FP5 |
Méthodologie outillée pour le développement de systèmes logiciels critiques
|
|
FMERAIL |
IST FP5 |
Promotion des méthodes formelles dans l'industrie ferroviaire
|
|
ESPRIT |
Requirements Engineering adaptation and improvement for safety and dependability
|
D'autre part, ClearSy organise des collaborations afin d'améliorer les outils liés à la technologie B. En particulier l'outil d'animation et de model checking (proB) développé par l'université de Düsseldorf.