ClearSy, Safety Critical Systems Engineering

Certification ISO 9001Based in Aix en Provence and in Paris, ClearSy is a French SME company which specialises in developing SIL1 to SIL4 level safety systems and software. It develops complex systems, from their design to putting them into service, and undertakes the interim stages of validation, checking and safety testing. ClearSy is particularly active in the development of systems and software in the railway, car, military and space industries.
News
Dagstuhl Seminar 2013

Dagstuhl Seminar 2013

ClearSy attended a Seminar,"Integration of Tools for Rigorous Software Construction and Analysis" (13372),  held at Schloss Dagstuhl in Germany (8-13 September 2013). The program spans from ...

[...]

CAI 2013 Conference

CAI 2013 Conference

ClearSy participated to CAI 2013 conference (International Conference on Algebraic Informatics) held in Porquerolles (France) 3-6 September 2013. A talk, entitled "Railways formal data validation", was ...

[...]

Newcastle University Technical Seminar

Newcastle University Technical Seminar

ClearSy is contributing to a technical seminar organized by Newcastle University on 24 October 2013. Formal methods are used worldwide to improve safety in several railways applications, ...

[...]

Engineering Complex Preponderant Software Systems

Engineering Complex Preponderant Software Systems Seminar in Toulouse

Clearsy attended the ISCLP seminar organized by the DGA as part of its mission "to prepare the future of defense systems ." The seminar ISCLP (Engineering ...

[...]

Comments are closed.