Article | Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015 | Model Based Specifications in Aircraft Systems Design
Göm menyn

Title:
Model Based Specifications in Aircraft Systems Design
Author:
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
DOI:
10.3384/ecp15118491
Download:
Full text (pdf)
Year:
2015
Conference:
Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015
Issue:
118
Article no.:
053
Pages:
491-500
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2015-09-18
ISBN:
978-91-7685-955-1
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press, Linköpings universitet


Export in BibTex, RIS or text

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.

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

Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015

Author:
Martin R. Kuhn, Martin Otter, Tim Giese
Title:
Model Based Specifications in Aircraft Systems Design
DOI:
http://dx.doi.org/10.3384/ecp15118491
References:

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).

Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015

Author:
Martin R. Kuhn, Martin Otter, Tim Giese
Title:
Model Based Specifications in Aircraft Systems Design
DOI:
http://dx.doi.org/10.3384/ecp15118491
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21