欧洲铁路标准EN50128 Training.pdf

EN50128标准概述

时迪文高级顾问

EN50128的方法论

EN50128是一套方法论

➢确定有限状态空间

➢遍历所有状态空间

从而确保软件安全性

2

©Ricardoplc2

Classification:PUBLIC22

CENELEC建议开发高SIL软件适用原则

➢自顶向下的设计方法

➢模块化

➢开发生命周期每一阶段的验证

➢验证过的模块和模块库

➢清晰的文档和追溯性

➢可审核的文档

➢确认

➢评估

➢配置管理和变更控制

➢对组织架构和人员能力的充分考虑

3

©Ricardoplc3

Classification:PUBLIC33

EN50128适用范围

➢应用程序Applicationprogram

➢操作系统Operatingsystem

➢支持工具Supportingtool

➢固件Firmware

4

©Ricardoplc4

Classification:PUBLIC44

EN50128标准内容

主要内容

➢