Formal Modeling of Testing Software for Cyber-Physical Automation Systems

The paper presents a framework which uses formal models for testing control software for industrial automation systems. The formalism called Net Condition/Event Systems (NCES) is applied to model the program under test, along with the system under control (plant) and the testing environment. The ben...

Full description

Saved in:
Bibliographic Details
Published in2015 IEEE Trustcom/BigDataSE/ISPA Vol. 3; pp. 301 - 306
Main Authors Buzhinsky, Igor, Cheng Pang, Vyatkin, Valeriy
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.08.2015
Subjects
Automation
Computational modeling
cyber-physical systems
Delays
Formal languages
formal models
IEC Standards
industrial automation systems
net condition/event systems
Software
software testing
Testing
Online AccessGet full text

Cover

More Information
Summary:The paper presents a framework which uses formal models for testing control software for industrial automation systems. The formalism called Net Condition/Event Systems (NCES) is applied to model the program under test, along with the system under control (plant) and the testing environment. The benefits of using the framework include the opportunities to test systems with time delays without the need to wait, to test parameterized sets of systems with a single execution of a test suite, and to check test suites for correctness. The use of the framework is illustrated on a simple system consisting of a lab-scale plant and a control application for it.
DOI:10.1109/Trustcom.2015.648