Background for the header
To the home page of the University of Antwerp

 

 

State-Based Specifications - State Diagrams

Doelstellingen

  • De studenten kennen een subset van de syntax van state diagrams
  • De studenten kunnen eenvoudige systemen specifiëren met behulp van state diagrams

Context

Robot In opgave 2 en 3 worden jullie verwacht om de werking van een robot te modeleren met behulp van state diagrams. In dit punt leggen we uit hoe de robot werkt.
  • Onze robot wordt ingezet als vorklift in het magazijn van een fabriek. Hij wordt gebruikt om palletten met goederen, die gestapeld werden op planken in rekken, op te pikken en naar de gewenste plaats te brengen. Om een pallet op te pikken rijdt de robot op een rechte lijn tot wanneer een zijstraat die naar een rek leidt gedecteerd wordt. De robot draait en rijdt tot aan het rek, waar hij zijn vorklift gebruikt om de bovenste pallet op te pikken.
  • De robot bestaat uit volgende onderdelen:
    • twee motoren om te kunnen rijden: een linkse en een rechtse
    • twee lichtsensoren
    • een vork en een motor om de lift aan te sturen
    • een druksensor aan de vork die zowel detecteert wanneer de volk aan de voorkant als aan de onderkant geraakt wordt

Opgaves

Opgave 1

Bestudeer de 2 gegeven state diagrams en identificeer de gebruikte syntactische onderdelen (Zie Documenten).

Opgave 2

  • Modeleer met behulp van een state diagram hoe de robot een rechte lijn kan volgen. Hint: maak gebruik van een lichtsensor om te decteren of de robot op de lijn rijdt, of aan de linker- of rechterkant van de lijn.
  • Modeleer met behulp van een state diagram hoe de robot draait wanneer hij een zijstraat detecteert. Hint: maak gebruik van de tweede lichtsensor.
Straight line: Straight Crossing: Crossing

Opgave 3

Modeleer met een state diagram het oppikken van een pallet van een rek. Hint: activity expressies kunnen atributen en operaties gebruiken die beschikbaar zijn voor de classifier die de state-machine implementeert.

Documenten

Je kan hier een document met 2 voorbeeld state diagrams terugvinden.

Oplossingen

Valid HTML 4.01! Valid CSS!

 Lab On REengineering - Antwerpen, last modified 13:39:34 15 November 2016