立即登录
如果您已经拥有本站账号，可以直接登录。
立即登录
如果您已经拥有本站账号，可以直接登录。
*为必填项找回密码
立即注册
如果您没有本站账号，可以注册。
*为必填项登录
安全关键系统集成研制环境ASIDE
提供软件全生命周期研制、管理和审定的综合支持
产品中心
联系我们
021-61680661
VerOLink 控制耦合defi概念股票
VerOLink 控制耦合defi概念股票
▌概要介绍
DO-178B/C的表A-7目标8要求进行控制耦合分析。VerOLink能够通过确保连接图的一致
性 ， 来表明每个软件功能都按预期被调用 。 VerOLink 已通过多个标准的鉴定 ， 包括
DO-330、IEC 61508和ISO 26262。
▌主要功能
控制耦合分析了多个独立编译的目标文件是否被正确链接成为一个单独的可执行镜像。VerOLink能够自动实现代码集成，并分析可执行镜像，找到所有函数、函数调用及其在目标文件中的位置，验证链接器在组合目标文件时，是否在可执行镜像中建立了正确的函数调用关系。使用VerOLink能够帮助验证人员确定软件功能能够按照预期触发，避免链接器错误。
▌工具鉴定
VerOLink 能够提供符合DO-178C/DO-330 标准TQL-5级别的工具鉴定认证包，可支持DO-178B/C 标准A、B、C级别的软件验证。
defi下载地址 版权所有 沪ICP备13019901号-1
COPYRIGHT (c) 2017SHAVIATION
邮政编码：201203