万博1manbetx模型检查™模型分析、需求和测试来评估设计质量和符合标准。它提供了业界公认的检查和指标,确定建模标准和准则违反设计。万博1manbetx高度集成支持软件开发标准包括ISO 26262, - 178 c - 254, IEC 61508、ISO 25119、IEC 62304, MathWorks顾问委员会(MAB)风格指南。万博1manbetx模型检查还支持安全编万博1manbetx码标准如CERT C, CWE, ISO / IEC TS 17961。您可以创建自定义检查符合自己的标准或指导方针,在编辑器中可以确定合规问题。
万博1manbetx模型检查提供了评估指标,如大小和复杂性的地位和质量您的设计。模型试验仪表板合并数据从您的基于需求的测试活动跟踪测试状态。自动模式重构可以取代建模克隆,降低设计的复杂性,并确定可重用的内容。模型切片机工具隔离有问题的行为模型和生成简化模型进行调试。
万博1manbetx支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)和做资格工具包(- 178)。
找到并修复错误
使用编辑时间检查识别错误和解决这些问题,使他们避免了返工。创建自定义的编辑时间检查仿真软件万博1manbetx®、系统作曲家™或Stateflow®以满足您的组织的标准。
基于模型的设计CI / CD自动化
简化和优化采用持续集成和持续交付(CI / CD)工作流的模型万博1manbetxCI / CD自动化仿真软件检查™支持包万博1manbetx万博1manbetx。你可以定义你的CI / CD管道,预先具有资格在桌面上为避免构建失败,詹金斯等与CI系统集成®或Gitlab®和执行增量构建减少构建时间。
跟踪基于需求的测试
监控单元测试工件的状态和质量评估基于需求的测试的完整性和遵守ISO 26262和做- 178 c标准。评估您的代码的状态和质量测试software-in-the-loop(银)和processor-in-the-loop(公益诉讼)测试使用的度量结果SIL代码测试仪表板和公益诉讼的代码测试仪表板。
测量质量,复杂性和可维护性
评估模型的大小、架构和模型的复杂性度量帮助提高可读性,可维护性和可重用性的MATLAB仿真软件,Stateflow工件在您的项目中。万博1manbetx仪表板巩固度量来帮助您监控进展符合ISO 26262等标准,做- 178 c, IEC 61508、IEC 62304,在50128年,和其他标准。
简化和调试复杂的模型
使用模型切片机,强调通过静态和动态相结合的分析函数依赖在模拟基于积极的行为。调试错误,例如基准测试(4:03)或等价测试失败,财产证明反例(33),或整数溢出。
产品资源:
“我们用我们的系统设计模型在仿真软件ARP4754建立稳定、客观需求。万博1manbetx我们节省时间,使用模型作为我们的软件设计模式的基础- 178我们生成的飞行区号为软件重用验证测试验证。”
罗纳德•Blanrue空客直升机