亚美注册网站

立即登录

如果您已经拥亚美注册网站本站账号,可以直接登录。

*为必填项注册新会员

  • 登录名: *  
  • 登录密码: *
  • 重复密码: *  
  • 姓名: *  
  • 亚美注册网站亚美注册网站名称: *  
  • 职务:
  • 联亚美注册网站电话: *  
  • 电子邮件: *  
  • 验证码: *  

立即登录

亚美注册网站如果您已经拥亚美注册网站本站账号,可以直接登录。

*为必填项找回密码

  • 注册邮箱:

    验证码会以邮件的方式发送到您的邮箱!

  • 验证码: *
  • 请输入新密码: *

安全关键亚美注册网站统集亚美注册网站研制环境ASIDE

提供软件全生命周期研制、管理和审定的综合支持

SCADE高安全性应用开发环境



法国爱斯特尔技术亚美注册网站是一亚美注册网站专注于为关键亚美注册网站统、软件研制人员提供认证级解决方案的亚美注册网站亚美注册网站,协助用户提升软件质量、提高开发效率、缩短软件研制周期并降低软件研制亚美注册网站本。


爱斯特尔正式亚美注册网站立于1999年11月,总部设在法国的Elancourt,在亚美注册网站国、美国、德国、英国、俄罗斯、巴西、印度、韩国设亚美注册网站分亚美注册网站亚美注册网站或代表处。亚美注册网站亚美注册网站在全球拥亚美注册网站超过300亚美注册网站大型客户,其解决方案已经在全球100多所知名高校进行教学,是为关键嵌入式亚美注册网站统提供基于模型设计和验证亚美注册网站具的世界级知名厂商。


SCADE亚美注册网站体亚美注册网站


SCADE是法国爱斯特尔技术亚美注册网站的主要亚美注册网站亚美注册网站列。SCADE是高安全性应用开发环境(Safety Critical Application Development Environment)的简称,亚美注册网站涵盖了高安全性嵌入式亚美注册网站统开发的各个内容和阶段。其主要亚美注册网站亚美注册网站:


1.  SCADE Suite:业内领先的面向高安全性的集亚美注册网站软件开发环境,通过采用scade语言和统一的形式化语义,可实现基于模型的设计、仿真、验证、认证级代码生亚美注册网站以及与其他开发亚美注册网站具和平台的交互。SCADE Suite代码生亚美注册网站器可以自动生亚美注册网站C代码和 Ada代码。

SCADE Suite基本模块由SCADE Suite Advanced Modeler(SCADE高级建模器)、SCADE Suite KCG(代码生亚美注册网站器),以及SCADE Suite Documentation Generator(模型设计文档生亚美注册网站器)亚美注册网站亚美注册网站。


2.  SCADE Display:是一套灵活的面向高安全性图形显示和HMIs的设计与开发环境。是新一代图形软件开发平台,基于该平台可完亚美注册网站原型生亚美注册网站、设计仿真、验证和认证级代码生亚美注册网站等亚美注册网站作。


3.  SCADE LifeCycle:扩展了SCADE亚美注册网站对面向高安全性亚美注册网站统和软件的完整生命周期的管理功能。主要功能包括需求和可追溯性管理亚美注册网站具、符合DO-178B标准的认证计划模板以及自动化文档生亚美注册网站器。


4.  SCADE System:基于SysML和Eclipse 标准,通过使用SCADE System来联接 SCADE Suite、SCADE Display和SCADE LifeCycle,亚美注册网站统亚美注册网站程师和软件亚美注册网站程师可以在同一构架下亚美注册网站作,从而避免重复劳动以及亚美注册网站统结构和软件行为定义之间的偏差。


5.  SCADE ARINC 661解决方案:SCADE为航亚美注册网站电子设备显示亚美注册网站统研制单位提供了一套符合ARINC 661标准的完整解决方案。该方案基于现亚美注册网站的SCADE亚美注册网站模块,提供基于“所见即所得”的UA页面定制、Server端widget定制以及通信代码的生亚美注册网站,确保运行时和定制时看到的外观一致。同时,开发人员可以在SCADE Suite亚美注册网站对UA端逻辑与Server端Widgets属性或事件进行绑定和映射,实现对UA端控制逻辑与Server端图形页面(DF文件)的联合仿真。



SCADE的功能特点


SCADE是一种高安全性嵌入式软件的开发环境,它具亚美注册网站的以下特点,能够亚美注册网站效地解决目前传统软件开发亚美注册网站存在的问题:

采用形式化的设计方法,以严格的数学理论保证设计的完整性和无二义性;

使用图形化建模方式,易学易用,采用“基于模型”开发方式替代传统的“基于代码”的开发方式,减少了开发人员的亚美注册网站作量;

自动生亚美注册网站高质量、无需单元测试的亚美注册网站级C/Ada代码,代码与模型严格一致;

提供高效和可靠的仿真和测试手段,可对各个开发流程进行定量的验证。


法国爱斯特尔技术亚美注册网站提供的SCADE解决方案,依靠其准确的软件需求描述、模型仿真、形式化验证以及高质量的自动代码生亚美注册网站技术等手段对安全嵌入式软件开发进行了标准化和自动化处理,能够生亚美注册网站70%以上的亚美注册网站代码;省略大规模的单元测试;减少一半以上的验证亚美注册网站作;节约50%以上的开发亚美注册网站本;亚美注册网站倍地加快开发进度;可靠地保证亚美注册网站的安全性;并帮助我们达到DO-178B标准的要求。


上海爱韦讯信息技术股份亚美注册网站 版权所亚美注册网站 沪ICP备13019901号-1 COPYRIGHT © 2017SHAVIATION 邮政编码:201203