Model Based Specifications in Aircraft Systems Design

Martin R. Kuhn
Institute of System Dynamics and Control, German Aerospace Center (DLR e.V.), Germany

Martin Otter
Institute of System Dynamics and Control, German Aerospace Center (DLR e.V.), Germany

Tim Giese
Airbus operations GmbH, Germany

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp15118491

Ingår i: Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015

Linköping Electronic Conference Proceedings 118:53, s. 491-500

Visa mer +

Publicerad: 2015-09-18

ISBN: 978-91-7685-955-1

ISSN: 1650-3686 (tryckt), 1650-3740 (online)


This application paper describes the concept of and needs on model based specifications of the basic behavior of aircraft systems and methods to check the requirements. It is demonstrated how a Modelica based implementation, especially with the new Modelica Requirements library together with additional FFT-based requirement blocks, has advantages over an existing tool chain of an airframer.


executable specification; requirements; system design; aircraft design; FFT-based requirements


Becker C., and Giese T. (2011). Application of model based functional specification methods to environmental control systems engineering. SAE Paper : Aerotech Congress& Exhibition.

Becker C. et.al. (2013). Efficiency of model based methodologies in air systems engineering. AST Workshop on Aircraft System Technologies.

Becker C. (2014). Modellbasierter Entwurf von Flugzeugklimasystemen: Herausforderungen und Nutzen funktionaler Systemspezifikationen. Technical report, Airbus Germany, EYVVC.

Borgerding M. (2003). Kiss fft. URL: http://sourceforge.net/projects/kissfft/.

CleanSky (2014). Deliverable D2.1.4: Simulation and Design Platform Report. Revision b. Technical report, Cleansky SGO.

CleanSky project (2015). Systems for green operation (sgo). URL: http://www.cleansky.eu.

Cooley, James W.; Tukey, John W. (1965). "An algorithm for the machine calculation of complex Fourier series". Math. Comput. 19: 297–301. doi: 10.2307/2003354

Elmqvist H., Gaucher F., Mattsson S.E., and Dupont F (2012). State Machines in Modelica. Proceedings of the 9th International Modelica Conference, Munich, Germany, Sept. 3-5. Download: http://www.ep.liu.se/ecp/076/003/ecp12076003.pdf

Elmqvist H., Olsson H., and Otter M. (2015). Constructs for Meta Properties Modeling in Modelica. Accepted for Modelica’2015 conference.

G. Heinzel, A. Rüdiger and R. Schilling (2002). Spectrum and spectral density estimation by the Discrete Fourier transform (DFT), including a comprehensive list of window functions and some new at-top windows. URL: http://www.rssd.esa.int/SP/LISAPATHFINDER/docs/Data_Analysis/GH_FFT.pdf

Klöckner A. (2014). The Modelica BehaviorTrees Library: Mission Planning in Continuous-Time for Unmanned Aircraft. Proceedings of the 10th International Modelica Conference, pp. 727 –736, Lund , Sweden, March 10 -12. DOI: 10.3384/ ECP 14096727. Download: http://www.ep.liu.se/ecp/096/076/ecp14096076.pdf

Kuhn M.R. (2011). Advanced generator design using paretooptimization. Power Electronics and Drive Systems (PEDS), 2011 IEEE Ninth International Conference on, pp. 1061 –1067, Dec. DOI: 10.1109/PEDS.2011.6147391.

Kuhn M.R., and Ji Y. (2014). Modelica for large scale aircraft electrical network V&V. Proceedings of the 10th International Modelica Conference, pp. 747-756. DOI: 10.3384/ECP14096747. Download: http://www.ep.liu.se/ecp/096/078/ecp14096078.pdf

MathWorks (2015a). Simulink Toolbox: Verification and Validation. URL: http://www.mathworks.com/products/simverification/.

MathWorks (2015b). Stateflow. URL http://www.mathworks.com/products/stateflow/.

MIL704F (2004). MIL-STD-704F: Aircraft electric power characteristic. Download: http://everyspec.com/MILSTD/MIL-STD-0700-0799/MIL-STD-704F_1083/

Myers T., Geoff Dromey R. and Fritzson P. (2010). Comodeling: From Requirements to an Integrated Software/Hardware Model. IEEE Computer, vol.44, no. 4, pp. 62-70, April 2011

Otter M., Thuy N., Bouskela D., Buffoni L., Elmqvist H., Fritzson P., Garro A., Jardin A., Olsson H., Payelleville M., Schamai W., Thomas E., Tundis A. (2015). Formal Modeling and Automatic Verification of Requirements. Accepted for Modelica’2015 conference.

Thuy N. (2014). D2.1.1 – Modelica extensions for properties modelling, Part III: Formal Requirements Modelling LAnguage (FORM-L). Internal report, ITEA2 MODRIO project, Sept. 2014.

Tunnat M. (2011). Integration modellbasierter Methoden in den Entwicklungsprozess hybrider Flugzeugregelungssysteme am Beispiel des Ventilation-Control-System. Master thesis, Technical University Hamburg-Harburg, Institut für Flugzeug-Kabinensysteme, supervised by C. Becker and T. Giese (Airbus).

Citeringar i Crossref