详细介绍:
轨道交通信息系统及其设备专项检测
服务热线:400-669-0203 020-29178595 QQ:2557064750 2649046091 http://www.simou.net.cn/ http://www.innor.org/ http://www.softr.com.cn/
轨道交通信息系统及其设备专项检测包括:高速铁路、城市轨道交通、普通火车列、有轨电车、城市快速公交(BRT)、地铁等信号系统、安全保障系统、控制系统、制动系统、指挥系统等,及其零部件的嵌入式产品。
软件检测服务中心,具备针对不同软件特点,提供制定软件工程化管理过程标准规范、实施软件过程质量监督服务的能力;
Ø 具备针对不同行业、领域软件产品进行软件测评、质量检验服务的能力;
Ø 具备自主研发、集成构建软件工程化管理和测试工具环境的能力;
Ø 拥有一支由国内知名软件工程化管理和测评学科带头人牵头,既具有扎实理论基础又具有丰富实践经验的技术团队,确立了国内领先地位。
服务内容和方式
Ø 提供轨道交通领域系统软件工程化服务;
Ø 提供轨道交通领域系统安全性评估的方法和技术;
Ø 提供轨道交通领域产品研制阶段技术评审服务;
Ø 软件测评服务;
Ø 资源租赁服务。
软件工程化服务
Ø 针对轨道交通领域特点,提供融合CMMI过程管理框架的软件工程化管理体系和规范;
Ø 提供轨道交通软件研制全生命周期的软件质量监督服务;
Ø 提供轨道交通软件研制全生命周期的软件质量保证服务;
Ø 定制符合轨道交通相关欧标的软件研制技术文档模板;
Ø 提供符合轨道交通领域软件安全性编程规范和指南;
Ø 提供工程化管理过程标准规范、技术文档使用过程中的培训、辅导等;
系统安全性评估咨询服务
Ø 提供轨道交通领域系统安全性评估的方法和技术
Ø 提供划分安全性设计技术;
Ø 提供多版本非相识软件安全性设计技术;
Ø 提供安全性监控设计技术;
划分安全性设计技术
Ø 划分是在功能上独立的软件部件之间提供隔离的技术,以确定和/或隔离故障,并潜在地减少软件验证过程的工作量。如果通过划分提供了保护,那么对每一个划分的软件等级,可使用与那个部件相关的最严重的失效状态类别来确定。
Ø 提供划分的指南;对划分的指南包括:
Øa. 当设计了划分保护时,要考虑系统的下列方面,以确定它们是否防碍了那个保护:
(1)硬件资源 处理器、存储器设备、输入 / 输出设备、中断和定时器;
(2)控制耦合器 外部存取易损性;
(3)数据耦合器 共享或重复占位数据,包括堆栈和处理器寄存器;
(4)与保护机制相关的硬件设备的失效模式。
划分安全性设计技术
Øb.软件生存周期过程要表明划分的设计考虑,包括划分的部件之间允许的内部连接的程度和范围,无论保护是通过硬件还是通过软件和硬件的组合来实现的。
Øc.如果划分保护涉及到软件,那么软件的等级要与划分的软件部件的最高等级相对应。
多版本非相似软件安全性设计技术;
Ø 多版本非相似软件是系统设计技术,它涉及到产生两个或更多的软件部件。这些部件以可在部件间避免某些共同错误源的方式提供同样的功能。
多版本非相似软件也称为多版本软件、非相似软件、N 版本程序设计或软件多样性。
安全性监控设计技术;
Ø 安全性监控是通过直接检测可能引起失效状态的功能失效而防止具体失效状态的一种手段。监控功能可通过硬件、软件或硬件和软件的组合来实现。
Ø 通过监控技术的使用,所监控的功能的软件等级可以降低到与其相关的系统功能的失效相应的等级。为了允许这个等级的降低,要确定三个重要的属性:
Øa.软件等级 安全性监控软件的软件等级要与被监控功能的最严重的失效状态类别相对应。
Øb.系统故障范围 监控器的系统故障范围的评估要确保监控器的设计和实施能使想要检测的故障在所有必要的条件下得以检测。
Øc.功能和监控器的独立性 监控器和防护措施不会由于引起这种危害的同一失效状态而不予动作。
轨道交通领域产品研制阶段技术评审服务
Ø 针对轨道交通领域特点,提供软件研制全生命周期的技术评审咨询服务;
Ø 提供适用于轨道交通领域软件研制全生命周期的检查单;
Ø 参与系统/软件安全性分析设计阶段评审;
Ø 参与软件需求分析阶段评审;
Ø 参与软件设计阶段评审;
Ø 参与软件验证阶段评审;
Ø 参与软件确认阶段评审;
软件测评服务
Ø 针对轨道交通领域特点,提供遵循EN50128标准的测试解决方案,具体包括方法、技术、工具或等价的替代方案
Ø 提供符合EN50128的软件模块测试
Ø 提供符合EN50128的软件集成测试
Ø 提供软件确认测试
Ø 提供软件/硬件集成测试
Ø 对于影响系统安全性的重要模块进行形式化验证服务(依托我所的国家可信嵌入式软件工程技术中心实施)提供符合欧标的全套测试技术文档;
资源租赁服务
Ø 提供面向高安全关键嵌入式软件领域的需求分析、建模环境的
租赁服务;
Ø 提供面向高安全关键嵌入式软件领域的开发平台的租赁服务;
Ø 提供面向高安全关键嵌入式软件领域的设计平台的租赁服务;
Ø 提供面向高安全关键嵌入式软件领域的验证环境的租赁服务。
|