R&D Activities / B Projects

ClearSy conducts R&D projects in various contexts: subsidized projects (Europe, France or regional) and internal projects.

Projets financés (Europe, Région...etc.)	Projets internes à ClearSy
B4L4 B4L4 falls within the context of projects related to the definition of secure platform architectures.	ATELIER B Software engineering workshop to develop software proven to be flawless.
DEPLOY Industrial deployment of system engineering methods providing high dependability and productivity.	BART Automatic B machine refinement tool.
EQUAST Evaluation of the service quality of digital terrestrial television.	BRAMA Model B graphic animation tool.
FMERAIL Promotion of formal methods for the rail transport industry.	BVM Virtual machine that allows for the execution of B models by using the Brama tool’s animation core...
FORCOMENT In the context of specific projects subsidized by the PACA Region, STMicroelectronics, the INRIA and ClearSy are working on improving the rigorous design process for onboard electronic systems.	COMENC B0 implementation translation into C language.
MATISSE Tool-based methodology to develop critical software systems.
PUSSEE Tool-based methodology for proven electronic design.
REAIMS Requirements Engineering adaptation and improvement for safety and dependability.
RIMEL Incremental refinement of Event models subsidized by the ANR STIN.
RODIN Development of an open platform to model and prove complex systems in Event B.
VERBATIM Bi-formal verification and automation of the IHM multimodal test.