Developing a generic request-processor for systems with limited request processing resources
Date
2008-03
Authors
Venter, H. (Heinrich)
Journal Title
Journal ISSN
Volume Title
Publisher
Stellenbosch : Stellenbosch University
Abstract
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.
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.
Description
Thesis (MScIng)--University of Stellenbosch, 2008.
Keywords
Embedded computer systems, High performance processors, Computer scheduling, Theses -- Electronic engineering, Dissertations -- Electronic engineering