R&D, Research and Development

System Modelling in B

Within its R&D activities, ClearSy has developped industrial and academic relationships, by means of national and european projects :

DEPLOY	-	Industrial deployment of system engineering methods providing high dependability and productivity
RIMEL	ANR SETIN	Raffinement Incrémental de Modèles EvènementiELs
RODIN	IST FP6	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
VERBATIM	RNRT 2003	Biformal verification and test automating of multimodal man machine interfaces
EQUAST	RNRT 2002	Qos evaluation for numerical TV
PUSSEE	IST FP5	Tools and methodology for proven electronic design
BOM	RNTL 2001	B with Optimized memory
MATISSE	IST FP5	Tools and methodology for the development of safety critical software systems
FMERAIL	IST FP5	Formal methods and railway industry
REAIMS	ESPRIT	Requirements Engineering adaptation and improvement for safety and dependability

In addition, ClearSy organizes collaborations in order to improve tools related to the B technology.