Preview

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

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

Cтохастические методы анализа комплексных программно-аппаратных систем

https://doi.org/10.15514/ISPRAS-2017-29(4)-12

Полный текст:

Об авторах

А. А. Карнов
Московский государственный университет имени М.В. Ломоносова
Россия


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


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

1. “SAE ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment,” Warrendale, USA, Dec. 1996.

2. Ширяев А.Н. Вероятность. Москва: Наука, 1989.

3. P. H. Feiler and D. P. Gluch, Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 1st ed. Addison-Wesley Professional, 2012.

4. P. Feiler, “SAE AADL error model annex: An overview,” Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, Tech. Rep., 2014. [Online]. Available: https://wiki.sei.cmu.edu/aadl/images/1/13/ErrorModelOverview-Sept222011-phf.pdf

5. “MASIW framework,” https://forge.ispras.ru/projects/masiw-oss/.

6. Кузнецов, С.В. “Математические модели процессов и систем технической эксплуатации авионики как марковские и полумарковские процессы,” Научный Вестник МГТУ ГА, 2015, No 213, стр. 28-33.

7. J. Hadamard, Lectures on Cauchy’s Problem in Linear Partial Differential Equations (Dover Phoenix Editions). Dover Publications, 2003.

8. U. M. Ascher and L. R. Petzold, Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. SIAM: Society for Industrial and Applied Mathematics, 1998.

9. J. Delange, P. Feiler, D. Gluch, and J. Hudak, “AADL fault modeling and analysis within an ARP4761 safety assessment,” Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, Tech. Rep. CMU/SEI-2014-TR-020, 2014. [Online]. Available: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=311884

10. 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 (CAV’11), ser. LNCS, G. Gopalakrishnan and S. Qadeer, Eds., vol. 6806. Springer, 2011, pp. 585-591.


Рецензия

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


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

For citation:


Karnov A.A., Zelenov S.V. Stochastic Methods for Analysis of Complex Hardware-Software Systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(4):191-202. https://doi.org/10.15514/ISPRAS-2017-29(4)-12



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


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