FORGE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Mon 28 Apr 2025 16:00 - 16:12 at 207 - FORGE2025 Tutorial & Session5: FM Evaluation Chair(s): Xin Xia

Given their mission-critical nature, SCADA systems in Cyber-Physical Systems (CPS) are highly susceptible to cyber-attacks. While abnormal system states can be detected through analyzing streaming data, accurately identifying the precise location of these attacks remains challenging due to the compensatory mechanisms inherent in CPS. In industrial control, the development of high-performance controllers that require minimal data and incur low technical debt is especially appealing. Recently, foundation models have demonstrated their effectiveness in solving various problems with few or no demonstrations, leveraging the rich prior knowledge obtained through pre-training on Internet-scale datasets. Most of these models are based on the Transformer architecture, originally designed for natural language processing (NLP) tasks. However, Transformer-based models struggle to fully capture the spatial correlations embedded in industrial software systems. Previous approaches using Graph Convolution Networks (GCNs) have largely focused on learning static graph structures of CPSs, overlooking the potential variations in dynamic, short-term spatial correlations during the mechanical processes. This paper presents a novel approach to capturing hidden spatial-temporal correlations in large-scale industrial data, offering a fresh perspective on building industrial pre-trained foundation models. Specifically, we introduce a cyber-attack detection and localization framework that incorporates Multi-scale Graph Structure Learning (MGSL) within a multi-stream sequence reconstruction architecture. The approach combines Long Short-Term Memory (LSTM) for temporal information extraction with GCNs to capture spatial correlations across multiple scales, including long-term static and short-term dynamic relationships. Additionally, a self-learning mechanism is employed to facilitate the discovery of long-term static graph structures, while feature similarities are used to identify short-term dynamic structures. The proposed MGSL framework is validated using three publicly available real-world datasets: Secure Water Treatment (SWaT A4&A5) and the BATtle of Attack Detection Algorithm (BATADAL). Experimental results demonstrate the effectiveness of MGSL, outperforming state-of-the-art methods by successfully detecting cyber-attacks, pinpointing impacted areas, and analyzing the target points of detected attacks.

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
FORGE2025 Tutorial & Session5: FM EvaluationKeynotes / Tutorials / Research Papers at 207
Chair(s): Xin Xia Huawei
16:00
12m
Long-paper
Cyber-Attack Detection and Localization for SCADA system of CPSs
Research Papers
Dan Li Sun Yat-sen University, Junnan Tang Sun Yat-Sen University, Shunyu Wu Sun Yat-Sen University, Zibin Zheng Sun Yat-sen University, See-Kiong Ng National University of Singapore
16:12
12m
Long-paper
A Comprehensive Study of Bug Characteristics on Foundation Language Models
Research Papers
Junxiao Han Hangzhou City University, Guanqi Wang Zhejiang University, Jiakun Liu Singapore Management University, Lingfeng Bao Zhejiang University, Xing Hu Zhejiang University, Jinling Wei Hangzhou City University, Shuiguang Deng Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies
16:24
12m
Long-paper
Testing Refactoring Engine via Historical Bug Report driven LLM
Research Papers
Haibo Wang Concordia University, Zhuolin Xu Concordia University, Shin Hwei Tan Concordia University
Pre-print
16:36
45m
Tutorial
Beyond Code Generation: Evaluating and Improving LLMs for Code Intelligence
Tutorials
Fatemeh Hendijani Fard Department of Computer Science, Mathematics, Physics and Statistics, University of British Columbia, Okanagan Campus
17:21
9m
Keynote
Industry Keynote: Enhancing Software Engineering with Large Language Models: Insights, Challenges, and Future Directions
Keynotes
Dong Qiu Waterloo Research Center, Huawei Canada
:
:
:
: