• Login
    View Item 
    •   Home
    • Graduate Theses, Dissertations and Projects
    • Queen's Graduate Theses and Dissertations
    • View Item
    •   Home
    • Graduate Theses, Dissertations and Projects
    • Queen's Graduate Theses and Dissertations
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    A Model for Hierarchical Open Real-Time Systems

    Thumbnail
    View/Open
    Waez_Md_Tawhid_Bin_201509_PhD.pdf (9.265Mb)
    Date
    2015-09-26
    Author
    Waez, MD Tawhid Bin
    Metadata
    Show full item record
    Abstract
    Introducing automated formal methods for large industrial real-time systems is an important research challenge. We propose timed process automata for modeling and analysis of time-critical systems which can be open, hierarchical, and dynamic. The model offers two essential features for large industrial systems: (i) compositional modeling with reusable designs for different contexts, and (ii) automated state-space reduction technique. Timed process automata model dynamic networks of continuous-time communicating control processes which can activate other processes. We show how to automatically establish safety and reachability properties of timed process automata by reduction to solving timed games. To mitigate the state-space explosion problem, an automated state-space reduction technique using compositional reasoning and aggressive abstractions is also proposed. Before working on timed process automata, we did a survey on semantics, decision problems, variants, and tools of timed automata. The insights gained from this survey motivated us to use timed game theory and Uppaal Tiga in a couple of industrial case studies and the development of timed process automata. Both the case studies show that state-space explosion is a severe problem for timed games. Suitable abstractions, however, dramatically improve the scalability of timed games in one case study. These case studies motivate the development of timed process automata and an automatable state-space reduction technique for them based on aggressive abstraction.
    URI for this record
    http://hdl.handle.net/1974/13686
    Collections
    • Queen's Graduate Theses and Dissertations
    • School of Computing Graduate Theses
    Request an alternative format
    If you require this document in an alternate, accessible format, please contact the Queen's Adaptive Technology Centre

    Related items

    Showing items related by title, author, creator and subject.

    • Control System Design for Networked Telerobotic Systems 

      Razi, Kamran (2014-07-09)
      Telerobotic systems are designed to extend the manipulation capability of users at different scales to remote and dangerous environments. In the past decade, the availability of higher computational power, larger variety ...
    • The Canadian system of banking and the National banking system of the United States; a comparison with reference to the banking requirements of Canada. 

      Walker, B. E. (Byron Edmund), 1848-1924. (Toronto, Printed by Trout & Todd,, 2014-04-15)
    • Cheese makers' manual designed to give specific directions for making fine cheese by a new system called the time system... 

      Macpherson, D.M. (Lancaster, Ont. ,, 2014-04-14)

    DSpace software copyright © 2002-2015  DuraSpace
    Contact Us
    Theme by 
    Atmire NV
     

     

    Browse

    All of QSpaceCommunities & CollectionsPublished DatesAuthorsTitlesSubjectsTypesThis CollectionPublished DatesAuthorsTitlesSubjectsTypes

    My Account

    LoginRegister

    Statistics

    View Usage StatisticsView Google Analytics Statistics

    DSpace software copyright © 2002-2015  DuraSpace
    Contact Us
    Theme by 
    Atmire NV