• 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.

    A wide-spectrum language for object-based development of real-time systems.

    Thumbnail
    View/Open
    Main article text (131.8Kb)
    Main article in postscript (204.3Kb)
    Date
    1999-03-15
    Author
    Chen, Zhiqiang;
    Zedan, Hussein;
    Cau, A. (Antonio);
    Yang, Hongji
    Metadata
    Show attachments and full item record
    Abstract
    A formal design notation is present whose underlying computational model is object-based. The object structure of the model is based on the practical, industry-strength Object Oriented structure development technique HRT-HOOD. The computational model has been specifically chosen because it leads to designs which can be analyzed for their schedulability in a distributed hard real-time execution environment. It is a wide-spectrum language supporting abstract description statements in Interval Temporal Logic (ITL) for the description of the timing, functional, and communication behavior of the proposed real-time system, and concrete Temporal Agent Model (TAM) statements with objects which can be directly executed. The semantics of these concrete statements is defined denotationally in specification-oriented style using ITL. A system specified at a high level of abstraction can be systematically transformed into an executable program by the use of sound ITL refinement rules.
    Description
    Citation : Chen, Zhiqiang et al. (1999) A wide-spectrum language for object-based development of real-time systems. Information Sciences Volume 118, Issues 1-4, September 1999, Pages 15-35
    URI
    http://hdl.handle.net/2086/28
    DOI
    https://doi.org/10.1016/S0020-0255(99)00039-0
    Research Group : Institute of Creative Technologies
    Research Group : Software Technology Research Laboratory (STRL)
    Collections
    • Leicester Media School [1420]
    • School of Computer Science and Informatics [2970]

    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