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....
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/137873 |
| _version_ | 1811683677015375872 |
|---|---|
| author | Wang, Weilin Su, Rong Lin, Liyong Gong, Chaohui |
| author2 | School of Electrical and Electronic Engineering |
| author_facet | School of Electrical and Electronic Engineering Wang, Weilin Su, Rong Lin, Liyong Gong, Chaohui |
| author_sort | Wang, Weilin |
| collection | NTU |
| 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. |
| first_indexed | 2024-10-01T04:16:32Z |
| format | Journal Article |
| id | ntu-10356/137873 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T04:16:32Z |
| publishDate | 2020 |
| record_format | dspace |
| spelling | ntu-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 |
| spellingShingle | Engineering::Electrical and electronic engineering Automata Discrete Event Systems Wang, Weilin Su, Rong Lin, Liyong Gong, Chaohui Model checking in isomorphic module systems |
| title | 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_short | Model checking in isomorphic module systems |
| title_sort | model checking in isomorphic module systems |
| topic | Engineering::Electrical and electronic engineering Automata Discrete Event Systems |
| url | https://hdl.handle.net/10356/137873 |
| work_keys_str_mv | AT wangweilin modelcheckinginisomorphicmodulesystems AT surong modelcheckinginisomorphicmodulesystems AT linliyong modelcheckinginisomorphicmodulesystems AT gongchaohui modelcheckinginisomorphicmodulesystems |