• Login
    View Item 
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Integrating structured OO approaches with formal techniques for the development of real-time systems

    Thumbnail
    View/Open
    Main article text (171.0Kb)
    .ps file I can't open so can't describe (200.5Kb)
    Date
    1999
    Author
    Chen, Zhiqiang;
    Cau, A. (Antonio);
    Zedan, Hussein;
    Yang, Hongji
    Metadata
    Show attachments and full item record
    Abstract
    The use of formal methods in the development of time-critical applications is essential if we want to achieve a high level of assurance in them. However, these methods have not yet been widely accepted in industry as compared to the more established structured and informal techniques. A reliable linkage between these two techniques will provide the developer with a powerful tool for developing a provably correct system. In this paper, we explore the issue of integrating a real-time formal technique, TAM (Temporal Agent Model), with an industry-strength structured methodology known as HRT-HOOD. TAM is a systematic formal approach for the development of real-time systems based on the refinement calculus. Within TAM, a formal specification can be written (in a logic-based formalism), analysed and then refined to concrete representation through successive applications of sound refinement laws. Both abstract specification and concrete implementation are allowed to freely intermix. HRT-HOOD is an extension to the Hierarchical Object-Oriented Design (HOOD) technique for the development of Hard Real-Time systems. It is a two-phase design technique dealing with the logical and physical architecture designs of the system which can handle both functional and non-functional requirement, respectively. The integrated technique is illustrated on a version of the mine control system.
    Description
    Citation : Chen, Zhiqiang et al. (1999) Integrating structured OO approaches with formal techniques for the development of real-time systems. Information and Software Technology, 41 (7), pp. 435-450
    URI
    http://hdl.handle.net/2086/27
    DOI
    https://doi.org/10.1016/S0950-5849(99)00012-9
    Research Group : Institute of Creative Technologies
    Research Group : Software Technology Research Laboratory (STRL)
    Collections
    • Leicester Media School [1420]
    • School of Computer Science and Informatics [2966]

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary
     

     

    Browse

    All of DORACommunities & CollectionsAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission DateThis CollectionAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission Date

    My Account

    Login

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary