Methodology for automating distributed hard real-time system development

dc.contributor.authorLiew, Daniel Leong Wanen_US
dc.date.accessioned2024-08-14T21:06:22Z
dc.date.available2024-08-14T21:06:22Z
dc.date.copyright1989en_US
dc.date.issued1989
dc.degree.departmentDepartment of Computer Science
dc.degree.levelMaster of Science M.Sc.en
dc.description.abstractSoftware designed to function in a hard real-time environment requires strict timing and precedence constraints. Software that is logically correct, i.e., implements the intended algorithm, may not function correctly if certain assumptions about timing characteristics are not met at run-time. A distributed hard real-time system provides reliability, availability and fault tolerance. However, the software for such systems is more complex in that it must also take into consideration resource contention as well as the associated communication delays. This thesis presents a methodology for automating the development of distributed hard real-time systems. Heuristic algorithms for realizing the proposed methodology are introduced and implemented. Our strategy differs from previous work in that we also include provisions for deadline scheduling of messages, instead of assuming an unlimited communication bandwidth. We pre-allocate processor time slots for tasks as well as communication time slots for messages. Actual examples of applying the implemented algorithm to pre-allocate tasks in a distributed environment such that timing constraints are met are presented and comĀ­pared with previous work in this field. Areas for further research are also suggested.
dc.format.extent125 pages
dc.identifier.urihttps://hdl.handle.net/1828/18716
dc.rightsAvailable to the World Wide Weben_US
dc.titleMethodology for automating distributed hard real-time system developmenten_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
LIEW_Daniel_Leong_Wan_MSC_1989_505436.pdf
Size:
29.73 MB
Format:
Adobe Portable Document Format