scholarly journals Fault-Tolerance by Resilient State Transition for Collaborative Cyber-Physical Systems

Mathematics ◽  
2021 ◽  
Vol 9 (22) ◽  
pp. 2851
Author(s):  
Nazakat Ali ◽  
Manzoor Hussain ◽  
Jang-Eui Hong

Collaborative Cyber-Physical Systems (CCPS) are systems where several individual cyber-physical systems collaborate to perform a single task. The safety of a single Cyber-Physical System (CPS) can be achieved by applying a safety mechanism and following standard processes defined in ISO 26262 and IEC 61508. However, due to heterogeneity, complexity, variability, independence, self-adaptation, and dynamic nature, functional operations for CCPS can threaten system safety. In contrast to fail-safe systems, where, for instance, the system leads to a safe state when an actuator shuts down due to a fault, the system has to be fail-operational in autonomous driving cases, i.e., a shutdown of a platooning member vehicle during operation on the road is unacceptable. Instead, the vehicle should continue its operation with degraded performance until a safe state is reached or returned to its original state in case of temporal faults. Thus, this paper proposes an approach that considers the resilient behavior of collaborative systems to achieve the fail-operational goal in autonomous platooning systems. First, we extended the state transition diagram and introduced additional elements such as failures, mitigation strategies, and safe exit to achieve resilience in autonomous platooning systems. The extended state transition diagram is called the Resilient State Transition Diagram (R-STD). Second, an autonomous platooning system’s perception, communication, and ego-motion failures are modeled using the proposed R-STD to check its effectiveness. Third, VENTOS simulator is used to verify the resulting resilient transitions of R-STD in a simulation environment. Results show that a resilient state transition approach achieves the fail-operational goal in the autonomous platooning system.

Author(s):  
Saul Greenberg ◽  
Sheelagh Carpendale ◽  
Nicolai Marquardt ◽  
Bill Buxton

2012 ◽  
Vol 3 (3) ◽  
pp. 62-77 ◽  
Author(s):  
Praveen Ranjan Srivastava ◽  
Saurav Singh Naruka ◽  
Afaque Alam ◽  
Nikhil Agarwal ◽  
Vaibhav Mukeshkumar Shah

Requirements of the desired software product can be translated into state transition diagram or other UML diagrams. To verify the complete coverage of software requirements, the proposed Ant based approach generates non-repetitive transitions from the input state diagram. This approach has less redundant transitions and also gives uncovered transition in successive paths instead of giving whole redundant path again and again. The paper also contains a comparison between already existing approaches with respect to some parameters like coverage, redundancy, total number of transitions.


2011 ◽  
Vol 2011 ◽  
pp. 1-16 ◽  
Author(s):  
Pabitra Pal Choudhury ◽  
Sudhakar Sahoo ◽  
Mithun Chakraborty

Dynamics of a nonlinear cellular automaton (CA) is, in general asymmetric, irregular, and unpredictable as opposed to that of a linear CA, which is highly systematic and tractable, primarily due to the presence of a matrix handle. In this paper, we present a novel technique of studying the properties of the State Transition Diagram of a nonlinear uniform one-dimensional cellular automaton in terms of its deviation from a suggested linear model. We have considered mainly elementary cellular automata with neighborhood of size three, and, in order to facilitate our analysis, we have classified the Boolean functions of three variables on the basis of number and position(s) of bit mismatch with linear rules. The concept of deviant and nondeviant states is introduced, and hence an algorithm is proposed for deducing the State Transition Diagram of a nonlinear CA rule from that of its nearest linear rule. A parameter called the proportion of deviant states is introduced, and its dependence on the length of the CA is studied for a particular class of nonlinear rules.


2018 ◽  
Vol 8 (2) ◽  
Author(s):  
Sandrerley Ramos Pires ◽  
Tobias Gonçalves Pires ◽  
Dulcinéia Gonçalves F. Pires

Author(s):  
KAI H. CHANG ◽  
SHIH-SUNG LIAO ◽  
RICHARD CHAPMAN ◽  
CHUN-YU CHEN

This paper presents a method for test scenario generation based on formal specifications and usage profiles. It is a major component of a framework for testing object-oriented programs. In this framework, the requirements of a software system are formally specified. The anticipated application of the system is expressed in a usage profile, which is a state model that indicates the dynamic behavior of the system and execution probabilities for the behaviors. The state model is used as a guide to derive the anticipated operation scenarios. An enhanced state transition diagram is used to represent the state model, which incorporates hierarchy, usage and parameter information. Since the number of feasible scenarios can be extremely large, probability and importance criteria are used to select the most probable and important scenarios.


Sign in / Sign up

Export Citation Format

Share Document