愛斯特爾帶來基于新理論的高安全開發環境

　法國愛斯特爾技術有限公司本次展示的重點產品是SCADE（Safety-Critical Application Development Environment），它是一個高安全的應用開發環境。該公司王云明先生介紹說：“我不僅把SCADE帶到中國，更重要的是把SCADE背后的先進軟件開發方法學帶回了中國。”

　　SCADE區別于其它類似產品的主要特點是，它基于一個嚴格的數學理論：同步編程理論。該數學理論賦予了SCADE獨有特色：通過對需求的嚴格建模，在開發的早期就消除了需求的二義性；它使得軟件工程自動化成為可能，可以自動地檢查需求的完整性、一致性、安全性，還可以自動地生成源程序和設計文檔；同時，得益于這個數學理論，它通過了DO－178B，IEC61508，EN50128等高安全國際標準的質量認證。現在，中國的航空、航天、核電、以及軌道交通等領域已開始成功應用該理論和產品，使研發時間縮短了50%左右。王先生更計劃在國內高校開設同步編程理論課程，使更多的國內同行了解、掌握這個先進理論。