Title :
SPIN model checking for the BEE system
Author :
Chikatoshi Yamada;Sudhakar Ganti;D. Michael Miller
Author_Institution :
Department of Information and Communication Systems Engineering, Okinawa National College of Technology, Japan
Abstract :
This paper discusses the application of SPIN model checking to BEE platform Simulink models. In particular, Simulink Stateflow models are added to BEE platform models to facilitate checking using the SPIN tool. Algorithms are given for doing the necessary translations and we present empirical results to illustrate the application of the approach introduced in this paper. We also show how our tools allow SPIN to be used for model checking nondeterministic behaviour of BEE models.
Keywords :
"Computational modeling","Analytical models","Stators","Junctions","Hardware design languages"
Conference_Titel :
TENCON 2015 - 2015 IEEE Region 10 Conference
Print_ISBN :
978-1-4799-8639-2
Electronic_ISBN :
2159-3450
DOI :
10.1109/TENCON.2015.7373092