Fault localization for intelligent automation systems
Paper in proceeding, 2023

Conventional programming of explicit control code is unsuitable for flexible and collaborative production systems. A model-based approach, which focuses on defining capabilities of a system, instead of specifying how to achieve them, provides an alternative for creating complex, scalable, and reliable systems. This is accomplished through the use of behavior models, and tools such as planning, synthesis, verification, and testing. However, developing such models is not without challenges, as it is possible to overlook or incorrectly specify potential behavior and constraints. This can result in unsolvable planning problems or plans that are invalid for other reasons. When plans are unobtainable, developers receive no feedback, which makes model adjustments a difficult and time-intensive task. This paper recognizes these challenges as crucial barriers for adopting model-based development of intelligent automation systems. To facilitate the development of such systems, an approach for detecting and localizing faults in behavior models is presented. Drawing inspiration from software fault localization techniques, the proposed method involves identifying suspicious resources, variables, and operations. The effectiveness of this approach is illustrated with an example use case.

Author

Endre Erös

Chalmers, Electrical Engineering, Systems and control

Kristofer Bengtsson

Volvo Group

Knut Åkesson

Chalmers, Electrical Engineering, Systems and control

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

19460740 (ISSN) 19460759 (eISSN)

Vol. 2023-September
9798350339918 (ISBN)

28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023
Sinaia, Romania,

Systematic testing of cyber-physical systems (SyTeC)

Swedish Research Council (VR) (2016-06204), 2017-01-01 -- 2022-12-31.

Subject Categories

Robotics

Computer Systems

DOI

10.1109/ETFA54631.2023.10275551

More information

Latest update

11/16/2023