|
Projets financés (Europe, Région...etc.)
|
Projets internes à ClearSy
|
|
 B4L4
|
 ATELIER B
Software
engineering workshop to develop software proven to be flawless.
|
|
 COSYC
Correct construction of critical onboard communicating systems.
|
 BART
Automatic
B machine refinement tool.
|
|
 DEPLOY
Industrial
deployment of system engineering methods providing high dependability and productivity
|
 BRAMA
Model
B graphic animation tool.
|
|
 EQUAST
Evaluation
of the service quality of digital terrestrial television.
|
 BSVR
|
|
 FMERAIL
Promotion
of formal methods for the rail transport industry.
|
 COMMENC
B0
implementation translation into C language.
|
|
 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.
|
|
|
 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.
|
|
