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

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

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