爱斯特尔时事通讯  2008年6月

产品新闻 - SCADE Suite™与SCADE Display™

SCADE Suite 编译器验证工具包加速了高安全性软件的开发与验证过程。SCADE Suite编译器验证工具包能很快验证编译器能否正确地编译由SCADE Suite认证级代码生成器生成的代码。 一旦完成该项验证，就不需要对SCADE所生成的代码进行单元测试了。更多资料…

SCADE Display关注整个开发流程，包括提供对需求的可追溯管理，设计文档自动生成以及集成配置管理。更多资料…

了解更多爱斯特尔 SCADE 产品

免费网上讨论会: 关键性嵌入式软件解决方案

使用SCADE Suite按照DO-178B标准进行军事及高安全性应用软件的开发 – 介绍

日期: 2008.7.15
时间: 美国东部时间上午10:00以及下午2:00

加入我们，了解一下如何使用SCADE Suite按照DO-178B标准进行高安全性应用的开发。 我们将介绍SCADE Suite所提供的形式化设计，验证，实现方式的优势。. 本质上，我们关注于开发人员在应对DO-178BA级认证时所面临的问题，同时，我们也将介绍SCADE Suite是如何帮助开发人员在提升工作效率的同时保证高安全性与可靠性。

申请登陆免费网上讨论会(Free Webinar)!


使用SCADE Display™开发高安全性嵌入式图形显示系统 - 介绍

日期: 2008.7.9
时间: 美国东部时间上午10:00以及下午2:00

加入我们，了解一下如何使用SCADE Display开发高安全性嵌入式图形系统。SCADE Display本身支持OpenGL的高安全性版本OpenGL (SC)，这使得SCADE Display能以高效率开发高质量的应用软件。

申请登陆免费网上讨论会(Free Webinar)!

商业及地方事务

开发高安全性系统经验交流会	6. 5 – 伦敦, 英国
2008年度ARM研讨会2008: 针对于IEC-61508标准的基于SCADE与RealView的工具组	6. 6 - Nagoya, 日本
ARTiSAN技术日："管理复杂建模与实施高安全性系统的经验交流会	6. 17, 18 与7.15, 16 –德国
第一届法德嵌入式研讨会	6.26 – 巴黎, 法国
CDAJ关于SCADE及安全性问题交流会	6. 30 - Yokohama, 日本
航空技术与装备	8.12-15 - Kazan, 俄罗斯
国际陆军国防展	8.20-24 –莫斯科，俄罗斯

打开近期事务列表

SCADE 工业应用

Sukhoi Superjet 100嵌入了由SCADE Suite和SCADE Display生成的代码，于2008年5月19号顺利完成了首次飞行。   更多资料…

了解更多SCADE工业应用

资料下载

方法学手册，白皮书，小册子，技术文档以及SCADE Suite入门都提供下载。

所有可供下载的SCADE资料

SCADE Suite, SCADE Display以及公司的标识都已由爱斯特尔公司注册。