Module 3: Reuse 1, Time, SVG

Reuse 1

• 1. Constants
• 2. Algebraic Variables
• 3. Algebraic Variables and Equations

Time

• 1. Timing
  • 1.1. Variable time
  • 1.2. Timed guards
  • 1.3. Time transitions
  • 1.4. Urgency
  • 1.5. Numeric time
• 2. Continuous Variables
• 3. Continuous Variables and Equations
• 4. Equations readability
• 5. Variables overview
• 6. Urgency
  • 6.1. Event urgency
  • 6.2. Location urgency
• 7. Monitoring
  • 7.1. Execution of the model
  • 7.2. Monitoring with self loops
  • 7.3. Monitoring using a monitor declaration
  • 7.4. Second monitoring example
  • 7.5. Monitoring all events of an automaton
• 8. Deadlock and livelock
  • 8.1. Deadlock
  • 8.2. Livelock

SVG

• 1. Working with SVG
• 2. Inkscape
  • 2.1. Inkscape installation
  • 2.2. Inkscape interface
  • 2.3. XML Editor
  • 2.4. Changing the stacking order of overlapping objects
  • 2.5. Grouping objects
  • 2.6. Additional information
• 3. Input
  • 3.1. Uncontrollable events
• 4. Output - Fill & Display
  • 4.1. Fill
  • 4.2. Display
• 5. Output - Width & Transform
  • 5.1. Width
  • 5.2. Transform

Exercises: Reuse 1

• 1. Referee 2
• 2. Height Check Essential
• 3. Bouncing Ball 1

Exercises: Time

• 1. Coffee machine Essential
• 2. Inkscape installation and setup Essential
• 3. Lamp with SVG visualization Essential
• 4. Conveyer Essential
• 5. Pusher Essential
• 6. Pusher with visualization Essential
• 7. Pusher with product
• 8. Bouncing ball 2
• 9. Race
• 10. Robot dance revolution
• 11. Elevator

Canvas quiz

Note

The questions on SVG have been moved to the quiz on Module 4.

Test your knowledge in the Canvas quiz of Module 3. The deadline for the Canvas quiz can be found in the study guide and in the assignment in Canvas. The Canvas quiz contributes to your final grade. More on this can be found in the study guide.

Canvas.