Font Size: 

A distinctive feature of safety-critical systems is a significant scale of the effect of socio-economic nature, which may occur in the case of unplanned scenarios of operation of these systems, caused, in particular, by faults and failures during the functioning. Examples of subject areas where such systems are used are, in particular, the aerospace, railway, chemical industries, etc. This effect, in its turn, also takes place in nature management field - in the form of a negative impact on the environment. In the context of the presented work, a system is approached from the software plane. In given paper, a model-oriented approach to the formalization of non-functional of safety-critical system is proposed. The approach is devoted to be implemented during the designing stage of specified systems engineering process, and can be applied in nature management in particular. At the same time, the nature management is approached as a problem domain, where the presence of critical errors in the design solutions of safety-critical system under development can lead to negative consequences of significant socio-economic scale. The proposed approach is based on the means of the mathematical apparatus of the method of discrete-event simulation, on the concepts of atomic and coupled simulation models in particular. The presented approach is positioned as a component of a set of means of control of functional and non-functional properties of the system under development during the designing stage. The aggregate value of time costs, obtained by conducting the discrete-event simulation according to the proposed approach, is considered as an indicator of non-functional property. Formal specification of functional properties of a system, which has already been successfully verified by a formal model checking method, is used as an input data.

DEVS; discrete-event simulation; safety-critical system