A formal security definition for digital control system of the critical or hazard assets is discussed. The problem of ensuring the cyber security is considered at all stages of the life cycle beginning from the design of the plant. The formal mathematical notion of cyberproofness is given.

The article considers a set of models of the scenario-indicator approach, including the graph model of the disturbance distribution in a complex technical system (CTS) and the scenario model of an influence of internal factors on parameters of the environment. The problem of optimizing the placement of indicators in CTS is formalized.

The Nuclear Power Plant Unit Top-level Control System databases are very complex. They are developed and modified as at the stage of design, and maintenance. At the maintenance stage the databases development is more convenient to spend out directly on the site. Exactly for these works the data preparation system was created. With the aid of this system some security and safety assurance measures are provided: unauthorized access protection, limitations of possibility for change making, obligatory verifying of made changes and support the private channel of data transfer from development to system operation.

The approach for dynamic business process management, based on the use of graphical notation with the combined control and data networks, is considered. Due to the explicit instructions of the data stream it is possible to overcome the automatic semantic gap that arises between the graphical and executable model of business processes. This leads to an increase in the quality control of production and technological processes in enterprises.

Package "Automatica" is intended for analysis and development of control algorithms for plants, considering parametric and structural uncertainty and influence of unknown-but-bounded disturbance. The package is intended for scientists and developers of real-world control systems. The goal of an engineer is to guarantee given steady-state error tolerance for each of the controlled variables while the disturbance is unknown but bounded and the uncertain plant parameters change their values slowly. Consequently the periodic identification of the plant model and appropriate redesign of the controller are required. The structure of the package is specially oriented for such kind of problems. The basis of this structure consists of so called directives that solve some dened class of problem.