Preview

Труды Института системного программирования РАН

Расширенный поиск

Моделирование программно-аппаратных систем и анализ их безопасности

https://doi.org/10.15514/ISPRAS-2017-29(5)-13

Аннотация

В данной статье демонстрируется целесообразность применения языка моделирования программно-аппаратных систем AADL и его расширения Error Model Annex для описания требований безопасности проектируемой системы. Наиболее важным аспектом здесь является возможность описания требований безопасности в терминах, используемых в теории безопасности, таких, как марковские цепи или логико-вероятностные функции, т.к. за годы развития теории было накоплено большое количество весьма полезных результатов. Различные подходы к оценке безопасности систем не конкурируют, но дополняют друг друга, так что наличие некоторой универсальности в описании требований безопасности является весьма ценным качеством.

Об авторах

С. В. Зеленов
Институт системного программирования им. В.П. Иванникова РАН; Национальный исследовательский университет Высшая школа экономики
Россия


С. А. Зеленова
Институт системного программирования им. В.П. Иванникова РАН
Россия


Список литературы

1. Д.В. Буздалов, С.В. Зеленов, Е.В. Корныхин, А.К. Петренко, А.В. Страх, А.А. Угненко, А.В. Хорошилов. Инструментальные средства проектирования систем интегрированной модульной авионики. Труды ИСП РАН, том 26, вып. 1, 2014, стр. 201-230. DOI: 10.15514/ISPRAS-2014-26(1)-6

2. Б.В. Гнеденко, Ю.К. Беляев, И.Н. Коваленко. Математические вопросы теории надежности. Итоги науки. Сер. Теор. вероятн. Мат. стат. Теор. Кибернет. 1964, 1966. 7-53.

3. Гнеденко Б.В., Беляев Ю.К., Соловьев А.Д. Математические методы в теории надежности. М.: Наука, 1965.

4. В.К. Дедков, А.С. Проников, А.Н. Терпиловский. Надежность сложных технических систем. Методы определения и обеспечения надежности промышленной продукции. Под ред. Г. Н. Бобровникова. М.:АНХ 1983.

5. Карнов А.А., Зеленов С.В. Стохастические методы анализа комплексных программно-аппаратных систем. Труды ИСП РАН, том 29, вып. 4, 2017 г., стр. 191-202. DOI: 10.15514/ISPRAS-2016-29(4)-12

6. Никольский В.И. Некоторые аварии и катастрофы отечественных и пассажирских судов. СПб.: СПГУВК, 2011.

7. Рябинин И.А. Концепция логико-вероятностной теории безопасности.// М., «Приборы и системы управления», №10, 1993, с.6-9.

8. Рябинин И.А. Надежность и безопасность структурно-сложных систем. Спб., Политехника, 2000.

9. Рябинин И.А. Логико-вероятностный анализ проблем надежности живучести и безопасности. Новочеркасск, Южно-Российский государственный университет. Новочеркасск: Лик, 2009. -600с.

10. Рябинин И.А., Черкесов Г.Н. Логико-вероятностные методы исследования надежности структурно-сложных систем.// Изд. "Радио и связь", М., 1981.

11. Альберт Ширяев. Вероятность. 4-е издание, переработанное и дополненное. М.:МЦНМО. 2007.

12. ГОСТ Р 27.302-2009. Надежность в технике. Анализ дерева неисправностей.

13. K.K. Aggarwal, J.S. Gupta, and K.B. Misra. A new method for system reliability evaluation. Microelectronics Reliability, 12(5):435–440, Nov 1973.

14. U.M. Ascher and L.R. Petzold. Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), 1998.

15. E.E. Barlow, F. Proschan, and L.C. Hunter. Mathematical Theory of Reliability. Wiley, New York-London-Sydney, 1965.

16. R.G. Bennetts. On the analysis of fault trees. IEEE Transactions on Reliability, R-24(3):175–185, Aug 1975.

17. J. Delange, P. Feiler, D. Gluch, J. Hudak. AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. CMU/SEI-2014-TR-020, 2014.

18. Peter H. Feiler, David P. Gluch. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley Professional, 2012.

19. L. Fratta and U.G. Montanari. A boolean algebra method for computing the terminal reliability in a communication network. IEEE Transactions on Circuit Theory, 20(3):203–211, 1973.

20. J. Hadamard. Lectures on Cauchy’s Problem in Linear Partial Differential Equations. Dover phoenix editions. Dover Publications, 2003.

21. E.J. Henley and H. Kumamoto. Reliability engineering and risk assessment. Prentice-Hall, 1981.

22. E.J. Henley and H. Kumamoto. Designing for reliability and safety control. Prentice-Hall International Series in Industrial and Systems Engineering. Prentice-Hall, 1985.

23. Alexey Khoroshilov, Dmitry Albitskiy, Igor Koverninskiy, Mikhail Olshanskiy, Alexander Petrenko, and Alexander Ugnenko. AADL-based toolset for IMA system design and integration. SAE Int. J. Aerosp., 5:294–299, Oct 2012.

24. M. Kwiatkowska, G. Norman, and D. Parker. Prism 4.0: Verification of probabilistic real-time systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV11), ser. LNCS, volume 6806, pages 585–591. Springer, 2011.

25. Nils J. Nilsson. Probabilistic logic. Artif. Intell., 28(1):71–88, February 1986.

26. I.A. Ryabinin. Reliability of Engineering Systems. Principles and Analysis. MIR, Moscow, 1976.

27. W. Vesely, J. Dugan, J. Fragola, Minarick, and J. Railsback. Fault Tree Handbook with Aerospace Applications. Handbook, National Aeronautics and Space Administration, Washington, DC, 2002.

28. ARINC 664 part 7, Avionics Full Duplex Switched Ethernet (AFDX) network, 2005.

29. MASIW: Modular Avionics System Integrator Workplace, 2016. https://forge.ispras.ru/projects/masiw-oss/.

30. OpenFTA, 2005. http://openfta.com/.

31. OSATE: Open Source AADL2 Tool Environment, 2016. http://osate.org/.

32. SAE International standard ARP4761, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, 1996. http://standards.sae.org/arp4761/.

33. SAE International standard AS5506C, Architecture Analysis & Design Language (AADL), 2004. Rev. 2017, http://standards.sae.org/as5506c/.

34. SAE International standard AS5506/1A, Architecture Analysis & Design Language (AADL), Annex E: Error Model Annex, 2011. Rev. 2015, http://standards.sae.org/as5506/1a/.


Рецензия

Для цитирования:


Зеленов С.В., Зеленова С.А. Моделирование программно-аппаратных систем и анализ их безопасности. Труды Института системного программирования РАН. 2017;29(5):257-282. https://doi.org/10.15514/ISPRAS-2017-29(5)-13

For citation:


Zelenov S.V., Zelenova S.A. Modeling and Risk Analysis of Hardware-Software Systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(5):257-282. (In Russ.) https://doi.org/10.15514/ISPRAS-2017-29(5)-13



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)