Search:
Computing and Library Services - delivering an inspiring information environment

Extended update plans

Mencák, Jirí (2003) Extended update plans. Doctoral thesis, University of Huddersfield.

[img]
Preview
PDF - Accepted Version
Download (8MB) | Preview

    Abstract

    Formal methods are gaining popularity as a way of increasing the reliability of systems through
    the use of mathematically based techniques. Their domain is no longer restricted to purely
    academic environments and examples, as they are slowly moving into industrial settings. The
    slow rate at which this transition takes place is mainly due to the perceived difficulty of
    formalising the behaviour of systems. While this is undoubtedly true, it is not the case with
    all formal methods.

    Update Plans are a powerful formalism for the description of computer architectures
    and intermediate to low-level languages. They are a declarative specification language with
    an underlying imperative machine model. The descriptions using Update Plans are clear,
    compact, intuitive, unambiguous and simple to read. These characteristics allow for the
    minimisation of possible errors at early stages of the development process even before a
    verification takes place.

    In this thesis an overview of the Update Plans formalism is given and a number of realworld
    applications is shown. The investigation of the application area focuses on computer
    architectures for which various specifications already exist. The comparison of Update Plan
    specifications to other specifications provides a useful insight into the strengths and shortcomings
    of the formalism. The shortcomings, in particular the lack of synchronisation primitives
    and modularity, are addressed by the development and evaluation of several syntactic and
    semantic extensions described in this thesis. The extended formalism is also compared to
    other specification languages and conclusions are drawn.

    Item Type: Thesis (Doctoral)
    Additional Information: EThOS Persistent ID uk.bl.ethos.405185
    Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
    Schools: School of Computing and Engineering
    Depositing User: Graham Stone
    Date Deposited: 22 Oct 2009 14:20
    Last Modified: 28 Jul 2010 19:48
    URI: http://eprints.hud.ac.uk/id/eprint/5935

    Document Downloads

    Downloader Countries

    More statistics for this item...

    Item control for Repository Staff only:

    View Item

    University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©