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 artikel
http://dx.doi.org/10.3384/ecp15118491Ingå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
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).
