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

    Run-time analysis of time-critical systems.

    Thumbnail
    Date
    2005-05-01
    Author
    Cau, A. (Antonio);
    Zedan, Hussein;
    Zhou, Shikun
    Metadata
    Show attachments and full item record
    Description
    The paper introduces AnaTempura, a tool for run-time verification of systems using Interval Temporal Logic (ITL) and its executable subset Tempura. The runtime verification technique uses assertion-points to check whether a system satisfies timing or safety properties expressed in ITL. The assertion-points are inserted in the source code of the system and these generate a trace, i.e., values of variables and timestamps of value change, during run-time. AnaTempura is being used for the analysis of mixed hardware/software systems, analysis of security policies (as part of the SANTA workbench) and for checking webservice composition.
    Citation : Cau, A.G., Zedan, H. and Zhou, S. (2005) Run-time analysis of time-critical systems. Journal of Systems Architecture, 51(5), pp. 331-345.
    URI
    http://hdl.handle.net/2086/251
    DOI
    http://dx.doi.org/10.1016/j.sysarc.2004.12.003
    ISSN : 1383-7621
    Research Group : Software Technology Research Laboratory (STRL)
    Collections
    • 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