Formal methods
Systerel’s expert center “Modeling and proof” consists of one of Europe’s most important teams in the field.
Embedded, critical & real-time software
Systerel disposes a center of competence for the development of embedded, critical and real-time software.
OPC UA
Through several implementations of the OPC UA technology in an industrial context, Systerel developed a real expertise on the OPC UA standard.
Technology based on Ada
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.