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
PARTICIPATION TO CONFERENCES :