An Architecture Supporting Safety Critical Software

De keuringsinstanties zijn erg conservatief in het goedkeuren van veiligheidsgerelateerde systemen waarvan het gedrag uitsluitend door programmatuur gecontroleerd wordt. In het algemeen wordt geen veiligheidskeurmerk afgegeven voor extreem veiligheidskritische systemen gebaseerd op software met hoge complexiteitsgraad. Er bestaat een aantal methoden en richtlijnen die hun nut reeds hebben bewezen bij de ontwikkeling van programmatuur voor de besturing van veiligheidskritische technische processen. Voordat zulke software in gebruik wordt genomen, wordt ze uitgebreid getest ter verificatie en validatie. Bij de huidige stand van de ontwikkelingen zijn deze testprogramma's echter niet in staat om de formele correctheid van grotere programma's met
mathematische precisie te garanderen.
Het doel van dit proefschrift is het geven van een oplossing voor deze ongewenste situatie. Daartoe wordt een speciaal, en noodzakelijkerwijs eenvoudig, computersysteem ontwikkeld, dat in staat is veiligheidsgerelateerde funkties uit te voeren binnen de context van gedistribueerde procesbesturingssystemen of programmable logic controllers (PLC's). ...

Zie: Samenvatting

Samenvatting

Meer informatie in de catalogus
Meer informatie in Picarta