如何满足EN50128软件安全认证标准?

导语
EN 50128是为铁路行业的特定需求量身定制的功能安全标准。其标题为“铁路应用—通信,信号和处理系统—铁路控制和防护系统软件”。遵守该标准的要求对于铁路软件开发是至关重要的。因此,必须了解什么是EN 50128,如何遵循EN 50128以及什么是软件安全完整性等级(SSIL)。
什么是EN 50128?
EN 50128是为铁路行业的特定需求量身定制的功能安全标准。它为铁路控制和防护应用的任何安全相关的软件开发,部署和维护提出了一系列要求。
为什么EN 50128很重要?
EN 50128的目标是确保铁路设备和铁路系统整个生命周期的安全性。EN 50128通过提供必须遵守确保安全性的要求来做到这一点。
铁路网络包括许多庞大、复杂但又受到严格控制的系统。尽管发生故障的总体概率可能很低,但与安全相关的单个故障显然会对多个人产生非常严重的影响。
因此,遵守EN 50128来避免或控制系统性故障以及检测或控制随机的硬件故障是十分必要的。
什么是EN 50128工具分类?
EN 50128介绍了三类工具,所有工具必须分配给这些类中的一个,具体取决于它们对可执行代码的潜在影响。

对于T2类工具(例如静态分析工具Helix QAC),必须有证据表明该工具符合EN
50128的要求和所需的软件安全完整性等级(SSIL)。Helix QAC已通过EN
50128认证,适用于SGS-TÜV-SAAR开发高达SIL 4的安全相关软件。
为什么 SSIL 很重要?
软件安全完整性等级并不是EN 50128所特有的,正如所有功能安全标准都提供了许多预定义的安全等级类别一样。
EN 50128具有五个定义的SSIL值,其中SSIL 0是最低级别,最高安全完整性级别是SSIL 4。这意味着SSIL 4需要更多检查和严格控制,而SSIL 0与安全无关。
在确定组件的SSIL时,应考虑各种危险的后果,如人命丧失,人身伤害和财产损失。SSIL评级决定了您将需要实现的技术或措施,并且对每一个都有不同的建议。
对于每种技术,使用以下缩写来说明每个SSIL的要求:
▷“M”为必填项
▷“HR”为强烈建议使用
▷“R”为建议使用
▷“—”为无要求
例如,表A.12,技术/措施1指出编码标准—如MISRA—对SSIL 3和SSIL 4是强制性的,并且强烈推荐用于SSIL 0,SSIL 1和SSIL 2。
如何遵守EN 50128?
在EN 50128中,7.5阶段—软件组件实施和附件A—技术和措施选择标准—专门解决软件开发问题。
为了满足这些部分的要求,EN 50128指定使用静态代码分析器。这样可以确保:
● 识别出缺陷和漏洞
● 编码标准-如MISRA—强制执行
使用静态代码分析器(例如Helix QAC),可以更轻松地验证您的代码是否符合编码标准,从而可以满足EN50128的要求。另外,静态代码分析器有助于确保您代码的安全,可靠和高质量。
使用Helix QAC更容易遵循EN 50128
Helix QAC是用于C和C ++编程语言的最准确的代码分析器。并且,它已通过EN 50128认证,适合用于通过SGS-TÜV-SAAR开发高达SIL 4级的安全相关软件。这使其成为EN 50128的理想静态代码分析器。
此外,作为一种认证工具,Helix QAC可通过以下方式帮助您加速功能安全合规性:
● 执行编码标准并检测违规行为
● 防止使用未定义或未指定的行为
● 实施控制和数据流分析
● 计算指标
了解Helix QAC如何帮助您加快功能安全工作,快速符合标准要求,请访问:http://qa-systems.cn/
如何满足EN50128软件安全认证标准?的更多相关文章
- PRINCE2认证与其他项目管理认证标准有何不同?
国际项目管理协会 (IPMA)根据国际能力基线建立了一种国际公认的标准,并由其各国协会译成各国语言.这是IPMA四级证书的基础,现在已在全世界推广.可喜的是,PRINCE2与这个标准高度一致. 美国项 ...
- PMP和PRINCE2应该选择哪个?光环国际项目管理认证
对于项目管理课程的选择,我们不能盲目地做选择,一定要从自身实际出发.从来都没有更好的课程,只有更合适自己的课程. 那么,如何选择合适自己的项目管理课程呢? 让我们从PMP与PRINCE2之间的差异开始 ...
- 【托业】托业(TOEIC)成绩 & 等级划分以及评分标准
托业(TOEIC)成绩 & 等级划分以及评分标准 TOEIC全称:Test of English for International Communication(国际交流英语测评) 已通行全球 ...
- [ Office 365 开发系列 ] 身份认证
前言 本文完全原创,转载请说明出处,希望对大家有用. 通常我们在开发一个应用时,需要考虑用户身份认证及授权,Office 365使用AAD(Azure Active Directory)作为其认证机构 ...
- 交通部道路运输车辆卫星定位系统部标JTT808、809、796标准大全
无论是开发GPS设备硬件还是开发应用软件,都要面临一个标准,这个标准就是国家交通部发布的道路运输车辆卫星定位系统部标认证标准,它涵盖了GPS硬件设备参数.功能标准,也包括了设备上传到应用平台的协议标准 ...
- [转帖]超能课堂(207) SD卡标准错综复杂,到底该认哪一个?
超能课堂(207)SD卡标准错综复杂,到底该认哪一个? https://www.expreview.com/71505.html 开始的地方 SD容量等级 SD标准(SDSC) SDHC SDXC S ...
- Win10建立标准账户并设置标准账户权限
Win10建立标准账户,并使用组策略对标准帐户的权限进行管理. 注意:本文内容均在管理员帐户下操作,可以只看图片按图示步骤操作即可. 一.建立一个标准账户用于公用登录 (1)按”win健+R”运行“c ...
- 转-Uptime与数据中心等级认证
1 数据中心等级认证 随着数据中心的蓬勃发展,越来越多的标准被制定出具.其中,Uptime Tier认证在业内是认同度最高的标准.以前,Uptime在中国的宣传很少,很多人对Uptime及其认证体系不 ...
- [转]Windows Azure安全概述
本文转自:http://blogs.msdn.com/b/azchina/archive/2011/03/06/windows_5f00_azure_5f00_security_5f00_overvi ...
随机推荐
- Python随机数函数
Python随机数函数: ''' choice(seq) 从序列的元素中随机选出一个元素 randrange ([start,] stop [,step]) 从指定范围内,在指定步长递增的集合中 获取 ...
- PHP curl_strerror函数
(PHP 5 >= 5.5.0) curl_strerror — 返回错误码的描述. 说明 string curl_strerror ( int $errornum ) 返回错误码的文本描述信息 ...
- P2489 [SDOI2011]迷宫探险 概率dp
LINK:迷宫探险 题目中要求在最优的策略下的最大概率 而并非期望概率. 一个坑点 题目中虽然没有明说 但是 探险者是知道地图的模样和每个陷阱的概率的. 所以才有最优策略一说. 最优策略尽管不知道可以 ...
- 5.15 牛客挑战赛40 B 小V的序列 关于随机均摊分析 二进制
LINK:小V的序列 考试的时候 没想到正解 于是自闭. 题意很简单 就是 给出一个序列a 每次询问一个x 问序列中是否存在y 使得x^y的二进制位位1的个数<=3. 容易想到 暴力枚举. 第一 ...
- MyBatis-Plus使用(1)-概述+代码生成器
MyBatis-Plus(简称 MP)是一个 MyBatis 的增强工具,在 MyBatis 的基础上只做增强不做改变,为简化开发.提高效率而生. 官网:https://mp.baomidou.com ...
- 笨办法学习python3练习代码ex20.py 函数和文件
注意,还要在python3,就是ex20.py的同目录里面直接创建一个ex20.txt的文件.里面至少要有三行内容 #函数和文件 #readline:只读取文本文件的一行 #seek(0):将读写位置 ...
- 关于SqlServer那些事1(回归基础)
即将实习,回归基础总结,希望可以再好好打磨一下基础的一些东西 关于如何在重新修改表结构时该变其权限设置 步骤: 点击工具 进入选项 设计器 取消勾选阻止保存要求重新创建表的更改 关于创建创建数据库以及 ...
- /usr/bin/docker-current: Error response from daemon: driver failed programming external connectivity on endpoint naughty_wozniak (444e26e0a2a3adb1ff88177ead86099ad64c0406afcec179ce7cfeef8ffa2d5c): (i
/usr/bin/docker-current: Error response from daemon: driver failed programming external connectivity ...
- Qt信号参数中使用QVariantList时编译问题
今天调试代码时遇到一个奇怪的问题,不过一般感觉比较奇怪的问题,最后查到原因时,原因都比较简单! 编译问题 先来看一下qt的编译错误,提示一堆错误: In file included from D:\Q ...
- 029_go语言中的非阻塞通道
代码演示 package main import "fmt" func main() { messages := make(chan string) signals := make ...