UMLEmb
UML
for
Embedded
Systems

Labs

Two videos could help you starting with TTool:

Fall 2017: Eurecom

Installing TTool

TTool packages are installed in /packages/LabSoC/ttool
To be able to use TTool, you first need to install the configuration of TTool in your home directory. To do so, execute from a terminal the following command:
$ /packages/LabSoC/ttool/local_install/makeLocalInstall
This should create a directory named TTool_local in your home directory. This is done once for all, you don't need to re-execute that script in the future, apart when TTool is updated (your favourite teacher will tell you when to do this).
Now, to start TTool, do as follows:
~/TTool_local/bin/ttool.exe
or:
$ cd ~/TTool_local/bin
$ ttool.exe


If you want to use TTool on your own laptop, then, you need to download it and then to install it. Fully pre-installed version for Linux, Windows and MacOS are also available. Once downloaded, just uncompress the file, go in the TTool directory, and start it with ttool.exe

Report

Labs are graded (30%). You should provice a report and the models for labs #2 and #3 before the day of the exam.

Lab #1

  1. Open the PressureController model in TTool

  2. Perform simulations of the model. Using the simulator, make the following traces:
    • Start the alarm
    • Start the alarm, and then see what happens when a second "highPressure" is detected while the alarm is already "ON"
    • Show a trace when the alarm has been set to "ON" and then to "OFF"
    • Show a (long) trace where the alarm is never started
  3. Propose two safety pragmas different from the ones in the slides. One pragma must be satisfied, and the other one must be non satisfied. Verify the pragmas using UPPAAL.

  4. Generate the Reachability Graph of this system, and minimize it to 4 actions of your choice different from the ones of the slides

  5. Once you have finished working with the PressureController model, you should make in TTool the design of the Drone system. Once finished, you must prove these two properties:
    • A drone will eventually land
    • A drone will make an emergency land when the WIFI system fails and while the drone is following a path

Lab #2

Lab #3





Fall 2017: Polytech'Nice

Installing TTool

A fully pre-installed version for Linux is available there. Just uncompress it, go in the TTool/Linux directory, and start it with ttool.exe

Report

Labs #2 and #3 are graded. You should provice a report and the models for labs #2 and #3 before the day of the exam.

Lab #1

  1. Open this PressureController in TTool

  2. Perform simulations of the model. Using the simulator, make the following traces:
    • Start the alarm
    • Start the alarm, and then see what happens when a second "highPressure" is detected while the alarm is already "ON"
    • Show a trace when the alarm has been set to "ON" and then to "OFF"
    • Show a (long) trace where the alarm is never started
  3. Propose two safety pragmas different from the ones in the slides. One pragma must be satisfied, and the other one must be non satisfied. Verify the pragmas using UPPAAL.

  4. Generate the Reachability Graph of this system, and minimize it to 4 actions of your choice different from the ones of the slides

  5. Once you have finished working with the PressureController model, you should make in TTool the design of the RailRoad Crossing system. Once finished, you must prove these two properties:
    • When a train enters the crossing, either a message is sent to the HQ or the barriers are lowered
    • Two trains can be at the same time between "approach" and "leave"

Lab #2

Lab #3



Fall 2016: Eurecom

Installing TTool

TTool packages are installed in /packages/LabSoC/ttool
To be able to use TTool, you first need to install the configuration of TTool in your home directory. To do so, execute from a terminal the following command:
$ /packages/LabSoC/ttool/local_install/makeLocalInstall
This should create a directory named TTool_local in your home directory. This is done once for all, you don't need to re-execute that script in the future, apart when TTool is updated (your favourite teacher will tel you when to do this).
Now, to start TTool, do as follows:
~/TTool_local/bin/ttool.exe
or:
$ cd ~/TTool_local/bin
$ ttool.exe


If you want to use TTool on your own laptop, then, you need to download it and then to install it.
A fully pre-installed version for Linux is also available there. Just uncompress it, go in the TTool/Linux directory, and start it with ttool.exe

Report

Labs are graded (20%). You should provice a report and the models for labs #2, #3 and #4 before the day of the exam.

Short tutorial

Start by doing this short tutorial to learn the basics of TTool and AVATAR. Beware: the graphical user interface might be a bit different from the one described in the document.

Lab #1

This lab focuses on the modeling of automatic communications between Aircrafts and Air Control Towers. The general idea of the FANS is to automatically authenticate an aircraft reaching the area of control of an Air Control Tower.

Lab #2

Lab #3

Lab #4





Fall 2016: Polytech'Nice

Your report is expected Nov. the 13th, 11:59am, the latest. It should include answers to lab2 and lab3. Your models must be sent as well by email to adrien.canuel at telecom-paristech.fr, with the same deadline. You must also send by email to ludovic.apvrille at telecom-paristech.fr the design of the rail-road corssing system (same deadline).

The lab relies on a UML profile called AVATAR. AVATAR is quite similar to SysML, and SysML is a UML profile defined by the OMG. AVATAR is supported with a toolkit named TTool (pronounce "tea-tool"), and developped by Telecom ParisTech. TTool is a free software.

Installing TTool

You can download the last pre-configured Linux version of TTool here. Create a directory called TTool in your home directory and save the archive in it. You can then unzip it with the following command :
$ tar -zxvf ttool_linux.tgz
This should create a directory called linux, which contains all you need to use TTool. Now, to start TTool, do as follows:
$ cd ~/TTool/linux
$ ttool.exe


If you want to use TTool on your own laptop, then, you need to download it and then to install it.

Short tutorial

Start by doing this short tutorial to know how to use TTool and AVATAR.

Lab #1

This lab focuses on the modeling of automatic communications between Aircrafts and Air Control Towers. The general idea of the FANS is to automatically authenticate an aircraft reaching the area of control of an Air Control Tower.

Lab #2



Lab #3




Spring 2016: Telecom ParisTech (Paris Site)


The lab relies on a UML profile called AVATAR. AVATAR is quite similar to SysML, and SysML is a UML profile defined by the OMG. AVATAR is supported with a toolkit named TTool (pronounce "tea-tool"), and developped by Telecom ParisTech. TTool is a free software.

Installing TTool

TTool is installed by default in ~apvrille/LabSoC/ttool
To be able to use TTool, you first need to create a directory in which will be stored your AVATAR models, as well as your TTool configuration file. To do so, execute from a shell the following command:
$ ~apvrille/lab/ttool/local_install/makeLocalInstall
This should create a directory named TTool_local in your home directory. This is done once for all, you don't need to re-execute that script in the future.
Now, to start TTool, do as follows:
~/TTool_local/bin/ttool.exe
or:
$ cd ~/TTool_local/bin
$ ttool.exe


If you want to use TTool on your own laptop, then, you need to download it and then to install it.
A fully pre-installed version for Linux is also available there. Just uncompress it, go in the TTool/Linux directory, and start it with ttool.exe

Lab #1

This lab focuses on the modeling of automatic communications between Aircrafts and Air Control Towers. The general idea of the FANS is to automatically authenticate an aircraft reaching the area of control of an Air Control Tower.

Lab #2