如果您已经拥有本站账号,可以直接登录。
如果您已经拥有本站账号,可以直接登录。
如果您没有本站账号,可以注册。
021-61680661
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标准的要求。