On Testing Safety Properties of synchronous FSM composition

MAXIM, GROMOV and NINA, YEVTUSHENKO (2015) On Testing Safety Properties of synchronous FSM composition. In: Third International Conference on Advances in Information Processing and Communication Technology - IPCT 2015, 10-11 December, 2015, Rome, Italy.

20151223_121705.pdf - Published Version

Download (567kB) | Preview
Official URL: https://www.seekdl.org/conferences/paper/details/7...


This paper studies the safety issues of the synchronous composition of Finite State Machines (FSMs). Synchronous FSM composition is widely used when designing and analyzing various aspects in hardware implementation including so-called Trojan subcircuits. When an external input sequence is applied and component FSMs cannot agree on matched internal actions or there are different matching options, the sequence can destruct or block a corresponding device and thus, should be clearly avoided. In this paper, we propose a formal approach for analyzing which external input sequence can induce such situations (if any) and then to derive a finite automaton that represents the set of all possible safe external input sequences.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Finite State Machines (FSMs), synchronous FSM composition, safety properties.
Depositing User: Mr. John Steve
Date Deposited: 05 Apr 2019 12:10
Last Modified: 05 Apr 2019 12:10
URI: http://publications.theired.org/id/eprint/1174

Actions (login required)

View Item View Item