Model Based Specifications in Aircraft Systems Design
Martin R. Kuhn, Martin Otter, Tim G. Giese · Linköping electronic conference proceedings · 2015
This application paper describes the concept and needs on model based specifications in order to specify the basic behavior of aircraft systems and methods to check the requirements.It is demonstrated how it can be implemented by recent Modelica based libraries, especially with the new Modelica_Requirements library.Two new FFT-based requirement blocks are proposed to allow full coverage of the specification.