Определение состава программ в специальном программном обеспечении автоматизированных систем пожаровзрывобезопасности объектов

Рассмотрены единичные программные системы (ЕПС) автоматизированных систем пожаровзрывобезопасности (АСПВБ) объектов. Дано одно из возможных математических определений программ ЕПС и их характеристик. Проведена оценка количества формул в специальном программном обеспечении (СПО) АСПВБ и автоматизированных систем управления технологическими процессами в целом. Описан процесс поиска унификатора в ЕПС на множестве формул СПО АСПВБ. Показано, что для его определения необходимо провести разбиение ЕПС на базовые группы функциональности, представляющие собой неделимые на части элементы.

1. Топольский Н. Основы автоматизированных систем пожаровзрывобезопасности объектов. — М. : МИПБ МВД России, 1997. — 164 с.

2. Абросимов А. А., Топольский Н. Г., Фёдоров А. В. Автоматизированные системы пожаровзрывобезопасности нефтеперерабатывающих производств. — М.: МИПБ МВД России, 1999. —239 с.

3. Гаплаев А. А.-Б. Автоматизированный комплекс контроля и испытаний системы управления противопожарной защиты нефтеперерабатывающих производств : дис. ... Кандидат технических наук. — М., 2018.—226 с.

4. Крючков А. В. Обобщение опыта синтеза специального программного обеспечения на различных инструментальных средствах // Технологии техносферной безопасности. — 2015. — Вып. 3(61). — C. 252-263. URL: http://agps-2006.narod.ru/ttb/2015-3/41-03-15.ttb.pdf (дата обращения: 03.06.2018).

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

6. Крючков А. В. Методология универсализации синтеза специального программного обеспечения крупной автоматизированной системы управления предприятием // Технологии техносферной безопасности. — 2015. — Вып. 3(61). — С. 264-268. URL: http://agps-2006.narod.ru/ttb/2015-3/40-03-15.ttb.pdf (дата обращения: 03.06.2018).

7. Stolz L.Special issue: Harnessing theories for tool support in software // Innovations in Systems and Software Engineering. —2013. — Vol. 9, Issue 1. — P. 1-2. DOI: 10.1007/s11334-012-0193-4.

8. Макконнелл С. Профессиональная разработка программного обеспечения: сокращение сроков, повышение качества продукта, больше удачных проектов, расширение возможностей успешной карьеры / Пер. с англ. — СПб. : Символ&Плюс, 2006. — 240 с.

9. Вендров А. М.Проектирование программного обеспечения экономических информационных систем. — М. : Финансы и статистика, 2006. — 545 с.

10. Zheng Qin, Xiang Zheng, Jiankuan Xing. Software Architecture // 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: working with 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. Грис Д. Наука программирования / Пер. с англ.; под ред. А. П. Ершова. — М. : Мир, 1984. — 416 с.

16. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем / Пер. с англ.; под ред. С. Ю. Маслова. — М. : Наука, 1983. — 360 с.

17. Дийкстра Э., Болье Л., ХоорК.,Дал У.-И. Языки программирования / Ред. Ф. Женюи; пер. с англ. В. П. Кузнецова, под ред. В. М. Курочкина. — М. : Мир, 1972. — 410 с.

18. Умрихин Ю. Д. Оптимизация сложных информационных систем. — М. : Министерство радиопромышленности СССР, 1983. — 125 с.

19. Клименко И. С. Теория систем и системный анализ. — М. : РосНОУ, 2014. — 264 с.

20. Шиханович Ю. А. Введение в современную математику. Начальные понятия. — М. : Наука, 1965. —376 с.

21. Ильин В. Д. Система порождения программ. — М. : Наука, 1989. — 257 с.

22. DeLuciaA., 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.