On testing and automatic mending of safety PLC code
Journal article, 2021
Infimial controllable super-language
Automata
Input–output conformance testing
Safety
Discrete event system
Supervisory control theory
Author
Adnan Khan
Chalmers, Electrical Engineering, Systems and control
Martin Fabian
Chalmers, Electrical Engineering, Systems and control
CIRP Journal of Manufacturing Science and Technology
1755-5817 (ISSN) 1878-0016 (eISSN)
Vol. 35 431-440Systematic testing of cyber-physical systems (SyTeC)
Swedish Research Council (VR) (2016-06204), 2017-01-01 -- 2022-12-31.
Model Based Testing of Mechatronic Systems (TESTRON)
VINNOVA (2015-04893), 2016-01-01 -- 2019-12-31.
Subject Categories (SSIF 2011)
Vehicle Engineering
Embedded Systems
Other Civil Engineering
DOI
10.1016/j.cirpj.2021.07.008