AUTHORS: L. Pace, P. Maggiore

Download as PDF

ABSTRACT: Verification of space systems is a complex process that involves large amounts of resources, engineering work and documentation. Several criticalities exist which can reduce the effectiveness of the process, as the need to track requirements and verification activities along the product life cycle, the consistency of data and the generation of documentation containing punctual pieces of information. The current verification approach is effective from a technical point of view, which means that few non conformances able to impact the mission escape the verification campaign prior of launch. Nevertheless, the process can have margin of improvement. The introduction of a model-based methodology has been theorized and is described in this paper, evidencing how the documents and products currently involved in the verification process can be represented as models to obtain a number of advantages. The approach is differentiated per verification method, with a particular focus on test and analysis, which involve a major part of the system requirements and the most costly verification activities.

KEYWORDS: verification of space systems, model-based methodology, test and analysis, system requirements

REFERENCES:

[1] M. Pasquinelli, Complexity Management of Space Systems through Model Based System Engineering approach, Politecnico di Torino, PhD thesis, March 2010.

[2] B. Laine, P. Messidoro, M. Pasquinelli, P. Giordano, L. Pace, F. Vergès, R. Werner, Analysis of Spacecraft qualification Sequence and Environmental Testing, 29th Aerospace Testing Seminar, Los Angeles, USA, 2015.

[3] ECSS-E-ST-10-02C - Space Engineering: Veri fication, March 2009.

[4] ECSS-S-ST-00-01C - ECSS system: Glossary of terms, October 2012

[5] ECSS‐M‐ST‐10C - Space project management: Project planning and implementation, March 2009.

[6] ECSS-S-ST-00-01C - ECSS system: Glossary of terms, October 2012.

[7] H. Eisenmann, J. Miro, H.P. De Koning, MBSE for European Space-Systems Development, INCOSE Insight, 2009.

[8] INCOSE System Engineering Vision 2020, INCOSE-TO-2004-004-02, version 2.03, 2007.

[9] M. Pasquinelli, D. Gerbaz, J. Fuchs, V. Basso, S. Mazzini, L. Baracchi, L. Pace, M. Lassalle, J. Viitaniemi, Model-based approach for the verification enhancement across the lifecycle of a space system, SECESA 2014, Stuttgart, Germany, 8-10 October 2014.

[10] M. Pasquinelli, V. Basso, S. Mazzini, L. Baracchi, S. Puri, D. Gerbaz, J. Fuchs, L. Pace, M. Lassalle, J. Viitaniemi, Model-based approach for the verification enhancement across the lifecycle of a space system, Proc. of CIISE Conference, Rome, 2014.

[11] F. Jouault, F. Allilaire, J. Bézivin, I. Kurtev, ATL: A model transformation tool. Science of computer programming, Vol.72, No.1, 2008, pp. 31-39.

[12] T. Mens, P. Van Gorp, A taxonomy of model transformation. Electronic Notes, Theoretical Computer Science, Vol.152, 2006, pp. 125-142.

[13] K. Czarnecki, S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, Vol.45, 2006, pp. 621-645.

[14] A. A. Sani, F. A. Polack, R. F. Paige, Model transformation specification for automated formal verification, Proc. of the 5th Malaysian Conference in Software Engineering (MySEC) December 2011, pp. 76-81.

[15] R. J. Brooks, A. M. Tobias, Choosing the best model: level of detail, complexity, and model performance, Mathematical and computer modelling, Vol.24, No.4, 1996, pp. 1-14.

[16] J.O. Henriksen, Taming the complexity dragon, Journal of Simulation,Vol.2, No.1, 2008, pp. 3- 17.

[17] L. Borello, M. D. L. Dalla Vedova, A dry friction model and robust computational algorithm for reversible or irreversible motion transmission, International Journal of Mechanics and Control (JoMaC), Vol. 13, No. 2, December 2012, pp. 37-48, ISSN: 1590- 8844.

[18] L. Borello, M. D. L. Dalla Vedova, P. Alimhillaj, Proposal of Innovative Fluid Dynamic Nonlinear Servovalve Synthetic Models, International Journal of Mechanics and Control (JoMaC), Vol. 14, No. 2, December 2013, pp. 39-49, ISSN: 1590-8844.

[19] L. Pace, M. Ferro, F. Fraternale, M. D. L. Dalla Vedova, A. Caimano, P. Maggiore, Comparative analysis of a hydraulic servovalve, International Journal of Fluid Power, Vol.14, No.2, 2013, pp. 53-62.

[20] W. B. Zimmerman, Multiphysics Modeling With Finite Element Methods (series on Stability, vibration and control of systems, serie), World Scientific Publishing Co., 2006.

[21] J. G. Michopoulos, C. Farhat, J. Fish, Modeling and simulation of multiphysics systems, Journal of Computing and Information Science in Engineering, Vol.5, No.3, Modeling and simulation of multiphysics systems, 2005, pp. 198-213.

[22] M. D. L. Dalla Vedova, P. Maggiore, G. Riva, Modelling of a safety relief valve through a MATLAB-Simulink and CFD based approach, WSEAS Transactions on Fluid Mechanics, Vol. 11, Art. #22, 2016, pp. 173-178.