Back to Search Start Over

Model Checking in Isomorphic Module Systems.

Model Checking in Isomorphic Module Systems.

Authors :
Wang, Weilin
Su, Rong
Lin, Liyong
Gong, Chaohui
Source :
IEEE Transactions on Automatic Control; Feb2019, Vol. 64 Issue 2, p728-735, 8p
Publication Year :
2019

Abstract

With a growing number of interacting modules in today's complex systems, finding an effective tool for detecting design errors has become increasingly challenging. We present procedures for analyzing blocking or deadlock in systems consisting of isomorphic modules instantiated from a template. These procedures identify all possible blocking or deadlock sources and directly compute the maximum number of isomorphic modules under which the system is guaranteed to be nonblocking or deadlock-free. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
00189286
Volume :
64
Issue :
2
Database :
Complementary Index
Journal :
IEEE Transactions on Automatic Control
Publication Type :
Periodical
Accession number :
134407108
Full Text :
https://doi.org/10.1109/TAC.2018.2844683