Aerolang: A Dimensionally-Aware Domain-Specific Language for Real-Time Flight Control with Integrated Morphing Wing Physics
References
- Feron E. From control systems to control software. IEEE Control Syst Mag. 2010;30(6):50–71. https://doi.org/10.1109/MCS.2010.938196
- Mars Climate Orbiter Mishap Investigation Board. Phase I Report. Washington, DC: National Aeronautics and Space Administration; 1999.
- Open Group. FACE™ Technical Standard, Edition 3.1. Reading: The Open Group; 2020.
- ARINC. ARINC Specification 653P1-5: Avionics Application Software Standard Interface, Part 1 — Required Services. Annapolis: ARINC; 2019.
- Setlak L, Kowalik R. Practical use of composite materials used in military aircraft. Materials. 2021;14(17):4812. https://doi.org/10.3390/ma14174812
- Jeger SL, Wüest V, Toumieh C, Floreano D. Adaptive morphing of wing and tail for stable, resilient, and energy-efficient flight of avian-inspired drones. NPJ Robot. 2024 Nov 20;2(1). https://doi.org/10.1038/s44182-024-00015-y
- Ninian D, Dakka S. Design, development and testing of shape shifting wing model. Aerospace. 2017 Nov 1;4(4):52. https://doi.org/10.3390/aerospace4030044
- Wang W, An W, Song B. Effect of wing morphing on stability and energy harvesting in albatross dynamic soaring. Chin J of Aeronaut. 2024;37(11):317–334. https://doi.org/10.1016/j.cja.2024.06.013
- Kennedy AJ, Syme D. Design and implementation of generics for the. NET Common Language Runtime. ACM SIGPLAN Not. 2001;36(5):1–12. https://doi.org/10.1145/381694.378797
- Pierce BC. Types and programming languages. Cambridge: MIT Press; 2002.
- Fourier JBJ. Théorie analytique de la chaleur [Analytical theory of heat]. Paris: Firmin Didot; 1822. French.
- Maxwell JC. A treatise on electricity and magnetism. Oxford: Clarendon Press; 1873.
- Bridgman PW. Dimensional analysis. 2nd ed. New Haven: Yale University Press; 1931.
- Chaulagain, A. Physics Integrated Morphing UAV (v1.0) [Software]. Zenodo; 2026. https://doi.org/10.5281/zenodo.19259263
- Feiler PH, Gluch DP, Hudak JJ. The Architecture Analysis & Design Language (AADL): An Introduction. Pittsburgh: Carnegie Mellon University, Software Engineering Institute; 2006. Report No.: CMU/SEI-2006-TN-011.
- Heitmeyer CL, Jeffords R, Labaw BG. Automated consistency checking of requirements specifications. ACM Trans Softw Eng Methodol. 1996;5(3):231–261. https://doi.org/10.1145/234426.234431
- Halbwachs N, Caspi P, Raymond P, Pilaud D. The synchronous data flow programming language LUSTRE. Proc IEEE. 1991;79(9):1305–1320. https://doi.org/10.1109/5.97300
- Benveniste A, Caspi P, Edwards SA, Halbwachs N, Le Guernic P, de Simone R. The synchronous languages 12 years later. Proc IEEE. 2003;91(1):64–83. https://doi.org/10.1109/JPROC.2002.805826
- Quigley M, Conley K, Gerkey B, Faust J, Foote T, Leibs J, Wheeler R, Ng A. ROS: An open-source robot operating system. In: ICRA Workshop on Open Source Software; 2009.
- Kennedy A. Programming Languages and Systems — ESOP ‘94. Berlin, Heidelberg: Springer Berlin Heidelberg; 1994. Dimension types; p. 348–362. https://doi.org/10.1007/3-540-57880-3_23
- Microsoft Corporation. Units of measure - F# language reference. Microsoft Docs; 2023. https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/units-of-measure
- Grecco HE. Pint: Operate and manipulate physical quantities in Python [Software]. GitHub; 2022. https://github.com/hgrecco/pint
- Anderson JD. Fundamentals of aerodynamics. 3rd ed. New York: McGraw-Hill; 2001.
- Barbarino S, Bilgen O, Ajaj RM, Friswell MI, Inman DJ. A review of morphing aircraft. J Intell Mater Syst Struct. 2011;22(9):823–877. https://doi.org/10.1177/1045389X11414084
- Katz J, Plotkin A. Low-speed aerodynamics. 2nd ed. Cambridge: Cambridge University Press; 2001. https://doi.org/10.1017/CBO9780511810329
- Leishman JG. Principles of helicopter aerodynamics. 2nd ed. Cambridge: Cambridge University Press; 2006.
- Bisplinghoff RL, Ashley H, Halfman RL. Aeroelasticity. Reading: Addison-Wesley;1955.
- Fung YC. An introduction to the theory of aeroelasticity. New York: John Wiley & Sons; 1955.
- Timoshenko SP. Strength of materials, Part II: Advanced theory and problems. 2nd ed. New York: D. Van Nostrand Company; 1940.
- RTCA. DO-178C: Software considerations in airborne systems and equipment certification. Washington, DC: RTCA Inc.; 2011.
- MISRA Consortium. MISRA C: 2012 — Guidelines for the use of the C language in critical systems. Nuneaton: MIRA Ltd.; 2013.
- Seacord RC. The CERT C coding standard: 98 rules for developing safe, reliable, and secure systems. 2nd ed. Upper Saddle River: Addison-Wesley; 2014.
- Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R, Mitra T, Mueller F, Puaut I, Puschner P, Staschulat J, Stenström P. The worst-case execution-time problem—overview of methods and survey of tools. ACM Trans Embed Comput Syst. 2008 Apr;7(3):1–53. https://doi.org/10.1145/1347375.1347389
- Shinan E. Lark: A modern parsing library for Python [Software]. GitHub; 2020. https://github.com/lark-parser/lark
- Milner R. A theory of type polymorphism in programming. J Comput Syst Sci. 1978;17(3):348–375. https://doi.org/10.1016/0022-0000(78)90014-4
- Hindley JR. The principal type-scheme of an object in combinatory logic. Trans Amer Soc. 1969;146:29–60. https://doi.org/10.1090/S0002-9947-1969-0253905-6
- de Moura L, Bjørner N. Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg: Springer Berlin Heidelberg; 2008. Z3: An Efficient SMT Solver; p. 337–340. https://doi.org/10.1007/978-3-540-78800-3_24
- Barbosa H, Barrett C, Brain M, Kremer G, Lachnitt H, Mann M, Mohamed A, Mohamed M, Niemetz A, Nötzli A, Ozdemir A, Preiner M, Reynolds A, Sheng Y, Tinelli C, Zohar Y. Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer International Publishing; 2022. cvc5: A Versatile and Industrial-Strength SMT Solver; p. 415–442. https://doi.org/10.1007/978-3-030-99524-9_24
- Buckingham E. On physically similar systems; illustrations of the use of dimensional equations. Phys Rev. 1914;4(4):345–376. https://doi.org/10.1103/PhysRev.4.345
- Kopetz H. Real-time systems: Design principles for distributed embedded applications. 2nd ed. New York: Springer; 2011. https://doi.org/10.1007/978-1-4419-8237-7
- Liu CL, Layland JW. Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM. 1973;20(1):46–61. https://doi.org/10.1145/321738.321743
- O’Hearn PW. Separation logic. Commun ACM. 2019;62(2):86–95. https://doi.org/10.1145/3211968
- Raissi M, Perdikaris P, Karniadakis GE. Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations. J Comput Phys. 2019;378:686–707. https://doi.org/10.1016/j.jcp.2018.10.045
- Paul S, Cruz E, Dutta A, Bhaumik A, Blasch E, Agha G, Patterson S, Kopsaftopoulos F, Varela C. Formal verification of safety-critical aerospace systems. IEEE Aerosp Electron Syst Mag. 2023;38(5):72–88. https://doi.org/10.1109/maes.2023.3238378
- Manzhos Y, Sokolova Y. Formal verification of aerospace cyber-physical system software. Proc 5th Int IT Prof Artif Intell (ProfIT AI 2025) 2025;4164:289–297. https://ceur-ws.org/Vol-4164/paper19.pdf
DOI: https://doi.org/10.2478/tar-2026-0011 | Journal eISSN: 2545-2835
Language: English
Page range: 119 - 138
Submitted on: Mar 28, 2026
Accepted on: May 12, 2026
Published on: Jun 17, 2026
Published by: ŁUKASIEWICZ RESEARCH NETWORK – INSTITUTE OF AVIATION
In partnership with: Paradigm Publishing Services
Keywords:
Related subjects:
© 2026 Aaryan Chaulagain, published by ŁUKASIEWICZ RESEARCH NETWORK – INSTITUTE OF AVIATION
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.