Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems

Purpose. Propose a formal approach to the design and development of control system software. The methods. The bulk of the tasks solved by modern automation systems require the implementation of control algorithms based on finite state machines. When developing software for control systems, it is advisable to graphically represent control algorithms, as their design, analysis and operation are more understandable to consultants. Therefore, the proposed approach consists of three stages: drawing up a verbal description of the algorithm of the technological process, designing the control system software in the form of a state graph and software development. Findings. The paper analyzes the current state of design and software development of control systems based on industrial controllers. Based on this, it is established that there is currently no systematic approach to this issue, in the technical documentation and literature, as well as in training courses provided by companies producing hardware and software for industrial controllers, only general issues related to the use of their development environments are considered. and standard libraries. Based on this, the relevance of creating a formal approach to software development of industrial controllers. The originality. For the first time, a formal approach to the design and development of control system software based on programmable logic controllers in the Ladder Diagram language has been proposed. Practical implementation. The obtained approach allows to perform the transition from state graphs to their software implementation using only typical structural elements and requires only their adjustment according to the conditions and actions of the transition arcs. The development of this study involves solving complex issues of design and software development of industrial controllers based on state graphs in order to formalize them.

Download Full-text

Formal Development of System of Systems

ISRN Software Engineering ◽

10.1155/2013/457837 ◽

2013 ◽

Vol 2013 ◽

pp. 1-10

Author(s):

Maryam Kamali ◽

Mats Neovius ◽

Luigia Petre ◽

Petter Sandvik

Keyword(s):

Control Systems ◽

System Of Systems ◽

Proof Of Concept ◽

Formal Approach ◽

Formal Development ◽

Formal Integration

Characterising for contemporary systems is their dependence on constituent systems to provide information, functionality, and scalability. Moreover, as the tasks that systems perform are ever more intimate and critical in their nature, reliability and correctness are great concerns. On these matters, we outline a methodology for formal integration of systems. We claim this formal approach to assist in managing the complexity and correctness, in preserving reliability and in respecting the independence of the constituent systems. As a proof of concept, we integrate two in-house control systems specified independently in the Event-B language with the Rodin Platform tool. Moreover, we show how to introduce a new functionality that is only possible due to the integration. Hence, we formally construct a system of systems and provide the methods for hierarchical integration of those.

Download Full-text