Accueil | Actualités B | La Méthode B | Travaux R&D | Preuve Formelle | Publications | Conférences | B, les différents langages | Projets Open Source | Outils B | Documents | Liens | Contact  

Travaux R&D (Recherche et Développement)

ClearSy mène des travaux de Recherche & Développement dans différents cadres : des projets financés (Europe, France ou région) et des projets internes.

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 BATELIER B

Atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.

Deploy ProjectDEPLOY

Industrial deployment of system engineering methods providing high dependability and productivity.

BART

Outil de raffinement automatique de machines B.

EQUAST

Evaluation de la qualité de service en télévision numérique terrestre.

BramaBRAMA

Outil d'animation graphique de modèle B.

FMERAIL

Promotion des méthodes formelles dans l'industrie ferroviaire.

Traducteur ComenCCOMENC

Traducteur d'implémentations B0 vers le langage C.

FORCOMENT

Processus de conception rigoureuse de systèmes électroniques embarqués.

BVM B Virtual MachineLA BVM, B VIRTUAL MACHINE

Machine virtuelle permettant d'exécuter des modèles B en utilisant le coeur d'animation de l'outil Brama...

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 plateforme pour la modélisation et la preuve de systèmes complexes en Event-B (B événementiel).

VERBATIM

Vérification biformelle et automatisation du test des IHMs multimodales..