cahtНаучный вестник МГТУ ГАCivil Aviation High Technologies2079-06192542-0119Moscow State Technical University of Civil Aviation (MSTU CA)caht-625Research ArticleСтатьиКонцепция эксплуатационной модели отказобезопасностиOPERATIONAL FAIL-SAFE MODEL CONCEPTIONКротовС. А.KrotovS. A.noemail@neicon.ruМГТУ ГАRussian Federation20140711201602053743Copyright © Кротов С.А., 20162016Кротов С.А.Krotov S.A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://avia.mstuca.ru/jour/article/view/625

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

The article considers operational fail-safe model formal description with possible updating and adaptation of parameters during flight cycle accomplishment taking into account unforeseen events.

отказобезопасностьформирование моделиконтроль состоянияfail-safemodel formationcondition monitoringReferencesГершман Ю.С., Неймарк М.С. Проблема полноты оценки уровня отказобезопасности воздушных судов // АвиаСоюз. - 2013. - № 46. - С. 50-52.Гершман Ю.С., Неймарк М.С. Проблема полноты оценки уровня отказобезопасности воздушных судов // АвиаСоюз. - 2013. - № 46. - С. 50-52.Кротов С.А. К вопросу о контроле отказобезопасности функциональных систем воздушных судов в процессе эксплуатации // Научный Вестник МГТУ ГА. - 2013. - № 197. - С. 79-84.Кротов С.А. К вопросу о контроле отказобезопасности функциональных систем воздушных судов в процессе эксплуатации // Научный Вестник МГТУ ГА. - 2013. - № 197. - С. 79-84.Ерусалимский М.А. Время действовать. Международная конференция по информационным технологиям поддержания летной годности // АвиаСоюз. - 2006. - № 2. - С. 26-27.Ерусалимский М.А. Время действовать. Международная конференция по информационным технологиям поддержания летной годности // АвиаСоюз. - 2006. - № 2. - С. 26-27.Tiassou K., Kanoun K. Online model adaptation for aircraft operational reliability assessment, 6th International Congress, Embedded Real Time Software and Systems, Tolouse: France (2012).Tiassou K., Kanoun K. Online model adaptation for aircraft operational reliability assessment, 6th International Congress, Embedded Real Time Software and Systems, Tolouse: France (2012).Seguin C., Bieber P. Formal assessment techniques for embedded safety critical system. 18th IFIP World Computer Congress, Topical Day on New Methods for Avionics Certification, August 26th, 2004, Tolouse (France).Seguin C., Bieber P. Formal assessment techniques for embedded safety critical system. 18th IFIP World Computer Congress, Topical Day on New Methods for Avionics Certification, August 26th, 2004, Tolouse (France).Капитонов С.А. Разработка логической модели безопасности полета летательных аппаратов на основе непосредственного учета функциональных признаков его элементов и систем // Проблемы безопасности полетов. - 2009. - № 3. - С. 27-32.Капитонов С.А. Разработка логической модели безопасности полета летательных аппаратов на основе непосредственного учета функциональных признаков его элементов и систем // Проблемы безопасности полетов. - 2009. - № 3. - С. 27-32.

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