Show simple item record  

dc.contributor.advisorHopper, Keith
dc.contributor.authorWong, Derek Antony
dc.date.accessioned2021-06-30T23:47:03Z
dc.date.available2021-06-30T23:47:03Z
dc.date.issued2001
dc.identifier.citationWong, D. A. (2001). A distributed adaptive debugger server (Thesis, Doctor of Philosophy (PhD)). The University of Waikato, Hamilton, New Zealand. Retrieved from https://hdl.handle.net/10289/14421en
dc.identifier.urihttps://hdl.handle.net/10289/14421
dc.description.abstractA model and corresponding protocol suitable for debugging distributed embedded systems is developed. Protocol design issues and a formal model of the debugger server are defined with the intent of developing an extensible debug server to aid the development of dynamically retargettable debug clients suitable for application to heterogeneous distributed systems. The thesis considers one of the major problems faced in embedded systems, that of dynamic configuration of system components. The namespace model described solves these issues in a way that provides for the development of dynamic “hot insertion, plug and play” systems. This model is applied throughout the design of the protocol toward the development of debug services. The model is formally developed using the specification language, VDM-SL. Specifications of the model are given implicitly and then derived to an explicit executable form except for target-dependencies. Informal correctness proofs are carried out where necessary to show that the transformation from implicit to explicit form is valid and that the model and protocols themselves are valid. The specifications have been syntax and type checked using the IFAD VDM Toolbox; a CASE tool based on the 1996 ISO VDM-SL standard that provides an environment for the development and testing of VDM-SL specifications.
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/zip
dc.language.isoen
dc.publisherThe University of Waikato
dc.rightsAll items in Research Commons are provided for private study and research purposes and are protected by copyright with all rights reserved unless otherwise indicated.
dc.titleA distributed adaptive debugger server
dc.typeThesis
thesis.degree.grantorThe University of Waikato
thesis.degree.levelDoctoral
thesis.degree.nameDoctor of Philosophy (PhD)
dc.date.updated2021-06-30T23:45:37Z
pubs.place-of-publicationHamilton, New Zealanden_NZ


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record