News
發(fā)布時(shí)間：2019-05-27 作者：上海工業(yè)控制安全創(chuàng)新科技有限公司 點(diǎn)擊次數(shù)：次
5月21日，圖靈獎(jiǎng)得主Joseph Sifakis教授來訪上?？匕?，對(duì)平臺(tái)公司的工具鏈產(chǎn)品研發(fā)進(jìn)行指導(dǎo)。Sifakis教授就嵌入式控制軟件的需求建模與分析方法，以及軟件工具產(chǎn)品的工業(yè)應(yīng)用等問題與平臺(tái)公司展開討論。
Sifakis教授指導(dǎo)平臺(tái)研發(fā)工作
Sifakis教授認(rèn)為，為了確保軟件的功能安全與可靠，必須采用足夠充分的數(shù)學(xué)方法在源頭對(duì)軟件的行為進(jìn)行精確描述和驗(yàn)證，并通過良好的工程方法和成熟工具將其應(yīng)用于具體領(lǐng)域。上?？匕驳难邪l(fā)團(tuán)隊(duì)也認(rèn)同這一理念，并向Sifakis教授系統(tǒng)地介紹了多年來在航空航天、軌道交通及工業(yè)控制領(lǐng)域的研發(fā)和產(chǎn)業(yè)化應(yīng)用成果。
Sifakis教授對(duì)上?？匕苍谲浖_建模和在航空航天及軌道交通領(lǐng)域長(zhǎng)期積累的理論與實(shí)踐成果表示了濃厚興趣并予以高度評(píng)價(jià)，同時(shí)確立了雙方深入合作的具體問題。通過建立雙向聯(lián)絡(luò)機(jī)制，Sifakis教授將進(jìn)一步指導(dǎo)上?？匕策M(jìn)行安全攸關(guān)領(lǐng)域軟件分析方法和軟件工具產(chǎn)品的研發(fā)，為平臺(tái)公司在工業(yè)控制軟件功能安全領(lǐng)域拓展更大的空間，形成強(qiáng)大的產(chǎn)業(yè)輻射效應(yīng)。
Joseph Sifakis教授是國(guó)際軟件工程界和可信軟件領(lǐng)域的頂尖科學(xué)家之一，也是經(jīng)典的模型檢查方法的奠基人之一，并憑借在“將模型檢查發(fā)展為被硬件和軟件業(yè)中所廣泛采納的高效驗(yàn)證技術(shù)”上的貢獻(xiàn)而獲得 2007年度的圖靈獎(jiǎng)。今后將對(duì)平臺(tái)公司的工具鏈產(chǎn)品研發(fā)提出規(guī)劃意見，并就具體相關(guān)項(xiàng)目進(jìn)行技術(shù)咨詢與指導(dǎo)。
