=============
SWaT tutorial
=============

Section Title
=============

Subsection Title
-----------------------


=============
SWaT tutorial
=============

Section Title
=============

.. code-block:: python

   import this

   class that


ciao


Subsection Title
-----------------------

General View
=============

This tutorial shows hot to use MiniCPS to simulate a part of a real water
Threatment testbed. The testbed is called *SWaT* that stands for *Secure Water
Threatment* and it is used by SUTD (Singapore University of Technology and
Design) researcher as students in the context of Cyber-physical systems
security.

Process and Control Strategy
----------------------------

.. TODO: add Nils pic
.. image:: images/block-scheme.png

The simulation focuses on the first subprocess of the SWaT testbed. In normal
operating conditions the water flows into a Raw water tank (T101) passing through a
flow level sensors (FIT101) and an open motorized valve (MV101). T101 has a
water level indicator (LIT101) able to measure the quantity of water inside
the tank. A pump (P101) [#]_ is able to move the water to the next stage.

The whole subprocess is controlled by a set of *PLCs (Programmable Logic Controllers)*
``plc1`` reads 

.. [#] The real system uses two redundant pumps, one is working and the other
       is in stand-by mode.


Implementation
----------------


This tutorial shows how to use MiniCPS to simulate aaaaa aaa aa aa aaa aaa aaaaaa aaa  part of a real testbed called SWaT (Secure Water Threatment)

Subsection Title
-----------------------

Section Title
=============

Subsection Title
-----------------------


Work on swat tutorial doc
Work on swat tutorial doc
