3月15日，公派留學回國教師、伟德国际1946bv官网周航老師在将軍路校區1号樓為學院師生做了題為“Verifying the Safety of Aviation Software Based on Extended Petri Nets”的學術報告。報告主要介紹了周航老師在美國南佛羅裡達大學訪問期間所開展的相關研究工作。

現代飛機的各項功能越來越依賴軟件系統進行控制，航空軟件構件間安全性等級依賴關系錯綜複雜，不安全的軟件構建會導緻整體系統安全等級的降低。然而，目前的驗證方法不能完全滿足航空軟件安全性驗證要求。針對此問題，報告分析了機載軟件安全标準，在此基礎上介紹了一種适于描述和驗證機載軟件安全一緻性的方法：通過構建SysML到Petri網的轉換規則，将SysML塊圖轉化為Petri網；利用可達樹圖分析系統安全狀況的所有傳遞路徑和所有的安全狀态組合，在此基礎上講解了安全性驗證算法方法實現驗證軟件構件安全等級設計是否符合适航标準。最後，通過具體事例說明方法的可行性，同時通過對比分析了基于Petri網的安全驗證方法優勢。并通過學生的提問和讨論，讓同學們對形式化驗證方法的理論和對航空運輸實際應用有了更深一步的理解。

周航老師作為國家公派訪問學者，于2017年12月至2018年12月訪問美國南佛羅裡達大學，合作教師Yu Zhang教授，現任教于南佛羅裡達大學土木和環境工程系，主要研究方向為交通運輸規劃與建模、機場運行管理等。Yu Zhang教授曾承擔多項美國聯邦航空局、美國自然科學基金和運輸研究學會項目，中美和美歐空管國際合作項目等，其研究工作曾經獲得美國TRB、美國智能交通系統學會的獎勵，研究成果發表在Journal of the Transportation Research Board等國際重要期刊。此次訪問對我校交通信息工程及控制學科和交通運輸規劃與管理學科在航空軟件安全等方面的研究發展具有一定的促進作用，并增進了我校與美國南佛羅裡達大學之間在科研、人才培養方面的合作。

報告人簡介：周航，博士，講師，碩士生導師。主要研究方向為機場運行與管理、民航信息系統、适航安全認證。主持和參與國家自然科學基金、軍委科技委、中國博士後科學基金、江蘇省自然科學基金等國家、省部級課題10餘項，在《The Imaging Science Journal》、《Proceedings of the Institution of Civil Engineers – Transport》、《軟件學報》、《計算機研究與發展》等SCI、EI及國内重要學術期刊發表學術論文30餘篇。