愛斯特爾帶來基于新理論的高安全開發(fā)環(huán)境

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

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