Please use this identifier to cite or link to this item:
Title: Model checking in isomorphic module systems
Authors: Wang, Weilin
Su, Rong
Lin, Liyong
Gong, Chaohui
Keywords: Engineering::Electrical and electronic engineering
Issue Date: 2018
Source: Wang, W., Su, R., Lin, L., & Gong, C. (2018). Model checking in isomorphic module systems. IEEE Transactions on Automatic Control, 64(2), 728-735. doi:10.1109/TAC.2018.2844683
Journal: IEEE Transactions on Automatic Control
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.
ISSN: 0018-9286
DOI: 10.1109/TAC.2018.2844683
Rights: © 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. The published version is available at:
Fulltext Permission: open
Fulltext Availability: With Fulltext
Appears in Collections:EEE Journal Articles

Files in This Item:
File Description SizeFormat 
17-0172_04_MS.pdf473.08 kBAdobe PDFView/Open

Page view(s)

checked on Oct 20, 2020


checked on Oct 20, 2020

Google ScholarTM




Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.