Een software-ontwikkelomgeving voor intrinsiek veilige gedistribueerde systemen (NWI.4411)

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.

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

.

© STW, 1998

Laatste wijziging: 25-02-2003 Reacties over deze pagina naar: webmaster@stw.nl   Print | Over deze site |  Sitemap | Voorbehoud | Gewijzigd 7-3-2006 Nieuws uitgelicht Nieuwsbrief Technologiestichting STW, januari 2012 31 januari 2012 Elke maand stuurt Technologiestichting STW haar relaties een link naar de web-based nieuwsbrief. Hierin staat een maandelijks overzicht van het jongste nieuws van de bestuurstafel, onderzoeksnieuws, o... [meer]