Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Kernel support for embedded reactive systems
Thesis (MSc)--Stellenbosch University , 1993.
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_ | 1867613812322992128 |
|---|---|
| access_status_str | Open Access |
| author | Ackerman, M. C . (Marthinus Casper) |
| author2 | De Villiers, P. J. A. |
| author_browse | Ackerman, M. C . (Marthinus Casper) De Villiers, P. J. A. |
| author_facet | De Villiers, P. J. A. Ackerman, M. C . (Marthinus Casper) |
| author_sort | Ackerman, M. C . (Marthinus Casper) |
| collection | Thesis |
| dc_rights_str_mv | Stellenbosch University |
| description | Thesis (MSc)--Stellenbosch University , 1993. |
| format | Thesis |
| id | oai:scholar.sun.ac.za:10019.1/58022 |
| institution | Stellenbosch University (South Africa) |
| language | en_ZA |
| last_indexed | 2026-06-10T12:42:05.565Z |
| 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/58022 Kernel support for embedded reactive systems Ackerman, M. C . (Marthinus Casper) De Villiers, P. J. A. Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Operating systems (Computers) Dissertations -- Computer science Theses -- Computer science Dissertations -- Mathematical sciences Theses -- Mathematical sciences Thesis (MSc)--Stellenbosch University , 1993. ENGLISH ABSTRACT: Reactive systems are event driven state machines which usually do not terminate, but remain in perpetual interaction with their environment. Such systems usually interact 'With devices which introduce a high degree of concurrency and some real time constraints to the system. Because of the concurrent nature of reactive systems they are commonly implemented as communicating concurrent processes on one or more processors. Jeffay introduces a design paradigm which requires consumer processes to consume messages faster than they are produced by producer processes. If this is guaranteed, the real time constraints of such .. system are always met, and the correctness of the process interaction is guaranteed in terms of the message passing semantics. I developed the ESE kernel, which supports Jeffay systems by providing lightweight processes which communicate over asynchronous channels. Processes are scheduled non-preemptively according to the earliest deadline first policy when they have messages pending on their input channels. The Jeffay design method and the ESE kernel have been found to be highly suitable to implement embedded reactive systems. The general requirements of embedded reactive systems, and kernel support required by such systems, are discussed. AFRIKAANSE OPSOMMING: Reaktiewe stelsels is toeatandsoutomate wat aangedryf word deur gebeure in hul omgewins. So 'n stelsel termineer gewoonlik nie, maar bly in 'n voortdurende wisselwerking met toestelle in sy omgewing. Toestelle in die omgewing van 'n reaktiewe stelsel veroorsaak in die algemeen 'n hoë mate van gelyklopendheid in die stelsel, en plaas gewoonlik sekere intydse beperkings op die stelsel. Gelyklopende stelsels word gewoonlik as stelsel. van kommunikerende prosesse geïmplementeer op een of meer prosessors. Jeffay beskryf 'n ontwerpsmetodologie waarvolgens die ontvanger van boodskappe hulle vinniger moet verwerk as wat die sender hulle kan stuur. Indien hierdie gedrag tussen alle pare kommunikerende prosesse gewaarborg kan word, sal die stelsel altyd sy intydse beperkings gehoorsaam, en word die korrektheid van interaksies tussen prosesse deur die semantiek van die boodskapwisseling gewaarborg. Die "ESE" bedryfstelselkern wat ek ontwikkel het, ondersteun stelsels wat ontwerp en geïmplementeer word volgens Jeffay se metode. Prosesse kommunikeer oor asinkrone kanale, en die ontvanger van die boodskap met die vroegste keertyd word altyd eerste geskeduleer. Jeffay se ontwerpsmetode en die "ESE" kern blyk in die praktyk baie geskik te wees vir reaktiewe stelsels wat as substelsels van groter stelsels uitvoer. Die vereistes van reaktiewe substelsels, en die kemondersteuning wat daarvoor nodig is, word bespreek. 2012-08-27T11:38:46Z 2012-08-27T11:38:46Z 1993-10 Thesis http://hdl.handle.net/10019.1/58022 en_ZA Stellenbosch University 102 p. : ill. application/pdf Stellenbosch : Stellenbosch University |
| spellingShingle | Operating systems (Computers) Dissertations -- Computer science Theses -- Computer science Dissertations -- Mathematical sciences Theses -- Mathematical sciences Ackerman, M. C . (Marthinus Casper) Kernel support for embedded reactive systems |
| title | Kernel support for embedded reactive systems |
| title_full | Kernel support for embedded reactive systems |
| title_fullStr | Kernel support for embedded reactive systems |
| title_full_unstemmed | Kernel support for embedded reactive systems |
| title_short | Kernel support for embedded reactive systems |
| title_sort | kernel support for embedded reactive systems |
| topic | Operating systems (Computers) Dissertations -- Computer science Theses -- Computer science Dissertations -- Mathematical sciences Theses -- Mathematical sciences |
| url | http://hdl.handle.net/10019.1/58022 |
| work_keys_str_mv | AT ackermanmcmarthinuscasper kernelsupportforembeddedreactivesystems |