Инструментальные средства проектирования систем интегрированной модульной авионики
https://doi.org/10.15514/ISPRAS-2014-26(1)-6
Аннотация
Масштабы современных комплексов бортового авиационного оборудования таковы, что их проектирование становится невозможным без привлечения средств автоматизации. В настоящее время в мире в этой области имеются с одной стороны закрытые разработки крупных авиакомпаний, таких как Boeing и Airbus, а с другой стороны ряд открытых международных проектов с разной степенью зрелости, доступности исходного кода и документации. В настоящей статье представлена отечественная разработка открытой системы поддержки проектирования и верификации комплексов бортового авиационного оборудования осуществляемая в ИСП РАН совместно с ГосНИИАС в рамках государственной программы по развитию Интегрированной Модульной Авионики.
Об авторах
Д. В. Буздалов
ИСП РАН
Россия
Россия
С. В. Зеленов
ИСП РАН
Россия
Россия
Е. В. Корныхин
ИСП РАН
Россия
Россия
А. К. Петренко
ИСП РАН
Россия
Россия
А. В. Страх
ИСП РАН
Россия
Россия
А. А. Угненко
ИСП РАН
Россия
Россия
А. В. Хорошилов
ИСП РАН
Россия
Россия
Список литературы
1. ] Е.А. Федосов. Авиация в России конца XX - начала XXI веков в статьях и интервью академика, М.: НИЦ ГосНИИАС, 2013.
2. Gilbert Edelin. Embedded Systems at Thales: the Artemis challenges from an industrial perspective. ARTIST Summer School, 2009.
3. Aircraft Data Network, Part 1: Systems Concepts and Overview, 2002.
4. Aircraft Data Network, Part 2: Ethernet Physical and Data Link Layer Specification, 2002.
5. Aircraft Data Network, Part 7: Deterministic Networks, 2003.
6. Road vehicles - Controller area network (CAN) - Part 1: Data link layer and physical signaling.
7. Road vehicles - Controller area network (CAN) - Part 2: High-speed medium access unit.
8. Brett Murphy, Amory Wakefield. Early verification and validation using model-based design. The MathWorks, 2009.
9. SAE International. “Architecture Analysis & Design Language (AADL)”, SAE International Standards document AS5506B, Nov 2004, Revised Mar 2012.
10. The ATESST Consortium. East-adl 2.0 specification (November 2010), http://www.atesst.org
11. ISO/IEC 19505-1:2012 Object Management Group Unified Modeling Language (OMG UML)
12. Steve Vestal. MetaH Avionics Architecture Description Language. Honeywell Labs, 2001.
13. Object Management Group (OMG). “Systems Modeling Language SysML”, Version 1.3.
14. Object Management Group (OMG). “UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems.” Version 1.1.
15. Dionisio de Niz, Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL, SEI, 2007.
16. O. Gilles, J. Hugues. Expressing and Enforcing User-Defined Constraints of AADL Models, Engineering of Complex Computer Systems (ICECCS), 2010.
17. https://wiki.sei.cmu.edu/aadl/index.php/Osate_2_Lute
18. S. Martin and P. Minet. Schedulability analysis of flows scheduled with FIFO: application to the expedited forwarding class. Parallel and Distributed Processing Symposium, 2006.
19. Jean-Yves Le Boudec, Patrick Thiran. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Lecture Notes in Computer Science, vol. 2050, 2001.
20. Jerry Banks, John S. Carson II. Discrete-Event System Simulation. Englewood Cliffs: Prentice-Hall, Englewood Cliffs: Prentice-Hall, 1984.
21. S. Robinson, Discrete-Event Simulation: From the Pioneers to the Present, What Next? Journal of the Operational Research Society, 2005
22. R.J. Ord-Smith, J.Stephenson, Computer, Simulation of Continuous Systems. Cambridge, 1975.
23. Haynes, C. T., Friedman, D. P., and Wand, M., Continuations and coroutines. In Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, LFP '84. ACM, New York, 1984.
24. http://www.matthiasmann.de/content/view/24/26/
25. AS5506/2 SAE Architecture Analysis and Design Language (AADL) Annex Volume 2.
26. Brian R. Larson, Patrice Chalin, John Hatcliff, BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software, 10.1007/978-3-642-38088-4_19.
27. L. Lamport. Proving the Correctness of Multiprocess Programs, 1977.
28. С. Зеленов, Планирование строго периодических задач в системах реального времени, Труды Института системного программирования РАН, т. 20, 2011.
29. Abdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven M. Miller. Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. Proceedings of the Third International Conference on Cyber-Physical Systems – April 2012.
30. P. Dissaux, F. Singhoff. Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures, Proceedings of 4th International Congress ERTS-2008.
31. F.Cadoret, E.Borde, S.Gardoll and L.Pautet. Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models. International Conference on Engineering of Complex Computer Systems (ICECCS'12), Paris (FRANCE), 2012.
Рецензия
Для цитирования:
Буздалов Д.В., Зеленов С.В., Корныхин Е.В., Петренко А.К., Страх А.В., Угненко А.А., Хорошилов А.В. Инструментальные средства проектирования систем интегрированной модульной авионики. Труды Института системного программирования РАН. 2014;26(1):201-230. https://doi.org/10.15514/ISPRAS-2014-26(1)-6
For citation:
Buzdalov D.V., Zelenov S.V., Kornykhin E.V., Petrenko A.K., Strakh A.V., Ugnenko A.A., Khoroshilov A.V. Tools for System Design of Integrated Modular Avionics. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(1):201-230. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(1)-6
Послать статью по эл. почте 