Formal methods
Systerel’s expert center “Modeling and proof” consists of one of Europe’s most important teams in the field.
Safety-critical, embedded and real-time software
Systerel disposes a center of competence for the development of embedded, critical and real-time software.
OPC UA and industrial cybersecurity
Through several implementations of the OPC UA technology in an industrial context, Systerel developed a real expertise on the OPC UA standard.
Ada Technologies
Systerel offers expert services for the application of the Ada language (or related tools) for embedded systems development with strong real-time or safety requirements.
Standards and processes
Systerel is able to conduct software and system development in different sectors with strong normative requirements.