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