Tools for System Design of Integrated Modular Avionics
https://doi.org/10.15514/ISPRAS-2014-26(1)-6
Abstract
Growth of modern avionics systems makes design of such systems impossible without involvement of automation. Nowadays an area of such tools is represented by both the proprietary tools developed by the major aircraft manufacturers like Boeing and Airbus, and a number of open or partially open international projects varying in maturity, availability of source code and documentation. The paper presents a toolset for design of modern avionics systems developed by ISPRAS in collaboration with GosNIIAS. The toolset provides both a generic platform for design and analysis of architecture models and a specialized solution for the particular domain of avionics systems.
About the Authors
D. V. Buzdalov
Institute for System Programming of RAS
Russian Federation
Russian Federation
S. V. Zelenov
Institute for System Programming of RAS
Russian Federation
Russian Federation
E. V. Kornykhin
Institute for System Programming of RAS
Russian Federation
Russian Federation
A. K. Petrenko
Institute for System Programming of RAS
Russian Federation
Russian Federation
A. V. Strakh
Institute for System Programming of RAS
Russian Federation
Russian Federation
A. A. Ugnenko
Institute for System Programming of RAS
Russian Federation
Russian Federation
A. V. Khoroshilov
Institute for System Programming of RAS
Russian Federation
Russian Federation
References
1. E.A. Fedosov. Aviacija v Rossii konca XX - nachala XXI vekov v stat'jah i interv'ju akademika [Aviation in Russia in the late XX - early XXI centuries in articles and interviews of the Academician], M.: NIC GosNIIAS, 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. S. Zelenov. Planirovanie strogo periodicheskih zadach v sistemah real'nogo vremeni [Scheduling of Strictly Periodic Tasks in Real-Time Systems]. Trudy ISP RAN [The Proceedings of ISP RAS], t. 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.
Review
For citations:
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
Email this article 