Module 1: Eclipse, Groups, Basics

Eclipse ESCET

• 1. Installation an initialization
  • 1.1. Download
  • 1.2. Installation
  • 1.3. Workspace selection
  • 1.4. Mac and Linux
• 2. Importing the exercises
  • 2.1. Download
  • 2.2. Installation
  • 2.3. Web browser settings
  • 2.4. Updating
• 3. Importing a project
• 4. Importing an external file
• 5. Examples
• 6. Further info
• 7. Performance issues

Group formation

• Students form groups
• Teacher assigns workstations

Basics

• 1. Automata
• 2. Synchronizing events
  • 2.1. Synchronization
  • 2.2. Concluding remarks
• 3. State space
• 4. Non-determinism
  • 4.1. Non-determinism between events
  • 4.2. Non-determinism for single event
• 5. Event declaration placement
• 6. Shorter notations
  • 6.1. Self loop
  • 6.2. Declaring multiple events with a single declaration
  • 6.3. Multiple events on an edge
  • 6.4. Nameless location

Exercises: Single automata

• 1. Lamp 1 Essential
• 2. Lamp 2 Essential
• 3. Traffic lights 1 Essential
• 4. Two-place buffer
• 5. Dining philosophers 1
• 6. State space 1 Essential

Exercises: Networks of automata 1

• 1. Button lamp Essential
• 2. Traffic lights 2 Essential
• 3. State space 2 Essential
• 4. State space 3 Essential

Exercises: Shorter notation

• 1. Long model Essential
• 2. Two-place buffer 2

Exercises: Networks of automata 2

• 1. Machine - robot - machine Essential
• 2. Machines - buffer - test unit
• 3. Dining philosophers 2

Canvas quiz

Test your knowledge in the Canvas quiz of module 1.

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.

Note

Questions can be asked via the appropriate channels in Teams. Please use email only for private issues.