A User-Friendly Verification Approach for IEC 61131-3 PLC Programs

by Jiawen Xiong, Gang Zhu, Yanhong Huang, Jianqi Shi
Published 2020-03-01

A Performance Analysis Framework of Time-Triggered Ethernet Using Real-Time Calculus

by Xiuli Yang, Yanhong Huang, Jianqi Shi, Zongyu Cao
Published 2020-07-01

An optimal solution for software testing case generation based on particle swarm optimization

by Jianqi Shi, Yanhong Huang, Ang Li, Fangda Cai
Published 2018-06-01

A Decomposition-Based Development Method for Industrial Control Systems

by Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang
Published 2019-01-01

Formal Analysis and Verification of Airborne Software Based on DO-333

by Zongyu Cao, Wanyou Lv, Yanhong Huang, Jianqi Shi, Qin Li
Published 2020-02-01

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus

by Peng Zhang, Yu Liu, Jianqi Shi, Yanhong Huang, Yongxin Zhao
Published 2019-01-01

An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning

by Zhihui Li, Hui Zhao, Jianqi Shi, Yanhong Huang, Jiawen Xiong
Published 2019-01-01

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification

by Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi
Published 2019-01-01