Opgave. Een voorbeeld van een regelalgoritme vinden we bij verkeerslichten (stoplichten).
a) Aan welke, deels strijdige eisen, moet het regelalgoritme voor de verkeerslichten voldoen?
(In ieder geval: veiligheid en doorstroming van het verkeer)
b) Soms kun je aan één van de eisen tegemoet komen terwijl je andere eisen negeert; geef hiervan een voorbeeld voor de verkeerslichtregeling.
(Je kunt de veiligheid vergroten door alle verkeer stop te zetten (alles rood). - Bij mijn weten is er een plaats in Oostenrijk waar de veiligheid van het tramverkeer op die manier opgelost wordt: als er een onveilige situatie dreigt, worden alle trams stopgezet.
Deze vraag probeert duidelijk te maken wat het belang is van een volledige specificatie, waarin alle eisen expliciet gemaakt zijn: als je een eis vergeet, "omdat dat vanzelf spreekt" , loop je het risico een oplossing te krijgen die volstrekt onbruikbaar is.)
c) Een eenvoudige regeling van de verkeerslichten werkt met een tijdschema, eventueel aangepast aan de tijd van de dag; tegenwoordig is dat vaak uitgebreid met sensoren in de vorm van lussen in het wegdek. Wat is het mogelijke voordeel van het gebruik van deze sensoren boven een regeling met een tijdschema?
(De regeling kan zich aanpassen aan de werkelijke verkeerssituatie, in plaats van een aanname over een vaste relatie tussen de verkeerssituatie en het tijdstip van de dag.)
Eisen aan systemen - terminologie
Bij de eisen aan systemen, in het bijzonder systemen voor de besturing van apparaten, wordt vaak de volgende terminologie gebruikt:
Betrouwbaarheid: een systeem is betrouwbaar als het zich (vrijwel) altijd conform de eisen gedraagt als het gebruikt wordt op de normale manier.
Robuustheid: een systeem is robuust als het zich redelijk blijft gedragen als het gebruikt wordt op een manier die buiten het normale gebruik valt. Een brug die begint te kraken en doorbuigen bij overbelasting is robuuster dan een brug die bij overbelasting direct doorzakt.