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

Simple item page
dc.contributor.advisorWolhuter, R.
dc.contributor.authorVenter, H. (Heinrich)
dc.contributor.otherStellenbosch University. Faculty of Engineering. Dept. of Electrical and Electronic Engineering.en
dc.date.accessioned2012-04-25T12:45:38Z
dc.date.available2012-04-25T12:45:38Z
dc.date.issued2008-03
dc.descriptionThesis (MScIng)--University of Stellenbosch, 2008.en_ZA
dc.description.abstractENGLISH 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.abstractAFRIKAANSE 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.extentx, 87 leaves : ill.
dc.identifier.urihttp://hdl.handle.net/10019.1/20865
dc.language.isoen_ZAen_ZA
dc.publisherStellenbosch : Stellenbosch University
dc.rights.holderStellenbosch Universityen_ZA
dc.subjectEmbedded computer systemsen_ZA
dc.subjectHigh performance processorsen_ZA
dc.subjectComputer schedulingen_ZA
dc.subjectTheses -- Electronic engineeringen_ZA
dc.subjectDissertations -- Electronic engineeringen_ZA
dc.titleDeveloping a generic request-processor for systems with limited request processing resourcesen_ZA
dc.typeThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Venter_developing_2008.pdf
Size:
1.64 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.95 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Masters Degrees (Electrical and Electronic Engineering)