ASE 2025 (series) / New Ideas and Emerging Results /
Fault Injection for Simulink-based CPS Models: Insights and Future Directions
Ensuring the safety and reliability of Cyber-Physical Systems (CPS) is critical, particularly in safety-critical domains such as automotive and aerospace. Fault Injection (FI) is a well-established technique for testing system resilience, but current FI tools often face challenges when applied to Simulink-based CPS models. In this paper, we analyze the shortcomings of existing FI methods, and reflect on the key challenges of FI for Simulink-based CPS models. By offering insights into these challenges and proposing research pathways, we aim to inspire further advances in FI methodologies, enabling more robust testing of CPS in real-world applications.
Mon 17 NovDisplayed time zone: Seoul change
Mon 17 Nov
Displayed time zone: Seoul change
16:00 - 17:00 | |||
16:00 10mTalk | A Characterization Study of Bugs in LLM Agent Workflow Orchestration Frameworks Industry Showcase Ziluo Xue Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Shenao Wang Huazhong University of Science and Technology, Kai Chen Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
16:10 10mTalk | Debugging the Undebuggable: Why Multi-Fault Programs Break Debugging and Repair Tools NIER Omar I. Al-Bataineh Gran Sasso Science Institute (GSSI) | ||
16:20 10mTalk | ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service Systems Industry Showcase Junsong Pu School of Software Engineering, Sun Yat-sen University, Yichen LI ByteDance, Zhuangbin Chen Sun Yat-sen University, Jinyang Liu ByteDance, Zhihan Jiang The Chinese University of Hong Kong, Jianjun Chen Bytedance, Rui Shi Bytedance, Zibin Zheng Sun Yat-sen University, Tieying Zhang ByteDance | ||
16:30 10mTalk | Fault Injection for Simulink-based CPS Models: Insights and Future Directions NIER Drishti Yadav University of Luxembourg, Luxembourg, Claudio Mandrioli University of Luxembourg, Ezio Bartocci TU Wien, Domenico Bianculli University of Luxembourg | ||
16:40 10mTalk | How Does ChatGPT Make Assumptions When Creating Erroneous Programs? NIER | ||
16:50 10mTalk | Exploring Autonomous Agents: A Closer Look at Why They Fail When Completing Tasks NIER Ruofan Lu The Chinese University of Hong Kong, Yichen LI ByteDance, Yintong Huo Singapore Management University, Singapore | ||