A Light-Weight Fault Injection Approach to Test Automated Production System PLC Software in Industrial Practice

Rösch, Susanne; Vogel‐Heuser, Birgit

doi:10.1016/j.conengprac.2016.09.012

Cited by 22 publications

(5 citation statements)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[39]). Timing diagrams have also been considered as a major graphical language as utilised in [7] or [40] exemplarily. Darvas et al [41] presented a formal specification language for PLC programs aiming at code generation, although it lacks details of state change descriptions.…”

Section: Formal Languages Used In Formal Verification Of Aps Control Softwarementioning

confidence: 99%

“…[39]). Timing diagrams have also been considered as a major graphical language as utilised in [7] or [40] exemplarily. Darvas et al.…”

Section: Related Workmentioning

confidence: 99%

“…In today's industrial practice, control software quality is commonly achieved by dynamic validation either through step‐by‐step manual testing or automatically generated test cases [7]. However, the main weakness of traditional testing is that one test case covers only a single, particular run of the aPS software.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Table‐based formal specification approaches for control engineers—empirical studies of usability

Cha

Vogel‐Heuser

Weigl

et al. 2021

IET Cyber-Phy Sys Theory & Ap

View full text Add to dashboard Cite

The dependability characteristic of the control software of manufacturing systems is highlighted more than before, going through repeated changes to cope with various and varying requirements. Formal methods are researched to be applied to automation system engineering to obtain a more effective and efficient quality assurance. One of the approaches, a formal specification language named Generalised Test Tables has been developed with the aim of intuitiveness and accessibility for automation application developers. The result of the experiments conducted to assess the usability of this language is presented here. Focussing on evaluating effectiveness and user satisfaction, three paper-based experiments have been conducted with students at the bachelor and master level. The evaluation results point to positive usability in both comparative effectiveness to conventional language, that is, Petri Nets, and subjective perception of user satisfaction.This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited.

show abstract

Section: Formal Languages Used In Formal Verification Of Aps Control Softwarementioning

confidence: 99%

“…[39]). Timing diagrams have also been considered as a major graphical language as utilised in [7] or [40] exemplarily. Darvas et al.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Table‐based formal specification approaches for control engineers—empirical studies of usability

Cha

Vogel‐Heuser

Weigl

et al. 2021

IET Cyber-Phy Sys Theory & Ap

View full text Add to dashboard Cite

show abstract

“…Therefore, the study of automatic control in electrical equipment monitoring is very important. Combining with some new methods [2], such as programmable logic controller (PLC) programming technology, noncontact electrostatic detection technology, fundamental resistance current method and distributed control system can monitor electrical equipment conveniently and effectively and automatically control them, so as to improve and optimize the monitoring mechanism of electrical equipment and further improve the monitoring ability of electrical equipment and enhance the ability of automatic control [3]. In response to this problem, many experts and scholars have put forward their own views.…”

Section: Introductionmentioning

confidence: 99%

Automatic Control in Electrical Equipment Monitoring by Using PLC Programming Technology

2020

IJOMAM

View full text Add to dashboard Cite

“…More knowledge and techniques about fault injection can be found in [29]. In this paper, fault injection can be 545 realized conveniently by modifying the plant feature models.…”

mentioning

confidence: 99%

Introducing plant features to model-based testing of programmable controllers in automation systems

Provost

2019

Control Engineering Practice

View full text Add to dashboard Cite

This paper proposes a model-based test generation approach for programmable controllers that aims at reducing the length of a test sequence by applying plant features. The proposed approach does not require detailed or full knowledge of the plant behavior of a system under test, but it can achieve a remarkable reduction with simple plant features. As a result, the obtained test sequence can be significantly shorter than ones generated by complete testing methods; and meanwhile, it still reaches full coverage of the nominal behavior of the system under test. This makes it feasible to test large-scale systems, or to serve as an early test in the validation of safety critical systems. The proposed approach has been illustrated on a large-scale case study.

show abstract

A Light-Weight Fault Injection Approach to Test Automated Production System PLC Software in Industrial Practice

Cited by 22 publications

References 38 publications

Table‐based formal specification approaches for control engineers—empirical studies of usability

Table‐based formal specification approaches for control engineers—empirical studies of usability

Automatic Control in Electrical Equipment Monitoring by Using PLC Programming Technology

Introducing plant features to model-based testing of programmable controllers in automation systems

Contact Info

Product

Resources

About