Requirement analysis, modeling and verification are an important part of the development process. There is a strong need for integrating these aspects into a formalized model-driven development process, together with a dedicated methodology as well as effective tool-chains. In this context, the paper presents a Modelica-based implementation of an approach for the formal modeling of system properties and the simulation-based verification of requirements. The tool-chain and the workflow adopted are described. The solution is applied to evaluate different design variants of a trailing-edge high-lift system. Two ways to feed the requirements model are explored: in an early phase, data series are used to evaluate the requirements themselves; then a co-simulation of the requirements model with the 3D-model of the system is used to evaluate and identify what design variants best meet the system requirements. Furthermore, the lessons learned from the experimentation, pros and cons, what needs to be solved about the approach, and the steps that it currently misses are discussed.

Formal modeling of system properties for simulation-based verification of requirements: Lessons learned

Aiello, Francesco;Garro, Alfredo;
2017

Abstract

Requirement analysis, modeling and verification are an important part of the development process. There is a strong need for integrating these aspects into a formalized model-driven development process, together with a dedicated methodology as well as effective tool-chains. In this context, the paper presents a Modelica-based implementation of an approach for the formal modeling of system properties and the simulation-based verification of requirements. The tool-chain and the workflow adopted are described. The solution is applied to evaluate different design variants of a trailing-edge high-lift system. Two ways to feed the requirements model are explored: in an early phase, data series are used to evaluate the requirements themselves; then a co-simulation of the requirements model with the 3D-model of the system is used to evaluate and identify what design variants best meet the system requirements. Furthermore, the lessons learned from the experimentation, pros and cons, what needs to be solved about the approach, and the steps that it currently misses are discussed.
Formal properties modeling; Model-based systems engineering; Modelica; Modeling and simulation; Requirements engineering; System verification; Computer Science (all)
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/20.500.11770/270223
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact