| Titel | Stepwise Refinement of Hybrid Systems |
|---|---|
| Projectnummer | SION 612-14-004 |
| Medewerkers | prof. dr. Frits Vaandrager,
CSI, Nijmegen (projectleider)
drs. Ansgar Fehnker (OiO) |
Doelstellingen voor het jaar 1998 waren het continueren van het onderzoek naar PLCs en het bestuderen van een case study uit het VHS-project . Programmable Logic Controllers in het bijzonder en polling real-time systemen in het algemeenworden in industriële toepassingen dikwijls gebruikt om tijdskritische systemen te besturen. PLC-automaten is een door de Universität Oldenburg ontwikkeld formalisme dat toestaat om automatisch programmas voor PLC te genereren. Een doelstelling voor 1998 was om met behulp van getimede automaten een semantiek aan de PLC-automaten te geven, die als basis kan dienen voor automatische verificatie met tools zoals Kronos en Uppaal.
Halverwege 1998 gaat het EU-LTR project Verification of Hybrid Systems van start. De promovendus zal deelnemen in het project en aan een geschikte case study werken.
In samenwerking met H. Dierks van de Universität Oldenburg, en A. Mader en F.W. Vaandrager van de Katholieke Universiteit Nijmegen werd aan een formeel model van Programmable Logic Controllers gewerkt. Resultaten werden gepubliceerd in de proceedings van de FTRTFT'98 conferentie,Lyngby (DK) en door Ansgar Fehnker voor het CSI-colloquium.
Tijdens de internationale workshop Hybrid Systems 98 in Berkeley, Californië heeft Ansgar Fehnker een voordrachtover de approximatie van bereikbare toestanden in een hybride systeem. Aansluitend vond een werkbezoek bij de Step-groep in Stanford plaats.
In het najaarssemester verleende Ansgar Fehnker assistentie bij het college M3: Operating Systems.
In het najaar van 1998 werkte Ansgar Fehnker aan Case Study 5 van het VHS-project. Deze case study beschrijft een gedeelte van een geïntegreerde staalfabriek van SIDMAR in Gent. Het probleem bestaat daarin om voor een gegeven volgorde van producten een schedule te vinden dat aan de beperkingen van de fabriek voldoet. Om dit probleem te benaderen, wordt onderzocht of met behulp van getimede automaten een model gegeven kan worden zodanig dat een bereikbaarheidsanalyse een geldig schedule op kan leveren. Voor modellering en analyse wordt gebruik gemaakt van het tools Uppaal. In Januari worden de eerste resultaten gepresenteerd tijdens een VHS-meeting in Grenoble.
Samenwerking en contact in verband met gerelateerd onderzoek bestaat onder andere met H. Sipma (Stanford), D.A. Van Beek, J.E. Rooda, G. Fábián (TUE), H. Dierks (Oldenburg) en J.H. van Schuppen (CWI) en VHS-deelnemers.