400-878-1895px51870017
葩星1752902151 淘宝旺旺passiontechinc
sales@51LM.cn 13296027252
  加载中,请稍候...
浏览历史

 


SCADE_Suite_概述

关键词: SCADE,Suite,概述


简介:SCADE Suite®产品是针对高安全性嵌入式软件的基于模型的开发环境SCADE Suite是高安全性嵌入式软件的开发标准,其应用领域涵盖航空、国防、轨道交通、能源和重工业。专为最高等级的质量和安全需求而设计随着SCADE语言和统一的形式化符号的完美集成,SCADE Suite为高安全应用工具提供了从需求管理,基于...
品 牌
产 地
型 号 PXF0114
折 扣
咨询专家:

产品说明:
SCADE Suite®产品是针对高安全性嵌入式软件的基于模型的开发环境
SCADE Suite是高安全性嵌入式软件的开发标准,其应用领域涵盖航空、国防、轨道交通、能源和重工业。专为最高等级的质量和安全需求而设计
随着SCADE语言和统一的形式化符号的完美集成,SCADE Suite为高安全应用工具提供了从需求管理,基于模型设计,模拟仿真,认证,有效代码生成,到和其他工具、平台协作开发的独一无二的集成设计环境。
SCADE 已通过了下面的各项国际安全标准:
Ø        通过了军用和航空航天的DO-178B认证,达到A级水平。
Ø        通过了重工业和能源TÜV的IEC 61508认证,达到SIL 3。
Ø        通过了轨道交通TÜV的EN 50128认证,达到SIL 3/4。
Ø        通过了与核能兼容的IEC 60880认证。
不但提高了工作效率,还改善了产品质量
SCADE Suite大幅度减少了高安全嵌入式软件项目的成本。
SCADE 使用者可减少花费在报告编写和验证上的成本:
Ø        每人每天平均可以完成10行可执行代码的开发(包括验证),而手工开发,每人每天只能完成5行代码
Ø        软件认证成本减少50%
Ø        编码,走查和测试代码的成本减少70%到90%
Ø        软件更新周期缩短65%到75%
Ø        自动生成模型级测试和覆盖率分析
Ø        消除代码错误和省略了低层测试
Ø        在整个生命周期实现快速安全的设计变更,同时减少70%到90%的测试成本
安全构造
Ø        正确的设计建模,图形化的调试和高效仿真
Ø        设计验证™ - 形式化验证
Ø        生成安全、高效的小型代码
Ø        项目管理和文档生成
                                 
参数资料:
SCADE_Suite_概述SCADE,Suite,概述
该文章系原厂商文章翻译,不通之处请参考原文
价格列表: SCADE_Suite_概述SCADE,Suite,概述
葩星订货号 订货号 产品名称 报价 品牌  
相关产品: SCADE_Suite_概述SCADE,Suite,概述
  咨询历史: