Model checking in isomorphic module systems

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....

Full description

Saved in:

Bibliographic Details
Main Authors:	Wang, Weilin, Su, Rong, Lin, Liyong, Gong, Chaohui
Other Authors:	School of Electrical and Electronic Engineering
Format:	Article
Language:	English
Published:	2020
Subjects:	Engineering::Electrical and electronic engineering Automata Discrete Event Systems
Online Access:	https://hdl.handle.net/10356/137873
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Nanyang Technological University
Language:	English

id	sg-ntu-dr.10356-137873
record_format	dspace
spelling	sg-ntu-dr.10356-1378732020-04-17T02:14:06Z Model checking in isomorphic module systems Wang, Weilin Su, Rong Lin, Liyong Gong, Chaohui School of Electrical and Electronic Engineering Engineering::Electrical and electronic engineering Automata Discrete Event Systems 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. NRF (Natl Research Foundation, S’pore) MOE (Min. of Education, S’pore) Accepted version 2020-04-17T02:14:06Z 2020-04-17T02:14:06Z 2018 Journal Article 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 0018-9286 https://hdl.handle.net/10356/137873 10.1109/TAC.2018.2844683 2 64 728 735 en IEEE Transactions on Automatic Control © 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: https://doi.org/10.1109/TAC.2018.2844683 application/pdf
institution	Nanyang Technological University
building	NTU Library
country	Singapore
collection	DR-NTU
language	English
topic	Engineering::Electrical and electronic engineering Automata Discrete Event Systems
spellingShingle	Engineering::Electrical and electronic engineering Automata Discrete Event Systems Wang, Weilin Su, Rong Lin, Liyong Gong, Chaohui Model checking in isomorphic module systems
description	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.
author2	School of Electrical and Electronic Engineering
author_facet	School of Electrical and Electronic Engineering Wang, Weilin Su, Rong Lin, Liyong Gong, Chaohui
format	Article
author	Wang, Weilin Su, Rong Lin, Liyong Gong, Chaohui
author_sort	Wang, Weilin
title	Model checking in isomorphic module systems
title_short	Model checking in isomorphic module systems
title_full	Model checking in isomorphic module systems
title_fullStr	Model checking in isomorphic module systems
title_full_unstemmed	Model checking in isomorphic module systems
title_sort	model checking in isomorphic module systems
publishDate	2020
url	https://hdl.handle.net/10356/137873
_version_	1681057169685872640

Model checking in isomorphic module systems

Similar Items