System Level Analysis calls for a language comprehensible to experts with different background and yet precise enough to support meaningful analyses. SysML is emerging as an effective balance between such conflicting goals. In this paper we outline some the results obtained as for SysML based system level functional formal verification by an ESA/ESTEC study, with a collaboration among INTECS and La Sapienza University of Roma. The study focuses on SysML based system level functional requirements techniques.
Formal verification at system level / S., Mazzini; S., Puri; Mari, Federico; Melatti, Igor; Tronci, Enrico. - 669 SP:(2009). (Intervento presentato al convegno DASIA 2009 Conference on DAta Systems In Aerospace tenutosi a Istanbul nel 26 May 2009 through 29 May 2009).
Formal verification at system level
MARI, FEDERICO;MELATTI, IGOR;TRONCI, Enrico
2009
Abstract
System Level Analysis calls for a language comprehensible to experts with different background and yet precise enough to support meaningful analyses. SysML is emerging as an effective balance between such conflicting goals. In this paper we outline some the results obtained as for SysML based system level functional formal verification by an ESA/ESTEC study, with a collaboration among INTECS and La Sapienza University of Roma. The study focuses on SysML based system level functional requirements techniques.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
