jlbirccyn / JDEDS-Model

JDEDS Model

Model of the CAN driver for the paper submitted to JDEDS

ROMÉO can be downloaded from here

To compute the strategy

Open file can2jdeds.xml with ROMÉO. Press the "Check" button. Press the "Load Property" button and select file can2jdeds-prop.tctl. Then press the "Check Property" button.