Safety Analysis Method based on a Parallel State Transition Diagram for Embedded Systems

2012 ◽  
Author(s):  
Zoohaye Kim ◽  
Yutaka Matsubara ◽  
Hiroaki Takada
Keyword(s):  
Embedded Systems ◽  
State Transition ◽  
Safety Analysis ◽  
Analysis Method ◽  
Transition Diagram ◽  
State Transition Diagram

The State Transition Diagram

2012 ◽  
pp. 153-157
Author(s):  
Saul Greenberg ◽  
Sheelagh Carpendale ◽  
Nicolai Marquardt ◽  
Bill Buxton
Keyword(s):  
State Transition ◽  
The State ◽  
Transition Diagram ◽  
State Transition Diagram

Software Coverage Analysis

2012 ◽  
Vol 3 (3) ◽  
pp. 62-77 ◽  
Author(s):  
Praveen Ranjan Srivastava ◽  
Saurav Singh Naruka ◽  
Afaque Alam ◽  
Nikhil Agarwal ◽  
Vaibhav Mukeshkumar Shah
Keyword(s):  
State Transition ◽  
State Diagram ◽  
Software Requirements ◽  
Input State ◽  
Complete Coverage ◽  
Transition Diagram ◽  
State Transition Diagram ◽  
Coverage Analysis ◽  
Software Product ◽  
Uml Diagrams

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.

scholarly journals Characterization of the Evolution of Nonlinear Uniform Cellular Automata in the Light of Deviant States

2011 ◽  
Vol 2011 ◽  
pp. 1-16 ◽  
Author(s):  
Pabitra Pal Choudhury ◽  
Sudhakar Sahoo ◽  
Mithun Chakraborty
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
Boolean Functions ◽  
State Transition ◽  
The State ◽  
Transition Diagram ◽  
One Dimensional ◽  
State Transition Diagram ◽  
Linear Rule

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.

Mapping and Simulation of Educational Games Using a State Transition Diagram and a Rules Base

2018 ◽  
Vol 8 (2) ◽  
Author(s):  
Sandrerley Ramos Pires ◽  
Tobias Gonçalves Pires ◽  
Dulcinéia Gonçalves F. Pires
Keyword(s):  
State Transition ◽  
Educational Games ◽  
Transition Diagram ◽  
State Transition Diagram

TEST SCENARIO GENERATION BASED ON FORMAL SPECIFICATION AND USAGE PROFILE

2000 ◽  
Vol 10 (02) ◽  
pp. 185-201 ◽  
Author(s):  
KAI H. CHANG ◽  
SHIH-SUNG LIAO ◽  
RICHARD CHAPMAN ◽  
CHUN-YU CHEN
Keyword(s):  
Formal Specification ◽  
State Transition ◽  
Object Oriented ◽  
The State ◽  
State Model ◽  
Scenario Generation ◽  
Formal Specifications ◽  
Test Scenario ◽  
Transition Diagram ◽  
State Transition Diagram

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