AdaCore Technologies for Railway Software

This document presents the usage of AdaCore’s technology in conjunction with the CENELEC EN 50128 standard. It describes where the technology fits best and how it can best be used to meet various requirements of the standard.

Written by Jean-Louis Boulanger and Quentin Ochem, for AdaCore