A semi-automated approach for requirement-based early validation of flight control platforms
-
Published:2022-12-20
Issue:1
Volume:14
Page:271-280
-
ISSN:1869-5582
-
Container-title:CEAS Aeronautical Journal
-
language:en
-
Short-container-title:CEAS Aeronaut J
Author:
Chrysalidis PhilippORCID, Hoeber Hauke, Thielecke Frank
Abstract
AbstractWith the current trends in aviation like Single-Pilot-Cockpits and more autonomous functions in aircraft, flight control avionics are bound to become more complex. Future platforms will need to compensate for one or even both pilots, which will require systems that are more reliable. However, state-of-the-art development of flight control avionics does not yet support these demands efficiently. The development process involves numerous stakeholders who are communicating without streamlined interfaces. This leads to a slow and error-prone process during development. New methods are required to improve efficiency and to pave the way for future technologies. In this work, the authors introduce a semi-automatic toolchain which derives usable code for the configuration of devices from natural language requirements. The requirements are noted through modular components, stored as a model-based configuration file and are transformed into executables in the last step. This novel approach allows engineers to input their expertise when defining requirements, while removing tedious transformation tasks. Through automatic configuration testing, the validity of the approach is confirmed.
Funder
Bundesministerium für Wirtschaft und Technologie Technische Universität Hamburg
Publisher
Springer Science and Business Media LLC
Subject
Aerospace Engineering,Transportation
Reference12 articles.
1. Barnat, J., Beran, J., Brim, L., Kratochvíla, T., Ročkai, P.: Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. In: Formal Methods for Industrial Critical Systems, 17th International Workshop, Paris, France (2012) 2. Barner, S., Diewald, A., Migge, J., Syed, A., Fohler, G., Faugère, M., Pérez, D.G.: DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Austin, TX, USA (2017) 3. DO-178C - Software Considerations in Airborne Systems and Equipment Certification. Standard, Radio Technical Commission for Aeronautics (RTCA), Washington, D.C., USA (2011) 4. Sun, Y., Brain, M., Kroening, D., Hawthorn, A., Wilson, T., Schanda, F., Jiménez, F.J.G., Daniel, S., Bryan, C., Broster, I.: Functional Requirements-Based Automated Testing for Avionics. In: 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), Fukuoka, Japan (2017) 5. Darwesh, D.N., Annighöfer, B., Reichel, R.: Semi-automated Deployment of a High-lift System on IMA Using the Selective Middleware. In: 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), San Diego, CA, USA (2019)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Programming Routine Tasks Utilizing Scripting Automation in Generation of QSCAN Database;2023 2nd International Conference on Edge Computing and Applications (ICECAA);2023-07-19
|
|