爱斯特尔技术公司推出了SCADE6.1－针对高安全级软件开发的集成开放平台
针对高安全级软件系统的基于模型的开发环境能够增强开发人员的工作效率
Elancourt, 法国 波士顿, 马萨诸塞州－2009.1.8
爱斯特尔技术公司宣布推出SCADE® 6.1，以进一步确立在高安全级嵌入式系统方面基于模型开发的地位。SCADE 6.1增强了基于模型的开发效率，增加了新的验证手段，提供了更多的工具集成。 对于爱斯特尔公司的SCADE产品家族中的 SCADE Suite™与SCADE Display™，都进行了功能的增强。
爱斯特尔技术公司总裁兼CEO Eric Bantegnie说， 的推出正是为了满足我们客户在更加灵活的设计，对性能的可见性，更有效率的共享等方面的需求。 SCADE 6.1对于巩固我们在高安全性软件基于模型开发方面的领导地位。
基于模型的开发方法相比传统的手工方法而言能够帮助高安全性系统的开发人员提高超过30％的效率。而且，将基于模型的设计与形式化验证与认证级代码生成器结合在一起，能够确保最终产品达到诸如DO-178B, EN 50128，以及IEC 61508标准的要求。SCADE Suite 6.1建立在基于模型的设计方法与认证级代码生成器基础之上，增加了形式化判定图，增强了SCADE模型比较功能以及基于模型配置管理功能。随着这些改进，SCADE Suite的使用人员能够更快地描述应用中的判定逻辑模块。 从协同合作的角度而言，开发人员能够更加容易地进行图形级设计模型比较，并进行用户自定义的配置管理。这种图形上的灵活性促进了开发人员的设计共享，协同合作。
就验证而言，SCADE 6.1进行了许多重要的改进，增加了验证方法，最终缩短了软件的验证时间。SCADE Suite 6.1 提供了SCADE Suite LabVIEW™桥接器，使得SCADE模型能与LabVIEW提供的硬件（传感器，触发器）环境集成在一起，完成快速原型开发。除此之外，SCADE 6.1还提供了新的验证工具，SCADE Suite Timing Verifier™ 与 SCADE Suite Stack Verifier™ ，这两个工具分别来自于ABSINT GmBH's aiT以及StackAnalyzer产品。这些功能帮助开发人员清楚地了解系统的实时性能，即在模型级获取对应的最差运行时间以及堆栈使用情况分析。对于认证过程，SCADE 6.1除了提供 EN 50128和IEC 61508认证工具包，还提供 DO-178B认证工具包.
SCADE 6.1同时也拓展了它的工具集成，目前可以为Eclipse™提供基于Java™的应用开发接口。 通过将SCADE封装成一个Eclipse插件，可以使得SCADE Suite 能在Eclipse环境内与其他工具进行连接。
嵌入式图形显示开发人员能够从SCADE Display 6.1功能进一步增强中受益。总体上来说，SCADE Display 6.1为高安全性嵌入式图形显示开发人员提供更为强大的建模与开发能力。其中最为重大的一项改进就是VAPS®6.x导入器，这能帮助用户将大量VAPS设计导入到SCADE Display开发环境中去。此外，SCADE Display 6.1增强了字体管理与透明度设置功能 (alpha-blending)。SCADE Display 6.1 对所有的图形元素（包括位图）都支持256种不同的透明度等级，透明度等级可通过alpha通道进行调整。新的字体管理功能有助于多国语言显示问题的解决，支持的字体包括Unicode, Cyrillic, Chinese, Japanese, Russian, 和 Korean等等。SCADE Display 6.1也支持导入TrueType® 与 OpenType® 字体。字体还可以通过编辑进行改变。再者，通过SCADE Display KCG自动代码生成器，开发人员能够直接在嵌入式目标平台应用这些字体。SCADE Display 6.1拥有高级的图形库OGLX™(SCADE Display的OpenGL扩展版本)和分层的体系结构，这有助于用它来进行2D/3D应用开发，还能集成其它OpenGL 2D/3D图形代码，比如3D地形图，3D对象，数字地图等等。
随着SCADE 6.1的顺利推出，SCADE Suite与SCADE Display现在已经能够紧密地集成在一起，为嵌入式控制应用与嵌入式图形显示提供了独一无二的联合编辑，联合仿真，联合代码生成的集成开发环境。这一集成开发环境大大提高了航空与国防,, 轨道交通,, 核能仪控，工业等领域开发人员的工作效率。
产品应用环境
SCADE 6.1可在Windows XP以及Windows Vista平台上运行。
关于爱斯特尔公司的SCADE产品
爱斯特尔公司的SCADE® 产品系列为高安全性嵌入式软件应用提供了一个集成的设计开发环境。其中的核心产品 SCADE Suite™和SCADE Display™ 提供了图形化的设计界面，通过仿真与形式化的方法进行验证，以及代码生成。这些产品中也都包含了需求管理，配置管理，自动文档生成等功能，大大减少了认证时间。
SCADE Suite是先进的基于模型开发环境，针对于高安全性嵌入式领域：
- 通过了军用与航空航天领域的DO-178BA级认证
- 在重型机械与能源领域通过了TÜV的IEC 61508SIL 3级认证
- 在轨道交通领域通过了TÜV的EN 50128SIL 3/4级的认证
- 在核能领域符合IEC 60880
SCADE Display为高安全性嵌入式显示系统提供了一个领先的嵌入式图形设计开发环境，可应用于航空航天，国防，工业，能源，医疗与轨道交通行业领域。SCADE Display通过了军用与航空航天领域的DO-178B A级认证。
关于爱斯特尔技术公司
爱斯特尔技术公司是为高安全性嵌入式系统提供基于模型的设计和验证工具的世界级知名厂商。
爱斯特尔技术是一家股份有限公司，总部设在法国的Elancourt，以及美国加利福尼亚州的Mountain View，办事处设在德国，英国和中国。
更多信息，敬请访问爱斯特尔技术公司的网站www.esterel-technologies.com.
联系人:
Kara Gremillion
电话 : (781) 762-4689
邮箱 : kara.gremillion@esterel-technologies.com
###
SCADE 是注册商标，SCADE Suite 与 SCADE Display是爱斯特尔公司的商标。
Eclipse - Eclipse 是Eclipse。
Java - Java 是Sun Microsystems公司的商标。
LabVIEW - LabVIEW是国家仪器公司的商标。
TrueType – TrueType是苹果电脑公司的商标。
OpenType – OpenType微软公司的商标
VAPS – VAPS是Presagis公司的商标
所有商标都为他们的所有者所专有。
⇑
RSS