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

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

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