RWS-C-regelaar : handleiding

De basisstructuur is een methode voor het ontwerpen en specificeren van programma's voor verkeersregelinstallaties (regelprogramma's) op kruispunten. De RWS-C-regelaar wordt besproken (functie, voordelen en nadelen van gebruik,hardware en software, installatie). In hoofdstuk 2 wordt de programmeertaal C behandeld (o.a. Microsoft C-compiler). In h.3 wordt beschreven hoe een applicatiespecificatie er als invoer voor de RWS-C-regelaar uit moet zien. In h.4 komen de grafische hulpmiddelen aan de orde, waarmee binnen de RWS-C-regelaar applicatiespecificaties getest kunnen worden. In h.5 wordt beschreven hoe een regeling voor de RWS-C-regelaar gegenereerd moet worden, hoe de applicatiespecificatie in C in het regeltoestel geimplementeerd moet worden en hoe deze implementatie voor testdoeleinden in de pc gesimuleerd moet worden. Verder wordt de volgorde van de uitvoering van de formules uit de basisspecificatie beschreven. In h.6 komt de debugger aan de orde. Appendix met foutmeldingen.