Based on its skills in engineering and software editing, Clearsy has designed a development and maintenance offer for system engineering tools. Today, Clearsy provides maintenance for:
- Atelier B related tools specific to various industries
- Diagnostic engineering tools
- Product development (specifications, design, coding, tests)
- Development tools for onboard real time software
The most important tools represent a volume of approximately one million lines of code in various languages (assembler, Ada, C, C++, Pascal, proof language…) and in UNIX and Windows environments.