AdaCore Technologies for CENELEC EN 50128:2011

Jean-Louis Boulanger & Quentin Ochem

This document presents the usage of AdaCore’s technology in conjunction with the CENELEC EN 50128:2011 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