Thesis (MScIng)--University of Stellenbosch, 2008. / ENGLISH ABSTRACT: This thesis describes the design, modelling and implementation of a prototype request-
processing software system, which can be used as the basis for a request processing frame-
work for systems with limited request processing resources. Due to design constraints,
the request-processor system described here consists of multiple processes.
It is problematic to prove that a multiple process design satis es the conditions of a
set of prede ned requirements. One way to verify that such a multiple process design
works as intended, is to use modelchecking tools.
The system was veri ed for correctness and translated into a working prototype soft-
ware system. / AFRIKAANSE OPSOMMING: Hierdie tesis beskryf die ontwerp, modellering en implementering van 'n prototipe versoek-
verwerking-sagtewarestelsel. Die stelsel kan gebruik word om 'n versoekverwerkings-
raamwerk te ontwerp vir stelsels met beperkte versoekverwerkingshulpbronne. Die ver-
soekverwerkingsstelsel bestaan uit veelvoudige prosesse. Die veelvoudige proses-ontwerp
was die direkte gevolg van stelselbeperkings.
Dit is problematies om te bewys dat 'n multi-proses-ontwerp korrek funksioneer. Mod-
elchecking-sagteware kan gebruik word om te veri eer of 'n stelsel korrek funksioneer.
Die korrektheid van die stelsel is geveri eer voordat die nale prototipe ge¨implementeer
is.
| Identifer | oai:union.ndltd.org:netd.ac.za/oai:union.ndltd.org:sun/oai:scholar.sun.ac.za:10019.1/20865 |
| Date | 03 1900 |
| Creators | Venter, H. (Heinrich) |
| Contributors | Wolhuter, R., Stellenbosch University. Faculty of Engineering. Dept. of Electrical and Electronic Engineering. |
| Publisher | Stellenbosch : Stellenbosch University |
| Source Sets | South African National ETD Portal |
| Language | en_ZA |
| Detected Language | English |
| Type | Thesis |
| Format | x, 87 leaves : ill. |
| Rights | Stellenbosch University |
Page generated in 0.0018 seconds