A key aspect in the success of a space project is the capability to detect as soon as possible the problems that can arise during the project development. This approach allows to optimise mission reliability, project costs and temporal delays. In this paper a design tool, named PARAN, is proposed for parametric analysis of uncertain systems. This tool can be used in the very early design phase of the system, allowing to define the maximum extent of relevant parameter uncertainty ranges in which required system properties are guaranteed. A system requirement can be often represented by a Boolean property, as a function of a set of relevant design parameters. Given a method for checking that property, PARAN efficiently allows to estimate a multi-dimensional uncertainty region in the parameters space, in which the system satisfies the property. Main feature of the proposed tool lies in the efficient underlying algorithm for finding the uncertainty region, which minimizes the total number of property evaluations. In the paper a case study is presented, applying PARAN to estimate the maximum allowable aerodynamic uncertainty region where the CIRA USV is trimmable and manoeuvrable. Evaluation of PARAN efficiency with respect to usual industrial gridding techniques is reported.

A Tool For Space Vehicle Uncertainty Ranges Estimation

Tancredi, Urbano;Vitale, A;Verde, L;
2004-01-01

Abstract

A key aspect in the success of a space project is the capability to detect as soon as possible the problems that can arise during the project development. This approach allows to optimise mission reliability, project costs and temporal delays. In this paper a design tool, named PARAN, is proposed for parametric analysis of uncertain systems. This tool can be used in the very early design phase of the system, allowing to define the maximum extent of relevant parameter uncertainty ranges in which required system properties are guaranteed. A system requirement can be often represented by a Boolean property, as a function of a set of relevant design parameters. Given a method for checking that property, PARAN efficiently allows to estimate a multi-dimensional uncertainty region in the parameters space, in which the system satisfies the property. Main feature of the proposed tool lies in the efficient underlying algorithm for finding the uncertainty region, which minimizes the total number of property evaluations. In the paper a case study is presented, applying PARAN to estimate the maximum allowable aerodynamic uncertainty region where the CIRA USV is trimmable and manoeuvrable. Evaluation of PARAN efficiency with respect to usual industrial gridding techniques is reported.
2004
9781604236477
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: https://hdl.handle.net/11367/29115
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact