Developing a generic request-processor for systems with limited request processing resources

Venter, H. (Heinrich)
Journal Title
Journal ISSN
Volume Title
Stellenbosch : Stellenbosch University
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.
Thesis (MScIng)--University of Stellenbosch, 2008.
Embedded computer systems, High performance processors, Computer scheduling, Theses -- Electronic engineering, Dissertations -- Electronic engineering