Determination of the composition of programs in a special software of the computer-aided fire-explosion safety systems of objects

Introduction. For the sustainable operation of modem industries, in particular oil refineries, computer-aided process control systems are used. One of the key components of these systems are the computer-aided fire-explosion safety systems. A crucial role in these systems is played by special software, the reliability of which depends on the successful functioning of the computer-aided fire-explosion safety systems and in general oil refineries.

The work purpose is to determine the composition of programs in special software for computer-aided fire-explosion safety systems of objects. The following tasks are solved: the mathematical definition of single software systems and their characteristics is described; the number of formulas in the special software of computer-aided fire-explosion safety systems is estimated; from the formal point of view, the identification of the unifier in a single software system is described.

Methods. The article uses the methods of mathematical logic, graph theory for the formal description of single software systems and their functional characteristics.

Results and discussion. One of the possible mathematical definitions of single software systems of computer-aided fire-explosion safety systems and their characteristics is given. The assesment of quantity of formulas for the special software of the computer-aided fire-explosion safety systems and computer-aided process control systems in general which about one million is necessary is carried out. It is shown that to determine the unifier in a single program system, it is necessary to divide it into basic groups of functionality. The basic functionality groups are meant as basic elements of programs.

Conclusions. In the end, the identification of groups of basic elements of programs allows to define unambiguously the required structure of programs of the special software of the computer-aided fire-explosion safety systems of objects, increase its reliability and simplify the work with it.

1. TopolskiyN. G. Osnovy avtomatizirovannykh sistem pozharovzryvobezopasnosti obyektov [Basics of computer-aided fire and explosion safety systems]. Moscow, Fire Safety Institute of the Ministry of Internal Affairs of Russia Publ., 1997. 164 p. (in Russian).

2. Abrosimov A. A., Topolskiy N. G., Fedorov A. V. Avtomatizirovannyye sistemy pozharovzryvobezopasnosti neftepererabatyvayushchikhproizvodstv [Computer-aided fire and explosion safety systems of petroleum refineries]. Moscow, State Fire Academy of the Ministry of Internal Affairs of Russia Publ., 1999. 239 p. (in Russian).

3. Gaplaev A. A.-B. Computer-aided complex ofcontrol and testing of management systems of oil refineries fire protection. Cand. tech. sci. diss. Moscow, 2018. 226 p. (in Russian).

4. Kruchkov A. V. Summarizing the experience of synthesis special software for different programming languages. Tekhnologii tekhnosfernoy bezopasnosti / Technology of Technosphere Safety, 2015, issue 3(61), pp. 252-263 (in Russian). Available at: http://agps-2006.narod.ru/ttb/2015-3/41-03-15.ttb.pdf (Accessed 3 June 2018).

5. Gajski D. D., Abdi S., Gerstlauer A., Schimer G. Software synthesis. In: Embedded System Design. Boston, MA, Springer, 2009, pp. 155-197. DOI: 10.1007/978-1-4419-0504-8_5.

6. Kruchkov A. V. Universal application synthesis methodology of special software for large automated enterprise control system. Tekhnologii tekhnosfernoy bezopasnosti / Technology of Technosphere Safety, 2015, issue 3(61), pp. 264-268 (in Russian). Available at: http://agps-2006.narod.ru/ttb/2015-3/40-03-15.ttb.pdf (Accessed 3 June 2018).

7. Stolz V. Special issue: Harnessing theories for tool support in software. Innovations in Systems and Software Engineering, 2013, vol. 9, issue 1, pp. 1-2. DOI: 10.1007/s11334-012-0193-4.

8. McConnell S. Professional software development: shorter schedules, higher quality products, more successful projects, enhanced careers. Addison-Wesley, 2004.243 p. (Russ. ed.: McConnell S. Profes-sionalnaya razrabotka programmnogo obespecheniya: sokrashcheniye srokov, povysheniye kachestva produkta, bolshe udachnykh proyektov, rasshireniye vozmozhnostey uspeshnoy karyery. Saint Petersburg, Simvol&Plyus Publ., 2006. 240 p.).

9. Vendrov A. M. Proyektirovaniyeprogrammnogo obespecheniya ekonomicheskikh informatsionnykh sistem [The software design of economic information systems]. Moscow, Finansy i statistika Publ., 2006. 545 p. (in Russian).

10. Zheng Qin, Xiang Zheng, Jiankuan Xing. Software Architecture. In: Advanced Topics in Science and Technology in China. Berlin, Heidelberg, Springer, 2008. 337 p. DOI: 10.1007/978-3-540-74343-9.

11. Bass L., Clements P., Kazman R. Software architecture in practice. 3rd Edition. Addison-Wesley Professional, 2012. 640 p.

12. RozanskiN., Woods E. Software systems architecture: workingwith stakeholders using viewpoints and perspectives. 2nd Edition. Addison-Wesley Professional, 2012. 704 p.

13. Almeida J. B., Frade M. J., Pinto J. S., Melo de Sousa S. Rigorous software development. London, Springer-Verlag, 2011. 307 p. DOI: 10.1007/978-0-85729-018-2.

14. Crookshanks E. Practical Software Development Techniques: Tools and techniques for building enterprise software. Berkeley, CA, Apress, 2014. 212 p. DOI: 10.1007/978-1-4842-0728-4.

15. Gries D. The science of programming. New York, Heidelberg, Berlin, Springer-Verlag, 1981 (Russ. ed.: Gries D. Nauka programmirovaniya. Moscow, Mir Publ., 1984. 416 p.).

16. Chang Ch.-L., Lee R. Symbolic logic and mechanical theorem proving. New York, San Francisco, London, Academic Press, 1973 (Russ. ed.: Chang Ch.-L., Lee R. Matematicheskayalogika i avtomati-cheskoye dokazatelstvo teorem. Moscow, Nauka Publ., 1983. 360 p.)

17. Dijkstra E. W., Beaulieu L., Hoare C. A. R., Dahl O.-J. Programming languages. London, 1968 (Russ. ed.: Dijkstra E. W., Beaulieu L., Hoare C. A. R., Dahl O.-J. Yazyki programmirovaniya. Moscow, Mir Publ., 1972. 410 p.).

18. UmrikhinYu. D. Optimizatsiya slozhnykh informatsionnykh system [Optimization of complex information systems]. Moscow, Ministry of Radio Technology Publ., 1983. 125 p. (in Russian).

19. Klimenko I. S. Teoriya sistem i sistemnyy analiz [Systems theory and system analysis]. Moscow, RosNOU Publ., 2014. 264 p. (in Russian).

20. Shikhanovich Yu. A. Vvedeniye v sovremennuyu matematiku. Nachalnyyeponyatiya [Introduction to modern mathematics: Initial concepts]. Moscow, Nauka Publ., 1965. 376 p. (in Russian).

21. Ilin V. D. Sistema porozhdeniya programm [The system of program generating]. Moscow, Nauka Publ., 1989. 257 p. (in Russian).

22. De Lucia A., Ferrucci F. Software engineering. Berlin, Heidelberg, Springer-Verlag, 2013. 237 p. DOI: 10.1007/978-3-642-36054-1.

23. Peled D. A. Software reliability methods. New York, Springer-Verlag, 2001. 332 p. DOI: 10.1007/978-1-4757-3540-6.