| Autor: |
Sudhakar Ganti, D. Michael Miller, Chikatoshi Yamada |
| Rok vydání: |
2015 |
| Předmět: |
|
| Zdroj: |
TENCON 2015 - 2015 IEEE Region 10 Conference. |
| DOI: |
10.1109/tencon.2015.7373092 |
| Popis: |
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. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
