SAWS² - Safety Analysis, Validation & Verification for SysML v2

SAWS² is a new set of plugins to extend the Eclipse framework with the purpose of enabling validation, formal verification, and safety analysis of formal models specified in a fragment of SysML v2.

SAWS² is a new version of SAVVS, rewritten from scratch and without the dependency from the SysML v2 Pilot Implementation. In turn, SAVVS can be seen as the evolution of CHESS, a cross-domain, model-driven, component-based and open-source tool for the development of high-integrity systems, which supports SysML v1.

SAWS² features an automatic Model-to-Model transformation, eased by the use of open-source FBK libraries and facilitates the use of formal methods tools OCRA, nuXmv, and xSAP.

Contacts

Stefano Tonetta <>
Luca Cristoforetti <>

Website