当前位置: 首页 > 产品中心

产品中心

产品中心

基于模型的高安全嵌入式工具— SCADE软件

产品概述

SCADE产品线由模块构成SCADE Suite SCADE Display SCADE SystemSCADE Lifecycle


SCADE Suite主要用于控制逻辑的设计验证自动生成标准C语言或Ada语言源代码。SCADE Suite基于形式化语言和严谨的数学理论研制人员设计高安全性的软件提供了充分的支持。SCADE Suite用于诸如飞机飞行控制系统列车的信号控制系统核反应堆保护系统等高安全性系统的开发。


SCADE Display主要用于人机交互界面的开发。基于图形的方式设计界面,仿真验证自动生成支持SGLOpenGL代码只要目标平台支持OpenGL驱动,生成的代码都可以直接在该平台运行。SCADE Display用于诸如飞机的座舱显示系统、无人机的地面列车DMI系统的开发。


SCADE System主要用于系统设计一个基于SysML系统建模工具。提供对系统进行建模和验证功能,能SCADE SuiteSCADE Display进行无缝对接。因此建议用户使用SCADE System系统设计,使用SCADE SuiteSCADE Display做软件设计SCADE System符合相关行业系统工程标准(如ARP 4754A IEC 61508 (part 1) EN 50126 ISO 26262-2设计思想。


SCADE Lifecycle主要用于系统软件生命周期数据生成和维护,研制流程管理认证支持包含的模块有全生命周期数据追踪管理、设计文档自动生成自动化测试环境、Dashboard认证计划

产品功能

©2015 南京创联智软信息科技有限公司 版权所有 南京网站建设:南京同网