sustainНадежностьDependability1729-26462500-3909RAMS Journal Limited liability company10.21683/1729-2646-2014-0-4-102-121sustain-46Research ArticleФУНКЦИОНАЛЬНАЯ НАДЕЖНОСТЬ. ТЕОРИЯ И ПРАКТИКАFUNCTIONAL RELIABILITY. THE THEORY AND PRACTICEГЕНЕТИЧЕСКИЙ АЛГОРИТМ ДЛЯ ОПТИМИЗАЦИИ АРХИТЕКТУРЫ БОРТОВОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯGENETIC ALGORITHM FOR OPTIMIZATION OF ONBOARD SOFTWARE ARCHITECTUREТерсковВ. А.TerskovV. A.

доктор технических наук, профессор, профессор кафедры «Математика и информатика»

Doctor of Engineering, Professor of Mathematics and Informatics Chair

dmitryshkras@rambler.ruШеенокД. А.SheenokD. A.

аналитик ООО «Сибирские интеграционные системы»

Analyst

dmitryshkras@rambler.ruКарцанИ. Н.KartsanI. N.

кандидат технических наук, доцент, начальник военного института

PhD Engineering, professor assistant, Director

avkryanev@mephi.ruКрасноярский институт железнодорожного транспорта (КрИЖТ), Иркутский государственный университет путей сообщения (ИрГУПС)РоссияKrIZhT IrGUPSRussian FederationООО "Сибирские интеграционные системы"РоссияSiberian Integration Systems Ltd.Russian FederationСибирский государственный аэрокосмический университет им. Академика М.Ф. РешетневаРоссияMilitary institute SibGAURussian Federation20140607201604102121Copyright © Терсков В.А., Шеенок Д.А., Карцан И.Н., 20162016Терсков В.А., Шеенок Д.А., Карцан И.Н.Terskov V.A., Sheenok D.A., Kartsan I.N.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.dependability.ru/jour/article/view/46

Описывается модель архитектуры бортового программного обеспечения, позволяющая оценить надежность проектируемой программной системы и трудозатраты на ее реализацию. Описываются параметры и операторы генетического алгоритма, позволяющего найти оптимальные характеристики архитектуры бортового программного обеспечения.

The paper describes the model of onboard software architecture that allows us to assess the dependability of a designed program system and labour efforts spent on its realization. The paper defines parameters and operators of the genetic algorithm that makes it possible to find optimal characteristics of onboard software architecture.

генетический алгоритмбортовое программное обеспечениепрограммная избыточностьнадежность программного обеспеченияgenetic algorithmonboard softwareprogram redundancysoftware dependabilityReferencesKovalev I. Optimal Time Cyclograms of Spacecrafts Control Systems / I. Kovalev, O. Davydenko // Advances in Modeling and Analysis. Vol.48. № 2-3. 1996. AMSE PRESS. P. 19-23.Kovalev I. Optimal Time Cyclograms of Spacecrafts Control Systems / I. Kovalev, O. Davydenko // Advances in Modeling and Analysis. Vol.48. # 2-3.1996. AMSE PRESS. P. 19-23.Царев Р.Ю. Программно-аппаратное обеспечение отказо- и катастрофоустойчивых систем управления и обработки информации: монография / А.В. Аниконов, М.Ю. Слободин, Р.Ю. Царев. - М.: Макс-пресс, 2006. - 244 с.Tsarev R.Yu. Firmware of fail-safe and catastrophe-safe control and of the information processing systems: the study / A.V.Anikonov, M.Yu..Slobodin, R.Yu.Tsarev. – M.: Макс-press, 2006. – 244 p.Царев Р.Ю. Оптимизационно-имитационный подход к синтезу автоматизированных систем управления / И.В. Ковалев, М.В. Тюпкин, Р.Ю. Царев, Ю.Д.Цветков // Программные продукты и системы. - 2007. - № 3. - С. 73-74.Tsarev R.Yu. Optimization and simulation approach to synthesis of the automated control systems / I.V.Kovalev, M.V.Tjupkin, R.Yu.Tsarev, Yu.D.Tsvetkov // Software products and systems. – 2007. – # 3. – pp. 73-74.Царев Р.Ю., Система многоатрибутивного формирования мультиверсионных программных средств отказоустойчивых систем управления: Дис. Канд. Техн. Наук: Красноярск, 2003. - 143 с.Tsarev R.Yu. System of multi-attributive formation of multi-version software in fail-safe control systems: PhD Thesis: Krasnoyarsk, 2003. – 143 p.Новой А.В., Система анализа архитектурной надежности программного обеспечения.: Дис. Канд. Техн. Наук: Красноярск, 2011 - 131 с.Novoy А.В. System for the analysis of software architectural dependability: PhD Thesis: Krasnoyarsk, 2011 – 131 p.Шеенок Д.А., Кукарцев В.В. Оценка затрат на модернизацию программного обеспечения критических по надежности систем // Вестник СибГАУ. Вып. 5(45). - 2012. - С. 62-65.Sheenok D.А., Kukartsev V.V. Costs estimate for upgrading software of dependability critical systems // SibSAU Bulletin. Issue 5 (45). – 2012. – pp. 62-65.Шеенок Д.А. Модификация модели программной архитектуры для многокритериальной условной оптимизации // Перспективы развития информационных технологий: Материалы XI международной научно-практической конференции. - 2013. - С.76-81.Sheenok D.A. Updating of program architecture model for multi-criterion conditional optimization // Prospects of development of information technologies: Matter of XI international scientific – practical conference. – 2013. – pp 76-81.Русаков М.А., Многоэтапный анализ архитектурной надежности в сложных информационно-управляющих системах: Дис. Канд. Техн. Наук: Красноярск, 2005 - 168 с.Rusakov М.А. Multistage analysis of architectural dependability in complex information – management systems: PhD Thesis: Krasnoyarsk, 2005 – 168 p.Шеенок Д.А., Кукарцев В.В. Оптимизация программной архитектуры логистических информационных систем // Логистические системы в глобальной экономике: материалы Междунар. науч.-практ. конф. (14-15 марта 2013 г., Красноярск). Ч. 1. - 2013. - С.138-145.Sheenok D.A., Kukartsev V.V. Program architecture optimization of logistical information systems // Logistical systems in global economy: Matters of international scientific-practical conference. (March, 14-15, 2013, Krasnoyarsk). Part 1. – 2013. – pp 138-145.Шеенок Д.А. Генетический алгоритм поиска оптимальной архитектуры программного обеспечения // Актуальные вопросы современной науки: Материалы IV международной научной конференции 14-15 декабря 2012 г. - 2012. - С.62-68.Sheenok D.A. Genetic algorithm of software optimum architecture search // Urgent issues of modern science: Matter of IV international scientific conference on December, 14-15, 2012 – pp. 62-68.Инге-Вечтомов С.Г. Генетика с основами селекции: Учеб. Для биолог. Спец. Ун-тов. - М.: Высш. Шк., 1989. - 591 с.Inge-Vechtomov S.G. Genetics with fundamentals of selection: Textbook for the biological special subject in universities. – M.: Higher school, 1989. – 591 p.Спицын В.Г., Цой Ю.Р. Представление знаний в информационных системах: учебное пособие. - Томск: Изд-во ТПУ, 2006. - 146 с.Spitsyn V.G., Tsoy Yu. R.Rrepresentation of knowledge in information systems: tutorial manual. – Tomsk: Publishing house TPU, 2006. – 146 p.Сергиенко Р.Б. Коэволюционный алгоритм для задач условной и многокритериальной оптимизации / Р.Б. Сергиенко, Е.С. Семенкин // Программные продукты и системы. - №4. - 2010. - С. 24-28.Sergienko R.B. Coevolution algorithm for tasks of conditional and multi-criterion optimization / R.B.Sergienko, E.S.Semenkin // Software products and systems. – # 4. – 2010. – pp. 24-28.Гуменникова А.В., Адаптивные поисковые алгоритмы для решения сложных задач многокритериальной оптимизации: Дис. Канд. Техн. Наук: Красноярск, 2006 - 129.Gumennikova A. V. Adaptive search algorithms for the solution of complex tasks of multi-criterion optimization: PhD Thesis: Krasnoyarsk, 2006 – 129.Сопов Е.А., Эволюционные алгоритмы моделирования и оптимизации сложных систем: Дис. Канд. Техн. Наук: Красноярск, 2004 - 129 с.Sopov E. A. Evolutionary algorithms of complex systems modeling and optimization: PhD Thesis: Krasnoyarsk, 2004 – 129 p.Шеенок Д.А. Инструментальное средство проектирования оптимальной архитектуры отказоустойчивых программных систем // Программная инженерия. №6. - 2013. - С. 20-26.Sheenok D.A. Tool for designing of optimum architecture of fail-safe program systems // Program engineering. # 6. – 2013. – P. 20-26.Сергиенко Р.Б., Автоматизированное формирование нечетких классификаторов самонастраивающимися коэволюционными алгоритмами: Дис. Канд. Техн. Наук: Красноярск, 2010 - 192 с.Sergienko R.B. Automated generation of fuzzy qualifiers by self-adapting coevolution algorithms: PhD Thesis: Krasnoyarsk, 2010 – 192 p.

The authors declare that there are no conflicts of interest present.