Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Developing a generic request-processor for systems with limited request processing resources
Thesis (MScIng)--University of Stellenbosch, 2008.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | en_ZA |
| Published: |
Stellenbosch : Stellenbosch University
2012
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613752150458368 |
|---|---|
| access_status_str | Open Access |
| author | Venter, H. (Heinrich) |
| author2 | Wolhuter, R. |
| author_browse | Venter, H. (Heinrich) Wolhuter, R. |
| author_facet | Wolhuter, R. Venter, H. (Heinrich) |
| author_sort | Venter, H. (Heinrich) |
| collection | Thesis |
| dc_rights_str_mv | Stellenbosch University |
| description | Thesis (MScIng)--University of Stellenbosch, 2008. |
| format | Thesis |
| id | oai:scholar.sun.ac.za:10019.1/20865 |
| institution | Stellenbosch University (South Africa) |
| language | en_ZA |
| last_indexed | 2026-06-10T12:41:07.950Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from SUNScholar — Stellenbosch University Repository |
| publishDate | 2012 |
| publishDateRange | 2012 |
| publishDateSort | 2012 |
| publisher | Stellenbosch : Stellenbosch University |
| publisherStr | Stellenbosch : Stellenbosch University |
| record_format | dspace |
| source_str | SUNScholar — Stellenbosch University Repository |
| spelling | oai:scholar.sun.ac.za:10019.1/20865 Developing a generic request-processor for systems with limited request processing resources Venter, H. (Heinrich) Wolhuter, R. Stellenbosch University. Faculty of Engineering. Dept. of Electrical and Electronic Engineering. Embedded computer systems High performance processors Computer scheduling Theses -- Electronic engineering Dissertations -- Electronic engineering 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. 2012-04-25T12:45:38Z 2012-04-25T12:45:38Z 2008-03 Thesis http://hdl.handle.net/10019.1/20865 en_ZA Stellenbosch University x, 87 leaves : ill. application/pdf Stellenbosch : Stellenbosch University |
| spellingShingle | Embedded computer systems High performance processors Computer scheduling Theses -- Electronic engineering Dissertations -- Electronic engineering Venter, H. (Heinrich) Developing a generic request-processor for systems with limited request processing resources |
| title | Developing a generic request-processor for systems with limited request processing resources |
| title_full | Developing a generic request-processor for systems with limited request processing resources |
| title_fullStr | Developing a generic request-processor for systems with limited request processing resources |
| title_full_unstemmed | Developing a generic request-processor for systems with limited request processing resources |
| title_short | Developing a generic request-processor for systems with limited request processing resources |
| title_sort | developing a generic request processor for systems with limited request processing resources |
| topic | Embedded computer systems High performance processors Computer scheduling Theses -- Electronic engineering Dissertations -- Electronic engineering |
| url | http://hdl.handle.net/10019.1/20865 |
| work_keys_str_mv | AT venterhheinrich developingagenericrequestprocessorforsystemswithlimitedrequestprocessingresources |