Research and Development

CLEARSY invests significantly in R&D in the field of safety engineering,
to develop new tools and validate new modelling techniques.

CLEARSY CONDUCTS NUMEROUS RESEARCH AND DEVELOPMENT ACTIVITIES
IN PARTNERSHIP WITH INDUSTRY.

OUR R&D ACTIONS

CLEARSY carries out numerous research and development activities in partnership with industrialists, which enable it to provide its clients with innovations in terms of security tools and system engineering methods. As such, CLEARSY participates in a number of networks of excellence and security engineering projects funded by France and the European Union.
In addition, CLEARSY is an active member of  the Formal Method Europe network.

THEMES RECENTLY EXPLORED ARE FOR EXAMPLE
- The joint use of M and UML
- The realisation of proven VHDL components
- The realisation of a code generator for smart cards
- A methodological approach to decision engineering
- The use of the B method, for the specification and proof of systems.

OUR R&D PROJECTS

ICSPA

ANR has selected the project ICSPA (Interoperable and Confident Set-based Proof Assistants) under the framework "appel à projets générique 2020".

More information
BLASST

ANR has selected the project BLaSST (Enhancing B Language Reasoners with SAT and SMT Techniques) under the framework "appel à projets générique 2020".

More information
AIDOART

ECSEL JU has selected the project AIDOaRt (AI-augmented automation supporting modelling, coding, testing, monitoring and continuous development in Cyber-Physical Systems) under the framework H2020.

More information
DISCONT

ANR has selected the project DISCONT (Correct Integration of DIScrete and CONTinous models) under the framework "appel à projets générique 2017".

More information
LCHIP

BPI France has selected the project LCHIP (Low Cost High Integrity Platform) under the framework FUI 21.

More information
MEGAMART

ECSEL JU has selected the MegaMart (A scalable model-based framework for continuous development and runtime validation of complex systems) project under the H2020 programme.

More information
AQUAS

ECSEL JU has selected the AQUAS (Aggregated Quality Assurance for Systems) project under the H2020 programme.

More information
AMASS

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

PARTICIPATION TO CONFERENCES:
Formal methods