Improvements in FSM Evolutions from Partial Input/Output Sequences
نویسندگان
چکیده
This work focuses on the synthesis of finite-state machines (FSMs) by observing its input/output behaviors . Evolutionary approaches that have been proposed to solve this problem do not include strategies to escape from local optima, a typical problem found in simple evolutionary algorithms , particularly in the evolution of sequential machines. Simulations show that the proposed approach improves significantly the state space search.
منابع مشابه
Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences
Our previous work focused on the synthesis of sequential circuits based on a partial input/output sequence. As the behavioural description of the target circuit is not known the correctness of the result can not be verified. This paper proposes a method which increases the correctness percentage of the finite-state machine (FSM) synthesis using multiple partial input/output sequences. The synth...
متن کاملExtended Finite State Machine based Test Derivation Strategies for Telecommunication Protocols
In this paper, we consider the problem of test derivation based on an Extended Finite State Machine (EFSM) that is widely used for describing the behavior of telecommunication protocols and software. An EFSM augments a classical Finite State Machine (FSM) with context variables, input/output parameters and predicates. Tests based on various coverage criteria for EFSMs do not capture many functi...
متن کاملFast State Veri cation
Unique input/output(UIO) sequences are used for state veri cation and functional test in nite state machines. A UIO sequence for a state s distinguishes it from other states in the FSM. Current algorithms to compute UIO sequences are limited in their applicability to FSMs with binary input symbols such as those found in control applications. Execution times of traditional approaches are exponen...
متن کاملStability properties and periodic evolutions of bilinear systems in input-output form
Bilinear systems in input/output form are introduced, and represented by means of suitable rational functions in two indeterminates. Necessary and sufficient conditions for BIBO stability are derived, and compared with analogous results on 2D systems stability. Several features of the output evolutions, corresponding to finite support as well as to periodic input sequences, are discussed, and r...
متن کاملValidation of performance of ISO 14001 through developed model
The case study is based on ISO 14001 and compares the validation with other certified industries. In view of the above, response has been collected to have further improvements through developed model which was prepared based on the factorization of various input and output variables which is linked to the clauses of ISO 14001. The developed model has represented almost all the clauses of ISO 1...
متن کامل