Finite state machines in hardware : theory and design (with VHDL and SystemVerilog) / by 271359 Pedroni, Volnei A.

Area-Efficient Differential Fault Tolerance Encoding for Finite State Machines by Jiwoon Park, Hoyoung Yoo

Subjects: “…finite state machine…”
Get full text

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage by Aleksandr S. Tvardovskii, Khaled El-Fakih, Maksim L. Gromov, Nina V. Yevtushenko

“…Nowadays, the behaviour of many systems can be properly described by taking into account time constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation methods to timed models. …”
Get full text

A New Approach for Implementing Finite State Machines with Input Multiplexing by Ignacio Garcia-Vargas, Raouf Senhadji-Navarro

Subjects: “…Finite State Machine…”
Get full text

State Merging and Splitting Strategies for Finite State Machines Implemented in FPGA by Adam Klimowicz, Valery Salauyou

Subjects: Get full text

A Novel Fuzzing Method for Zigbee Based on Finite State Machine by Baojiang Cui, Shurui Liang, Shilei Chen, Bing Zhao, Xiaobing Liang

Get full text

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines by Vladimir A. Zakharov

Get full text

Analysis of Mechanism of Formation of Interference at the Output Multilevel Finite State Machine by Y. A. Nikitin

Get full text

A DNA Finite-State Machine Based on the Programmable Allosteric Strategy of DNAzyme by Jun Wang, Xiaokang Zhang, Peijun Shi, Ben Cao, Bin Wang

Subjects: Get full text

Conflict and Computation on Wikipedia: A Finite-State Machine Analysis of Editor Interactions by Simon DeDeo

Subjects: Get full text

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines by A. D. Ermakov, N. V. Yevtushenko

“…Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional requirements for software implementations. …”
Get full text

Modeling and analysis of networked finite state machine subject to random communication losses by Weiwei Han, Zhipeng Zhang, Chengyi Xia

Subjects: Get full text

Structural models of Mealy finite state machines detecting faults in control systems by Valery Salauyou

Subjects: Get full text

Modelling and solving of IGBT's transient analysis model based on the finite state machine by Bin Hao, Yingzhe Wu, Cheng Peng, Xinling Tang, Zhibin Zhao

“…Abstract To accurately obtain the switching characteristics of insulated gate bipolar transistors (IGBT), this paper proposes an IGBT's transient analysis model (TAM) based on the finite state machine (FSM). Firstly, the IGBT switching process in the basic converter unit is segmented in the time domain, and the circuit equations among the variables are obtained based on Kirchhoff's law. …”
Get full text

Automatic Analysis Technology of Kernel Vulnerability Attack Based on Finite State Machine by LIU Pei-wen, SHU Hui, LYU Xiao-shao, ZHAO Yun-tian

“…Kernel vulnerability attack is a common attack way for operating systems,and the analysis of each attack stage is the key to defend against such attacks.Due to the complexity and variety of kernel vulnerability types,trigger paths,and exploit modes,it is difficult to analyze the attack process of kernel vulnerability.Moreover,the existing analysis work mainly focuses on forward program analysis methods such as taint analysis,and the efficiency is low.In order to improve the analysis efficiency,this thesis implements an automatic analysis technology of kernel vulnerability attack based on finite state machine.Firstly,the state transition diagram of kernel vulnerability attack is constructed as the key basis for analysis.Secondly,the idea of reverse analysis is introduced,and a reverse analysis model of kernel vulnerability attack process based on finite state machine is established,which can reduce the unnecessary analysis cost.Finally,based on the model,a reverse analysis method of kernel vulnerability attack is implemented,which can automatically and quickly analyze the kernel vulnerability attack process.By testing 10 attack samples,the results show that the reverse analysis method can accurately obtain the key code execution information,and compared with the traditional forward analysis method,the analysis efficiency is greatly improved.…”
Get full text

Finite state machine and Markovian equivalents of the lac Operon in E. coli bacterium by Urooj Ainuddin, Maria Waqas

Subjects: Get full text

Description styles of fault-tolerant finite state machines for unmanned aerial vehicles by Valery Salauyou

Subjects: “…finite state machine (fsm)…”
Get full text

A finite state machine framework for robust analysis and control of hybrid systems by Tarraf, Danielle C. (Danielle Charles), 1974-

Get full text

Generating finite state machine from WSMO choreography for testing Web services by Rusli, H. M., Ahmad, A., Ibrahim, S., Puteh, M.

“…Test cases are then generated based on the Finite State Machine model using existing test generation approach.…”

Fault Tolerance For Two Wheel Mobile Robot Using FSM (Finite State Machine) by Chan, Shi Jing, Pebrianti, Dwi, M. F., Abas, Bayuaji, Luhur

“…The aim of this research is to construct and design a Fault Tolerance algorithm considered to speed up the fault isolation procedure and it might identify multiple fault with the same static fault signature. The Finite State Machine (FSM) model, a wide library of reusable model for the fault tolerant is used in this study to solve the fault in actuator or in the sensor by resetting and adjusting it to the correct position. …”
Get full text