Requirement Analysis, Design and Verification (RADV, 2IW25)
Last update: December 12, 2008.
Teachers: J.F. Groote and M.R. Mousavi.
Extra lecture on December 15
On monday December 15 an extra lecture will be given. This lecture is solely
devoted to questions of students. It will take place at the 7/8th hour. This
lecture will take place in AUD16. This lecture will NOT be recorded.
Dates of the lectures and the examinations
1nd semester 2008/2009, monday 7/8 hour (AUD 16).
Friday 3/4 hour (AUD16, only in block A).
First lecture monday August 25, 2008.
Intermediate exam tuesday November 11, 2008 (14:00-17:00).
Possibility to retry
the intermediate exam on monday January 5, 2008, 14:00-17:00. See
information regarding the location.
to hand in the pre-report for the
assigment is December 5. Final report must be handed in on December 19.
Assignment and exam contribute
evenly to the final score. The lecture notes are not allowed to be used
at the exam.
Visit to Bosch CVT in Tilburg
The visit to Bosch CVT will take place on friday October 10. The first group
will leave at 8.45 and return at approximately 14.45. The second group will leave
at 13.15 and return at approximately 19.15 in Eindhoven. The bus will stop in front
of the Hoofdgebouw under the walking bridge between the Hoofdgebouw and the Auditorium.
In the morning Jan Friso Groote will accompany the group. In the afternoon Anget Mestrom
will be present. The address of Bosch CVT is: Dr. Hub van Doorneweg 120, 5026 RA Tilburg.
It is possible to travel to or from Tilburg on your own account, but if you are planning
to do so, please inform J.F.Groote@tue.nl.
Description of the assignment
The assignment for
this year's RADV is now available. It regards designing software controller for
the continuously automatic transmission (CVT) built by Bosch CVT in Tilburg that must be proven
to satisfy all the design requirements.
Slides used by Mohammad Mousavi
Mohammad's lecture 1.1.
Mohammad's lecture 1.2.
Mohammad's lecture 2.1.
Mohammad's lecture 2.2.
A note on verifying your design by Mohammad Mousavi
Mohammad Mousavi wrote
a small note on how to verify the requirements for the cvt controller.
The mCRL2 toolset
For those who want to use the mCRL2 toolset, look at the renewed
webpages. Among others, the pages allow to download the tools for various
platforms and contain manual pages.
All students can get an account at the notebook service centre (NSC)
of the faculty (HG8.86) to use the toolset
on svstud.win.tue.nl. Ask access to the
directory /scratch/2iw25 where large files can be stored.
This can be done by the NSC by putting you in an adequate group.
Make your own subdirectory with names group1, group2, etc.
If the NSC is closed more information is available at BCF (HG 8.73).
In order to use the
graphical tools it is necessary to log in using ssh with the `-Y' flag.
For using graphical programs from a windows machine, a X-server
must be installed. For a MacOsX machine an X-windowing systems comes with the
standard developers distribution (which is also required to compile the toolset).
Logging at the svstud can be done using a secure shell.
All the programs on svstud
reside in the directory /home/jfg/bin. Example files are in
/home/jfg/MCRL2/examples. In case of problems contact J.F.Groote@tue.nl.
All tools have a -help flag that gives a concise description of the
tool and its use. All tools can be started via the command line, and most
tools work in the squadt environment.