Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery - 2018


In this article, we tend to concentrate on economical synthesis of fault-tolerant timed models from their fault-intolerant version. Although the complexity of the synthesis drawback is thought to be polynomial time in the size of the time-abstract bisimulation of the input model, the state of the art currently lacks synthesis algorithms that may be efficiently implemented. This is in part due to the actual fact that synthesis is normally a challenging drawback and its complexity is significantly magnified in the context of timed systems. We have a tendency to propose an algorithm that takes as input a timed automaton, a set of fault actions, and a collection of safety and bounded-time response properties, and utilizes a area-economical symbolic illustration of the timed automaton (called zone graph) to synthesize a fault-tolerant timed automaton as output. The output automaton satisfies strict phased recovery, where it is guaranteed that the output model behaves equally to the input model within the absence of faults and within the presence of faults, fault recovery is achieved in two phases, each satisfying sure safety and timing constraints.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE : Modeling and Verification of Symbolic Distributed Applications through an Intelligent Monitoring Agent ABSTRACT: Emerging paradigms for distributed computing, such as the Internet of Things (IoT), Ambient Intelligence,
PROJECT TITLE : Millimeter-Wave Mobile Sensing and Environment Mapping Models, Algorithms and Validation ABSTRACT: One relevant research paradigm, particularly at mm-wave and sub-THz bands, is to integrate efficient connectivity,
PROJECT TITLE :An Improved Sum-of-Disjoint-Products Technique for Symbolic Multi-State Flow Network ReliabilityABSTRACT:Several real-world systems, like electrical power and transportation, satisfy the flow conservation law, and
PROJECT TITLE :Design and Analysis of Silicon Photonics Wave Guides Using Symbolic MethodsABSTRACT:Although the demise of Moore’s law has been predicted many times in the recent past, the emergence of silicon photonics
PROJECT TITLE :Symbolic Dynamic Filtering and Language Measure for Behavior Identification of Mobile RobotsABSTRACT:This paper presents a procedure for behavior identification of mobile robots, which requires limited or no domain

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry