From DestecsWiki

 

Updating to version 1.3.1

A new option was added to the DESTECS IDE to update the projects configuration file to the latest version. This option is available by right-clicking a DESTECS project and then select DESTECS->Upgrade Project. This action updates the old library links and adds the script builder to the project. Upgrading old projects is highly recomended to everybody using version 1.3.1.

From version =<1.1.1 to 1.2.0

Projects made in version  1.1.1 or previous will not work on version 1.2.0 unless the configuration it is upgraded.

VDM Link file

Until version 1.1.1 the typical vdm link file looks like this:

input level=levelSensor.level;
output valve=valveActuator.valveState;

sdp maxlevel=Controller.maxLevel;
sdp minlevel=Controller.minLevel;

-- other linked names used in scenarios
model fault=levelSensor.fault;

From version 1.2.0, the variables in VDM need to be referenced by its complete qualified name and they should start from the "system" class (which in this case is Watertank).

input level=Watertank.levelSensor.level;
output valve=Watertank.valveActuator.valveState;

sdp maxlevel=Controller.maxLevel;
sdp minlevel=Controller.minLevel;

-- other linked names used in scenarios
model fault=Watertank.levelSensor.fault;

The other new feature of the link files is that it is possible to reference variables that are more than 1 level deep, although this should not influence the previous versions models.