Title :
Formal verification of dynamically reconfigurable systems
Author :
Ryo Yanase;Tatsunori Sakai;Makoto Sakai;Satoshi Yamane
Author_Institution :
Graduate School of Natural Science and Technology, Kanazawa University, Kakuma-machi 920-1192
Abstract :
A dynamically reconfigurable system can perform complicated operations with dynamically changing the configuration. For ensuring the safety of the system, a model checking is one of the efficient formal approach. In our work, we define the specification language of a dynamically reconfigurable system and propose the model checking algorithm of verifying safety properties.
Keywords :
"Automata","Reachability analysis","Model checking","Safety","Algorithms","Electronic mail","Syntactics"
Conference_Titel :
Consumer Electronics (GCCE), 2015 IEEE 4th Global Conference on
DOI :
10.1109/GCCE.2015.7398597
