Thanks to the SysML requirement diagram which is transformed into Modelica properties (constraints), we propose a technique using dynamic tests to verify WSN properties. We have used the Topcased ...

This paper will be of interest to those engaging stakeholders in the participatory modeling process, where a well-formed SysML model is being designed, maintained and revised in Cameo/MagicDraw, yet ...