Veel appraten kun je beschouwen als een automaten die zich in een bepaalde toestand bevinden. De werking van zo een apparaat komt er dan op neer dat het van toestand kan veranderen, soms door een actie van een gebruiker, soms vanzelf na verloop van tijd of door een bepaalde omstandigheid.
Om voor dergelijke apparaten software te kunnen ontwikkelen en testen voordat het apparaat daadwerkelijk is gebouwd kunnen we gebruik van modellen.
In deze module ga je jezelf dan ook verdiepen in het modelleren van en testen met een eindige automaat en je bekijkt en bewekt een simulatie dioe met behulp van Greenfoot in Java is geprogrammeerd.
Als voorbeeld begin je met een eenvoudige robotstofzuiger waarvan een deel van het model al bestaat, je breidt dit dan verder zelf uit aan de hand van de opdrachten. Je leert dus steeds in 3 stappen: