As part of its commitment to continuous innovation, Systerel is involved in several R&D projects closely linked with its positioning and “critical systems” core business.



Cyber-attacks can have deep consequences, especially when they target essential operators in the sectors of energy, transportation, water supply, etc.
Vital industrial systems therefore require a significant improvement of their security level.

The OPC-UA protocol is more and more deployed in industry and becomes a key element of industrial systems. It is one of the rare open standards to address security.


Systerel is an OPC foundation member and is the INGOPCS project leader.


The INGOPCS project, with the support of ANSSI and DCNS, aims at:

  • developing an open-source and secure implementation of the OPC-UA protocol,
  • verifying this implementation with specialized tools (applying formal methods),
  • demonstrating that the developed software stack can be integrated in the partners’ future solutions,
  • demonstrating that the global deployment of the OPC-UA protocol satisfies the security requirements of industrial networks.

Beyond the bare stack, the outcome of the INGOPCS project will therefore be a new French industrial cluster of products and services addressing the market needs in cybersecurity.

The project is certified by Systematic and Minalogic centers of innovation.

Systerel’s partners for this project are: Atos Worldgrid, EDF, Schneider Electric Automation, ARC Informatique, Éolane, TrustInSoft, CEA List, Telecom ParisTech.




Current aircraft’s electrical distribution systems are specifically designed, which  generates higher costs and longer time-to-market for aeronautics industrial companies.

The AEROCOTS project (Advanced Electrical Reliable & Optimized Core Off The Shelf) aims to solve this issue for under 100 passengers aircrafts market (including helicopters).

In a processus of embedded electrical system development, the end client (aircraft manufacturer) submits his requirements to the equipment supplier (Leach International Europe, project leader) which implements them.

These requirements gather the power supply’s securing strategy on the entire aircraft including emergency and degraded modes.


The power distribution unit is designed using modular and solutions-oriented configurable components. One of the issues is to produce user-friendly and reliable configuration tools together with a DO178 DAL B certification kit which enables the validation of the power system unit design new configuration with less effort.

Systerel is the main contributor of this work package.

To this end, Systerel relies on its Eclipse technologies expertise for the development of highly-designed HMI and on its formal methods expertise for the  automation of verification procedures.


ADVANCE (FP7)méthodes formelles projet ADVANCE

The overall objective of the ADVANCE project is the development of a unified tool-based framework  for automated  formal  verification  and  simulation-based  validation  of  cyber-physical  systems.

Within the scope of this project, Systerel ensures the maintenance and evolution of the RODIN platform.

Systerel also works with Alstom Transport on formal modeling Event-B of a signaling system. This case study analyzes the technical feasibility of a new computer based interlocking design suggested ?by Systerel.
The goal is to get an alternative solution as safe as current solutions but at a lower cost.

This work is an opportunity for Systerel (otherwise ‘its’ refers to nothing) to strengthen its system skills in signaling, as well as its thorough knowledge of formal modeling techniques in the railway sector.


Learn more:

openETCS (ITEA2)méthodes formelles projet OpenETCS

The European Union requires the replacement of railway signalling systems currently used in Europe (some thirty heterogeneous systems often incompatible) by a unique system, the ETCS (European Train Control System)

This specifications set standardize the future European railway network.

The OpenETCS aims to strengthen the ETCS specification set by implementing formal methodologies and proof techniques. This project gathers major European railway field actors : manufacturers, operators, researchers, and experts.

To this project, Systeral brings its expertise in complex systems control, and especially in formal methods such as B method, Event-B  modelization, and SCADE.



Learn more: