Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Theses
      • Higher Degree Theses
      • View Item
      •   Research Commons
      • University of Waikato Theses
      • Higher Degree Theses
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      A distributed adaptive debugger server

      Wong, Derek Antony
      Thumbnail
      Files
      thesis.pdf
      38.25Mb
      cdrom.zip
      8.788Mb
      Citation
      Export citation
      Wong, 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/14421
      Permanent Research Commons link: https://hdl.handle.net/10289/14421
      Abstract
      A 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.
      Date
      2001
      Type
      Thesis
      Degree Name
      Doctor of Philosophy (PhD)
      Supervisors
      Hopper, Keith
      Publisher
      The University of Waikato
      Rights
      All items in Research Commons are provided for private study and research purposes and are protected by copyright with all rights reserved unless otherwise indicated.
      Collections
      • Higher Degree Theses [1714]
      Show full item record  

      Usage

      Downloads, last 12 months
      25
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement