Back to Search
Start Over
Model Checking in Isomorphic Module Systems.
Model Checking in Isomorphic Module Systems.
- 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