北京麦禾信通科技有限公司

产品与服务
 
产品
 
咨询与服务
产品详情
Verocel
产品详情

Verocel的行业经验
Verocel 成立于1999年11月。作为单独的软件验证服务,Verocel可以提供完整的验证支持、差距分析、帮助增加现有材料以及独立的测试服务。一家主要关注验证需求的公司在其专业领域可以是精益的、高效的和世界一流的,为了成为这样的公司,Verocel通过自动化不断提高效率,通过集成提高质量,并通过集成与自动化降低成本。
Verocel通过担任并隶属于一些委员会和标准机构,一直处于验证问题的前沿。通过参与这些组织,Verocel有助于影响不断变化的安全标准,在官方公布之前,能意识将要到提出的变更,因此可以不断适应以保持符合各种标准和要求。

委员会和研究
Verocel积极参与众多负责航空航天和安全要求未来方向的委员会。

简化认证流程
●2015年12月,美国联邦航空局邀请制造商,监管机构和其他有关方面参加一个委员会,以确定一个非规范的新的合规框架。
SC-205委员会
●开发下一代航空电子认证DO-178C的委员会
●小组成员
●小组主席(面向对象技术)
SC-200委员会
●集成模块化航空电子(IMA)委员会(产生了DO-297文档)
●委员会成员
ARINC 653
●为分区航空电子系统开发软件接口的工作组
●工作组成员
无人机控制段工作组
●无人机系统控制段架构规范委员会
●安全和安保认证小组
SC-190委员会
●澄清DO-178B的委员会(得出DO-248B文档)
●小组主席、小组成员
FAA赞助的研究项目
●作为集成模块化航空电子(IMA)认证领域的公认专家,Verocel也参与了FAA 的研究项目
●逆向工程研究。
●RTOS认证
●组件认证
●IMA/RTOS认证
FAA指南书
●IMA/RTOS认证

参与 FAA 的项目
 FAA 研究项目 – RTOS certification 实时操作系统认证
 FAA 研究项目– Component Integration 组件集成
 FAA 研究项目– IMA/RTOS 认证
 FAA 指导书- IMA/RTOS 认证
---FAA 认可的 Integrated Modular Avionics (IMA)认证专家

                   标准符合性服务
Verocel给期望其软件实现标准遵从的客户提供服务。我们有RTCA/DO-178C、RTCA/DO-178B、ISO 26262、IEC 61508、IEC 62304等标准和指导的经验。我们了解每个客户都有特定的需求,我们独特的方法可覆盖所有行业和应用程序。


Verocel的方法
Verocel公司自1999年成立以来一直专业从事软件验证。我们在软件组件、分区和在安全关键平台中限制运行时间的应用程序的认证中有独特的技术,这些技术使许多客户成功。我们的技术可用于Ada、C、C++、Java及其他高级语言。Verocel可帮助证明新的及现有(传统)软件的符合任何标准要求。

Verocel标准和计划
Verocel对所有项目使用一套标准和计划。这可以让我们应用一个统一的过程来满足RTCA/DO-178、IEC 61508、IEC 62304、EN 50128和ISO 26262的标准要求。

软件开发计划

功能安全管理计划

软件验证计划

软件需求标准

软件质量保证计划

软件设计标准

软件配置管理计划

软件编码标准


认证计划
Verocel为每个客户的项目开发认证计划。这个认证计划(不论是DO-178的软件认证方面的计划(PSAC),还是ISO 26262的安全计划)定义了将用于给定项目的具体目标和活动。这个认证计划将确定所需的确切工具、人员及其他独特项目活动,以保证最终满足标准要求。
这个认证计划将参考其他项目具体计划,如软件测试计划和计划工具资质需求和数据。所有Verocel项目都由自己的工具支持,如Test Harness(自动报告通过/失败结果)、VeroTrace应用程序生命周期管理数据库(存储和链接所有认证记录)和VeroSource及VerOCode覆盖分析工具。当所有认证活动完成,从VeroTrace数据库提取认证记录,并且写入超链接电子映像或DVD ROM。提供客户的这个电子映像交付给标准评估员,如FAA指定工程代表(DERs)或ISO 26262评估员。


Verocel认证数据包
Verocel生成的电子映像或DVD ROM包含以下数据:

认证计划

质量保证数据

需求验证分析

过程计划

设计说明

源代码

需求标准

需求规范

测试程序

设计标准

测试计划

所有生命周期数

编码标准

配置索引

据项的评审记录

测试标准

测试报告

和结果

软件变更历史

安全手册

工具资质文档

问题报告历史

软件跟踪矩阵(超链接)

测试报告

脆弱性分析

软件完成总结

测试覆盖报告



差距分析
Verocel可以帮助客户评估其内部软件活动符合DO-178、ISO 26262、IEC 61508或ISO 62304。差距分析可帮助客户了解他们当前的计划和开发过程怎样符合特定标准的目标。Verocel进行包括计划评估、开发评估及验证评估的综合评估(通常为2-4天)。Verocel完成所需的评估,并且通过其它依据开发团队的经验水平、适当认证标准及安全水平来增强这些。


成功的项目

图片1.png飞行管理系统


几十万行代码应用软件的DO-178 B级认证。包括验证卡尔曼滤波器设计和复杂导航与性能算法。


图片2.png分区操作系统
集成的模块化航空电子操作系统DO-178 A级认证。这个操作系统包含70000行代码,并且目前使用在多个大型商用飞机上,包括波音787、747及767、空客A350及A400M。


图片3.png自动列车制动系统

自动列车制动系统EN 50128 SIL 3标准认证。