爱斯特尔带来基于新理论的高安全开发环境

　法国爱斯特尔技术有限公司本次展示的重点产品是SCADE（Safety-Critical Application Development Environment），它是一个高安全的应用开发环境。该公司王云明先生介绍说：“我不仅把SCADE带到中国，更重要的是把SCADE背后的先进软件开发方法学带回了中国。”

　　SCADE区别于其它类似产品的主要特点是，它基于一个严格的数学理论：同步编程理论。该数学理论赋予了SCADE独有特色：通过对需求的严格建模，在开发的早期就消除了需求的二义性；它使得软件工程自动化成为可能，可以自动地检查需求的完整性、一致性、安全性，还可以自动地生成源程序和设计文档；同时，得益于这个数学理论，它通过了DO－178B，IEC61508，EN50128等高安全国际标准的质量认证。现在，中国的航空、航天、核电、以及轨道交通等领域已开始成功应用该理论和产品，使研发时间缩短了50%左右。王先生更计划在国内高校开设同步编程理论课程，使更多的国内同行了解、掌握这个先进理论。