Course Requirements

To pass the course the student has to fulfill the following requirements:

• Attend the exercise hours and complete 75% of the assignments in each of the 5 groups before they are elaborated in the exercise hours. If a student, for a very good reason, cannot attend the exercise hours, she/he has to deliver the assignments due for that day to the course assistant before the exercise hour starts.

• You have to complete all labs which have to be approved by a lab assistant.

• Pass the final exam. You are only admitted to the exam after you have finished the assignments and after you have completed all labs. The grade for the exam will be the main criteria for the grade of the course.

The following chapters and sections of the course book Modeling Embedded Systems and SoC's are part of the course content and may be subject of the exam:

• sections 1.1 - 1.4: Introduction
• chapter 2: FSMs and Petri Nets
• sections 3.1 - 3.4: Untimed Model of Computation (MoC)
• sections 3.6 - 3.7
• sections 3.9 - 3.15
• chapter 4: Synchronous MoC
• chapter 5: Timed MoC
• chapter 6: MoC Integration
• chapter 7: Tightly coupled MoCs