資工系專題演講(Lecture)
日期(date)/時間(time)：115年8月14日(五/Fri)14:00~15:00
地點(location)：電綜大樓607教室
演講者(speaker)：Jialong Li (李家隆) 助理教授
服務單位(job)：日本 早稻田大學 高等研究所
講題(topic)：不確定性下之軟體工程：建構具備可靠性、適應性與人性化之軟體系統
摘要(summary)：
隨著內含人工智慧的網宇實體系統（CPS）以及由大型語言模型（LLM）驅動的代理（Agents）與社會基礎設施深度融合，現代軟體工程已不再只是基於確定性邏輯與固定流程的程式開發，而是必須處理現實世界中前所未有的「不確定性」。具體而言，這些不確定性源自於(1)系統內部機率模型的黑盒行為、(2)外部開放環境的動態變化，以及(3)社會與使用者需求的多樣性。這些不確定性使得軟體工程中經典的「本質性困難」（如複雜度、一致性、可變性與不可見性）被大幅放大，大幅增加了軟體系統設計、驗證與維護的難度。
為應對上述挑戰，本次演講將分享講者的核心研究願景——「SHARE」（Software with Humanity, Adaptability, and Reliability），探討在不確定性的時代下，如何建構下一代的軟體系統。演講將聚焦於以下三大主軸，並分別對應上述三種不確定性：
（1）可靠性 (Reliability) 的品質保證：針對具備黑盒行為與高度不確定性的系統行為，提出創新之軟體測試與品質保證框架。包含運用 LLM 與領域知識進行語意感知的軟體測試，以及針對網宇實體系統（CPS）的場景生成與缺陷驗證。
（2）適應性 (Adaptability) 的動態同步：探討系統如何在執行時期應對外部開放環境的劇烈變動。將分享基於系統需求驅動，以及基於最佳化演算法的多智慧體安全控制、彈性協作，以確保系統在環境擾動下的持續運作與安全性。
（3）人性化 (Humanity) 的軟體設計：為解決使用者能力、價值觀與社會期待等不確定因素，強調軟體系統設計需具備信任與包容性。將展示在自動駕駛情境中，如何透過設計人機介面來提升使用者的信任感知；同時探討無障礙設計在軟體工程實踐中的具體應用。