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

Last Updated: 10/25/2017
Posted on: 3/30/2016