Golovir V. Models, a method and an information technology of development of instrumentation and control systems based on automata with programmable logic

Subject of research -processes of development and verification of information-operating systems on the basis of automatic devices with programmed logic. Goal of research - iincrease of reliability многоверсионных information-operating systems on the basis of improvement of a method and information technology of their development with use of automatic devices with programmed logic.Carried out researches are based on use of models and techniques of verification APL for multicomponent control systems. Scientific results are: method of development manyversion of information-managing systems on the basis of automatic devices with programmed logic, which, as against known, is based on optimization of a choice of kinds manyversionality, that allows to increase reliability of systems; models многоверсионных of information-managing systems on the basis of their representation as a composition of automatic devices of the control and management, and also specification of functions of transitions and exits for various types variants of construction of systems, that allows to generate set of their architecture; the metricss diversity, used for a choice of kinds manyversions by development of information-managing systems on the basis of automatic devices with programmed logic, that allows to expect intensity of multiple failures of channels of system, realized on the various versions. Degree of application - industrial. Main results are assume to use in organizations and enterprises engaged in development manyversions information-operating systems .