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

    Deriving real-time programs from duration calculus specifications.

    Thumbnail
    Date
    2001
    Author
    Siewe, Francois;
    Hung, D. V.
    Metadata
    Show attachments and full item record
    Abstract
    In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach is to model discretization at state level by introducing the discrete states approximating the continuous ones, and then derive a specification of the control program over discrete states. Then the control program is derived from its specification using an extension of Hoare triples to real-time.
    Description
    Citation : Siewe, F. and Hung, D.V. (2001) Deriving real-time programs from duration calculus specifications. The 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Livingston-Edinburgh, Scotland, LNCS 2144, Springer-Verlag, pp. 92-97.
    URI
    http://hdl.handle.net/2086/3767
    DOI
    http://dx.doi.org/10.1007/3-540-44798-9_7
    ISBN : 9783540425410
    Research Group : Software Technology Research Laboratory (STRL)
    Research Institute : Cyber Technology Institute (CTI)
    Peer Reviewed : Yes
    Collections
    • School of Computer Science and Informatics [3008]

    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