CES Lab schedule

The first Lab of the Critical Embedded Systems course will take place on Wednesday, 16th of October where students can practice creating and analyzing fault trees. Students with Windows comupters are encouraged to download the TopEvent FTA tool from this website: https://www.fault-tree-analysis.com/free-fault-tree-analysis-software

The other Lab will take place on Wednesday, 13th of November where students can practice formal modeling and verification as well as using the UPPAAL tool that will be required for doing the homework. Uppaal can (and should) be downloaded from http://uppaal.org/

Attendance is compulsary for both and bringing your own laptop is highly recommended.