Onderzoeksproject IT/IF/011 (Onderzoeksactie IT)
Het doel van het project is de problemen te bestuderen die verband houden met de automatisering van de transformatie van de grafische specificatie van een real time systeem in software voor een parallelle omgeving. Deze specificatie heeft de vorm van een machine met parallelle en hiërarchische staten (specificatietaal G++). De transformatie zal tweefasig verlopen. De eerste fase zal een abstract programma opleveren bestaande uit een groot aantal kleine sequentiële processen en een voorstelling van de voorwaarden (met name in de tijd) voor de specificatie en van de interacties tussen de processen. In een tweede fase zal het abstract programma worden gevormd tot een concreet programma voor een welbepaalde parallelle architectuur.
