Home Courses System Validation Course materials Exercises System Validation – Exercises

System Validation – Exercises

Course subject(s) 1. System Validation – An Introduction 2. Strong behavioral equivalences and Weak behavioral equivalences 3. Abstract Data Types 4. Sequential Processes: Theory 5. Coffee Machine Example 6. Parallel Processes: Theory 7. Modal mu-Calculus 8. Model Examination with Solutions

The projects assignment is to design a controller for a small distributed and/or embedded system. A full project description can be downloaded from the link below.

IN4387_Project_Description_Mousavi

Example reports from the last year’s project can be downloaded from here:

IN4387_Example_report_Team_7_final_report

IN4387_Example_report_Annex_A_The_commented_code

IN4387_Example_report_Annex_B_Verification_of_the_requirements_using_xsim_tool

IN4387_Example_report_Annex_C_PBES2BOOL_Output

Creative Commons License

System Validation by TU Delft OpenCourseWare is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Based on a work at https://ocw.tudelft.nl/courses/system-validation/.