Downloads

The files in the tables below are free to download:

whitepaper.pdf The document describing the concepts behind TismTool, including the Transaction Mechanism.
comparison_fv_erv.pdf Paper: "Comparison between formal verification and runtime verification of state machines in modeled software controllers".
TismTemplate.xml The XMI template file: the starting point for an empty UML model.
TismTool.zip Zipped archive of TismTool and the supporting RTE source files including OSAL (Linux and Windows).

This table contains for all demos the zipped archive of all the files, for each of the 4 programming languages. The archives with prefix "L_" are based on Linux; all others are Windows based.

demo C# Java C++ C
Airco AllAirco.zip AllAirco_Java.zip AllAirco_Cpp.zip ,
L_AllAIRCO_CPP.tar.gz		 AllAirco_C.zip ,
L_AllAIRCO_C.tar.gz
Calculator AllCalculator.zip AllCalculator_Java.zip AllCalculator_Cpp.zip ,
L_AllCALCULATOR_CPP.tar.gz		 AllCalculator_C.zip ,
L_AllCALCULATOR_C.tar.gz
Foreign AllForeign.zip AllForeign_Java.zip AllForeign_Cpp.zip AllForeign_C.zip
Howlers AllHowlers.zip AllHowlers_Java.zip AllHowlers_Cpp.zip ,
L_AllHOWLERS_CPP.tar.gz		 AllHowlers_C.zip ,
L_AllHOWLERS_C.tar.gz
MediaPlayer AllMediaPlayer.zip AllMediaPlayer_Java.zip AllMediaPlayer_Cpp.zip ,
L_AllMEDIAPLAYER_CPP.tar.gz		 AllMediaPlayer_C.zip ,
L_AllMEDIAPLAYER_C.tar.gz
Twins AllTwins.zip AllTwins_Java.zip AllTwins_Cpp.zip ,
L_AllTWINS_CPP.tar.gz		 AllTwins_C.zip ,
L_AllTWINS_C.tar.gz

Installation

Installing TismTool is an easy manual procedure:

  1. TismTool is a C# program requiring Microsoft .NET Framework 3.5 SP1.
  2. Unzip TismTool.zip and maintain the directory structure in the zip file.

That's all. You can now start program TismTool.exe in your installation directory.

By downloading and/or using the above items you accept the terms of the Disclaimer. So make sure you have read it before downloading or using anything from this section of the site. In general terms that means you use them at your own risk, and we accept NO RESPONSIBILITY WHATSOEVER for anything that may occur as a result of your use of, or inability to use, any item provided via these pages.

AllAirco_Cpp.zip