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 :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 :A Symbolic Representation Approach for the Diagnosis of Broken Rotor Bars in Induction MotorsABSTRACT:One of the most common deficiencies of currently existing induction motor fault diagnosis techniques is their
PROJECT TITLE :STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic ExecutionABSTRACT:Software crash replica is the mandatory initial step for debugging. Unfortunately, crash copy is usually labor intensive. To automate
PROJECT TITLE :Enhancing Conformance Testing Using Symbolic Execution for Network ProtocolsABSTRACT:Security protocols are notoriously tough to get right, and most undergo many iterations before their hidden security vulnerabilities,
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

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

Project Enquiry