Modeling of system properties deals with formally expressing constraints and requirements that influence and determine the structure and behavior of a system. System Property Models enable the verification of system properties through real or simulated experiments so as to support their evaluation during system design and their monitoring duringsystem operation. However, several research challenges should be addressed to effectively handle systems properties, ranging fromconceptual properties representation to tracing and verification.The paper aims at discussing these main challenges andpresenting some promising solutions by focusing on those resulting from recent Systems Engineering research efforts.

Modeling of system properties: research challenges and promising solutions

GARRO, Alfredo;TUNDIS A.
2015

Abstract

Modeling of system properties deals with formally expressing constraints and requirements that influence and determine the structure and behavior of a system. System Property Models enable the verification of system properties through real or simulated experiments so as to support their evaluation during system design and their monitoring duringsystem operation. However, several research challenges should be addressed to effectively handle systems properties, ranging fromconceptual properties representation to tracing and verification.The paper aims at discussing these main challenges andpresenting some promising solutions by focusing on those resulting from recent Systems Engineering research efforts.
978-1-4799-1919-2
Model-Based Systems Engineering; System Properties Modeling; Binding and Automated Model Composition; Tracing and Verification
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/20.500.11770/180891
 Attenzione

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

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