标签：des http io os 使用 sp on 代码 html
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产品代理商。葩星科技成立于2003年。公司主业方向"实时应用，控制系统应用"相关的仿真测试试验台架，和相关的咨询开发项目。公司可以完成信号调理，信号通信接口，硬件驱动，信息网络系统，机械台架等各方面的设计和开发以及集成。
标签：des http io os 使用 sp on 代码 html
原文地址：http://www.cnblogs.com/lvdongjie/p/4036579.html
