Een software-ontwikkelomgeving voor intrinsiek veilige gedistribueerde systemen (NWI.4411)
Project nummer:
nwi4411
Omschrijving van het onderzoek
Intrinsiek veilige systemen (IV-systemen), zoals systemen voor de bewaking van waterhoogten, procesbesturingssystemen in de chemische en nucleaire industrie, verkeersgeleidingssystemen en on-board besturingssystemen in vliegtuigen spelen een steeds grotere rol in onze samenleving. Deze systemen worden bestuurd door veelal grote, complexe, onderling communicerende gedistribueerde computerprogramma's. De traditionele ontwikkeling van software voor dergelijke IV-systemen is zeer arbeidsintensief waarbij er een zeer grote kans bestaat op fouten in het uiteindelijke systeem. Deze fouten veroorzaken niet alleen grote financiële schade, maar kunnen zelfs mensenlevens in gevaar brengen.
De doelstelling van dit project is het ontwikkelproces van software van intrinsiek veilige systemen aanzienlijk te verbeteren.
In dit project wordt een interactieve software-ontwikkelomgeving ontwikkeld die, vergeleken met traditionele methoden, het niet alleen mogelijk maakt om met veel minder arbeidsinspanningen (en dus met veel lagere kosten) software voor intrinsiek veilige gedistribueerde systemen te produceren maar ook de kans op fouten in dergelijke systemen aanzienlijk terugbrengt.
Resultaten van het onderzoek
Voor meer informatie kunt u de website van de vakgroep raadplegen.
Gebruikers
Er is één bedrijf bij dit project betrokken.
Projectleider
Prof.dr.ir. M.J. Plasmeijer
Katholieke Universiteit Nijmegen
Faculteit der Wiskunde en Informatica
Postbus 9010
6500 GL Nijmegen
Status van het project
| Gestart | : 16-02-1998
|
| Einddatum | : 16-09-2003
|
![[KUN]](/graphics/logos/kun.gif)
.
![[TOP]](/graphics/tb-top.gif) © STW, 1998
|
Laatste wijziging: 25-02-2003
Reacties over deze pagina naar: webmaster@stw.nl
|