Research & Development
CLEARSY invests significantly in R&D in the field of safety engineering, to develop new tools and validate new modelling techniques.
CLEARSY carries out numerous research and development activities in partnership with industrialists.
OUR R&D ACTIVITIES
CLEARSY carries out numerous research and development activities in partnership with industrialists, which enable it to provide its clients with innovations in terms of safety tools and system engineering methods. As such, CLEARSY participates in a number of networks of excellence and safety engineering projects funded by France and the European Union.
In addition, CLEARSY is an active member of the French Systems Engineering Association, the Formal Method Europe network and the Institute for Risk Management and Dependability.
RECENT THEMES EXPLORED INCLUDE :
• Joint use of B and UML
• Developement of proven VHDL models
• Development of code generator for smartcard
• Methodological approach to decision engineering
• Use of the B method, for the specification and the proof of systems.
Our R&D projects
ECSEL JU has selected the AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) project under the H2020 programme.
More information
Incremental Event-Based Model Refinement (RIMEL) The project RIMEL has been selected for funding by the Agence Nationale de la Recherche, […]
More information
Opening and Interoperability for Autonomous Systems (OISAU) The DGA (General Delegation of Commissioning) is the project manager of a study, […]
More information
The project is aimed at transforming an Event-B model of a functionality into synthetizable VHDL,
More informationPARTICIPATION TO CONFERENCES :
Formal methods