Certification of Instrumentation Techniques for Resources Management of Real-Time Systems

Certification of Instrumentation Techniques for Resources Management of Real-Time Systems

Bibliographic Details
Main Author: Tan, Zhenyu
Language:English
Published: Ohio University / OhioLINK 2005
Subjects:
Computer Science
Real-Time
Resource Management
Instrumentation
Certification
Online Access:http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1129146878
id ndltd-OhioLink-oai-etd.ohiolink.edu-ohiou1129146878
record_format oai_dc
spelling ndltd-OhioLink-oai-etd.ohiolink.edu-ohiou11291468782021-08-03T05:43:25Z Certification of Instrumentation Techniques for Resources Management of Real-Time Systems Tan, Zhenyu Computer Science Real-Time Resource Management Instrumentation Certification <p>Dynamic real-time systems have to meet timing requirements in unpredictable environments, where available resources might vary, running tasks might change, and task workloads might differ. To handle these dynamic environments, resource management (RM) middleware has shown to be an effective paradigm. RM middleware monitors real-time systems and resources, and reallocates resources when necessary. However, the certification of dynamic real-time systems with RM middleware is still an open problem. Without the certification, the system performance cannot be guaranteed and RM middleware cannot be used for mission-critical real-time systems.</p> <p>This dissertation addresses the system certification problem. The main contributions of the dissertation are as follows. First, at the middleware level, it proposes a layered certification architecture, which separates RM middleware into eight different subsystems. The desired properties of each subsystem are identified. Second, the dissertation certifies the instrumentation subsystem, one of the fundamental parts in RM middleware. The dissertation identifies a comprehensive list of instrumentation items and their desired properties, which are bounded precision, bounded uncertainty, deterministic resource usage, timeliness and bounded intrusiveness. The dissertation provides techniques to certify each property for each item.</p> <p>The dissertation has evaluated three operating systems, Solaris, Linux and QNX, for suitability as foundations for certifiable RM middleware. They are found to have different clock resolutions and scheduling tick values, which ultimately influence the instrumentation precision and uncertainty. Additionally, Linux 2.4 is found to have a priority problem with its real-time scheduler, which cannot guarantee the task with the highest priority is scheduled first. Experimental results show the low overhead of the instrumentation subsystem. For a host with a several hundred mega-hertz frequency CPU, the overhead is only tens of microseconds for each task and several milliseconds for the host, which is affordable for most existing real-time systems.</p> <p>The dissertation has certified the instrumentation subsystem of an existing RM middleware – QARMA. It certifies that the QARMA instrumentation subsystem has such properties as high precision, low uncertainty, and negligible overhead and intrusion. This case study also demonstrates a complete certification process for an instrumentation subsystem.</p> 2005 English text Ohio University / OhioLINK http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1129146878 http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1129146878 unrestricted This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws.
collection NDLTD
language English
sources NDLTD
topic Computer Science
Real-Time
Resource Management
Instrumentation
Certification
spellingShingle Computer Science
Real-Time
Resource Management
Instrumentation
Certification
Tan, Zhenyu
Certification of Instrumentation Techniques for Resources Management of Real-Time Systems
author Tan, Zhenyu
author_facet Tan, Zhenyu
author_sort Tan, Zhenyu
title Certification of Instrumentation Techniques for Resources Management of Real-Time Systems
title_short Certification of Instrumentation Techniques for Resources Management of Real-Time Systems
title_full Certification of Instrumentation Techniques for Resources Management of Real-Time Systems
title_fullStr Certification of Instrumentation Techniques for Resources Management of Real-Time Systems
title_full_unstemmed Certification of Instrumentation Techniques for Resources Management of Real-Time Systems
title_sort certification of instrumentation techniques for resources management of real-time systems
publisher Ohio University / OhioLINK
publishDate 2005
url http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1129146878
work_keys_str_mv AT tanzhenyu certificationofinstrumentationtechniquesforresourcesmanagementofrealtimesystems
_version_ 1719424145041653760

Similar Items