From 3d43ac417d53acc0413f04604363f1ab4a29f8c9 Mon Sep 17 00:00:00 2001 From: Gabor Szarnyas Date: Mon, 13 Mar 2017 08:39:14 +0100 Subject: [PATCH] Update README --- README.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 51a6f50e6..3f9cdc0c7 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,9 @@ -# vcs-ci-lab -This is a sample application for the version control systems and continuous integration laboratory. +# verification-lab + +This is a sample application for the verification laboratory. ## Overview + The application represents a simple train controller system with the following three components. * Sensor: The sensor can detect the change in the speed limit of the track and can signal in such cases to the controller. @@ -12,4 +14,4 @@ Setting the reference speed of the train works in the following way. The user ca ![speed example](doc/speed_example.png) -First, the reference speed and the joystick is both at zero. At the first time unit, the joystick is set to a positive value, thus the reference speed is also incremented. As the joystic remains at a positive value, the reference speed is incremented again. However, it reaches the speed limit so in the next step it is not incremented even though the joystick still has a positive value. Later, the joystick is set to a negative position for one time unit, making the reference speed to decrease as well. \ No newline at end of file +First, the reference speed and the joystick is both at zero. At the first time unit, the joystick is set to a positive value, thus the reference speed is also incremented. As the joystick remains at a positive value, the reference speed is incremented again. However, it reaches the speed limit so in the next step it is not incremented even though the joystick still has a positive value. Later, the joystick is set to a negative position for one time unit, making the reference speed to decrease as well.