立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项注册新会员

  • 登录名: *  
  • 登录密码: *
  • 重复密码: *  
  • 姓名: *  
  • 公司名称: *  
  • 职务:
  • 联系电话: *  
  • 电子邮件: *  
  • 验证码: *  

立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项找回密码

  • 注册邮箱:

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

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

安全关键软件集成研制环境ASIDE

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

SCADE高安全性应用开发环境

您的位置: 首页 > 极速赛车开奖直播网 > SCADE高安全性应用开发环境

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为航空电子设备显示系统研制