Model Based Specifications in Aircraft Systems Design

Kuhn, Martin R.; Otter, Martin; Giese, Tim

doi:10.3384/ecp15118491

Cited by 9 publications

(6 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The library in the current form (July 2015) is in an Alpha version. It is planned to additionally implement FORM-L components with overlapping sliding time windows, to include dynamic response and FFT requirement blocks from (Kuhn et al, 2015), to introduce continuous indicators for the properties where this is possible (in order that property blocks can be directly used as constraints or criteria for optimization-based methods), to add use cases of EDF and Dassault Aviation, and to connect the library to existing verification frameworks, such as TestWeaver.…”

Section: Discussionmentioning

confidence: 99%

Formal Requirements Modeling for Simulation-Based Verification

Otter¹,

Nguyen²,

Bouskela³

et al. 2015

Linköping Electronic Conference Proceedings

Self Cite

View full text Add to dashboard Cite

This paper describes a proposal on how to model formal requirements in Modelica for simulation-based verification. The approach is implemented in the open source Modelica_Requirements library. It requires extensions to the Modelica language, that have been prototypically implemented in the Dymola and Open-Modelica software. The design of the library is based on the FOrmal Requirement Modeling Language (FORM-L) defined by EDF, and on industrial use cases from EDF and Dassault Aviation. It uses 2-and 3valued temporal logic to describe requirements.

show abstract

Section: Discussionmentioning

confidence: 99%

Formal Requirements Modeling for Simulation-Based Verification

Otter¹,

Nguyen²,

Bouskela³

et al. 2015

Linköping Electronic Conference Proceedings

Self Cite

View full text Add to dashboard Cite

show abstract

“…In (Kuhn et al,2015) a Total Harmonic Distortion based steady-state detector was proposed. Its "signal model" relies on the Fourier spectrum.…”

Section: Discrete Fourier Transformation Based Thd Criterionmentioning

confidence: 99%

“…The main features of the implementation by the Modelica block "WithinAbsoluteFFTdomain_THD" were already discussed in (Kuhn et al,2015). It is a big advantage of this method, that the AC signal can be taken directly as an input.…”

Section: Discrete Fourier Transformation Based Thd Criterionmentioning

confidence: 99%

“…The following section builds on the results in (Kuhn et al,2015) and goes into deeper discussion on the parameterization of the Discrete Fourier Transformation needed for THD evaluation, and their influence on steady-state detection. Use of Discrete and Fast Fourier Transformation itself is not discussed here but (Kuhn et (proper anti-aliasing by a low-pass filter is assumed).…”

Section: Appendix: Parametrization Of Fft and Derived Measures For Dementioning

confidence: 99%

“…This definition is industrially sufficient for the purpose of testing of THD. It was proposed in (Kuhn et al,2015).…”

mentioning

confidence: 99%

See 2 more Smart Citations

Periodic Steady State Identification of electrical circuits

Kuhn

2017

Linköping Electronic Conference Proceedings

View full text Add to dashboard Cite

Analysis of dynamic systems is often carried out at steady state condition. For cyclic systems like rotating machinery, it is not possible to detect this condition by simply monitoring the change rate of their variables, due to their periodicity. This paper focuses on methods for stationary periodic steady state identification of AC electrical systems. An overview of relevant methods is given and mappings of periodic variables to equivalent stationary variables are discussed. Two new periodic steady state monitors based on Short Time Fourier Transformation are proposed. The study was motivated by the need to identify the steady state condition of an aircraft electrical network for power quality checks. An implementation with Modelica tools is demonstrated.

show abstract

Stakeholder-oriented systematic design methodology for prognostic and health management system: Stakeholder expectation definition

Verhagen

Curran

2020

Advanced Engineering Informatics

View full text Add to dashboard Cite

Model Based Specifications in Aircraft Systems Design

Cited by 9 publications

References 8 publications

Formal Requirements Modeling for Simulation-Based Verification

Formal Requirements Modeling for Simulation-Based Verification

Periodic Steady State Identification of electrical circuits

Stakeholder-oriented systematic design methodology for prognostic and health management system: Stakeholder expectation definition

Contact Info

Product

Resources

About