CLEARSY invests heavily in Research and Development to develop new tools and validate new modeling techniques.
CLEARSY conducts many Research and Development projects in partnership with industry to provide its clients with innovations in terms of system engineering tools and methods.
To this end, CLEARSY participates in a wide range of networks of excellence and projects financed by France and the European Union.
In addition, CLEARSY is an active member of the “Association Française d’Ingénierie Système”, the “Formal Methods Europe” network and the “Institut pour la Maîtrise des Risques et la Sûreté de Fonctionnement”.
Topics recently discussed include:
- The joint use of B and UML
- The realization of proven VHDL components
- The realization of a code generator for chip cards
- A methodological approach for decision engineering
- Use of the B Method for the specification and proof of systems
Conferences
Participation in formal method conferences.
R&D Projects
Posts
Linked to this thematic
Linked to this thematic
- • 9ᵉ ABZ International Formal Methods Conference in Nancy from May 31 to June 2, 2023
- • CLEARSY is partnering with UIC to define safety demonstration methods for innovative systems
- • The new formal tool Atelier B 4.7 is available.
- • CLEARSY joins RoboStar group
- • CLEARSY organizes the first annual Meeting of the European H2020 Project INTO-CPS, on the 18th and 19th of November 2015 in Marseille.
- • Rodin Industry Day
- • RIMEL Project
- • Collaboration with Labsoc
- • Verification of the Coherence of the UML – ENST PA
- • RODIN: a three year Project
- • LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level.
Components
Linked to this thematic
Linked to this thematic
Tools
Linked to this thematic
Linked to this thematic
