Developing a generic request-processor for systems with limited request processing resources
dc.contributor.advisor | Wolhuter, R. | |
dc.contributor.author | Venter, H. (Heinrich) | |
dc.contributor.other | Stellenbosch University. Faculty of Engineering. Dept. of Electrical and Electronic Engineering. | en |
dc.date.accessioned | 2012-04-25T12:45:38Z | |
dc.date.available | 2012-04-25T12:45:38Z | |
dc.date.issued | 2008-03 | |
dc.description | Thesis (MScIng)--University of Stellenbosch, 2008. | en_ZA |
dc.description.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. | en_ZA |
dc.description.abstract | 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. | af |
dc.format.extent | x, 87 leaves : ill. | |
dc.identifier.uri | http://hdl.handle.net/10019.1/20865 | |
dc.language.iso | en_ZA | en_ZA |
dc.publisher | Stellenbosch : Stellenbosch University | |
dc.rights.holder | Stellenbosch University | en_ZA |
dc.subject | Embedded computer systems | en_ZA |
dc.subject | High performance processors | en_ZA |
dc.subject | Computer scheduling | en_ZA |
dc.subject | Theses -- Electronic engineering | en_ZA |
dc.subject | Dissertations -- Electronic engineering | en_ZA |
dc.title | Developing a generic request-processor for systems with limited request processing resources | en_ZA |
dc.type | Thesis | en_ZA |