Conference Proceedings

Third International Conference on Advances in Information Processing and Communication Technology - IPCT 2015

On Testing Safety Properties of synchronous FSM composition

Author(s) : MAXIM GROMOV, NINA YEVTUSHENKO

Abstract

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.

Conference Title : Third International Conference on Advances in Information Processing and Communication Technology - IPCT 2015
Conference Date(s) : 10-11 December, 2015
Place : Hotel Novotel Roma La Rustica, Rome, Italy
No fo Author(s) : 2
DOI : 10.15224/978-1-63248-077-4-97
Page(s) : 130 - 133
Electronic ISBN : 978-1-63248-077-4
Views : 485   |   Download(s) : 192