Modeling of system properties: research challenges and promising solutions

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.