{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T02:10:21Z","timestamp":1687572621259},"reference-count":15,"publisher":"World Scientific Pub Co Pte Ltd","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2012,6]]},"abstract":"<jats:p>Timed automata are commonly recognized as a formal behavioral model for real-time systems. For compositional system design, parallel composition of timed automata as proposed by Larsen et al. [22] is useful. Although parallel composition provides a general method for system construction, in the low level behavior, components often behave sequentially by passing control via communication. This paper proposes a behavioral model, named controller automata, to combine timed automata by focusing on the control passing between components. In a controller automaton, to each state a timed automaton is assigned. A timed automaton at a state may be preempted by the control passing to another state by a global labeled transition. A controller automaton properly extends the expressive power because of the stack, but this can make the reachability problem undecidable. Given a strict partial order over states, we show that this problem can be avoided and a controller automaton can be faithfully translated into a timed automaton.<\/jats:p>","DOI":"10.1142\/s0129054112400382","type":"journal-article","created":{"date-parts":[[2012,7,3]],"date-time":"2012-07-03T09:47:17Z","timestamp":1341308837000},"page":"831-851","source":"Crossref","is-referenced-by-count":2,"title":["MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS"],"prefix":"10.1142","volume":"23","author":[{"given":"GUOQIANG","family":"LI","sequence":"first","affiliation":[{"name":"BASICS, School of Software, MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems, Shanghai Jiao Tong University, Shanghai, 200240, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"XIAOJUAN","family":"CAI","sequence":"additional","affiliation":[{"name":"BASICS, School of Software, MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems, Shanghai Jiao Tong University, Shanghai, 200240, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SHOJI","family":"YUEN","sequence":"additional","affiliation":[{"name":"Graduate School of Information Science, Nagoya University, Nagoya, 464-8601, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,7,3]]},"reference":[{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30476-0_1"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.003"},{"key":"rf10","volume-title":"Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications","author":"Buttazzo Giorgio C.","year":"2004"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.01.009"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.019"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.11.011"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.014"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"rf20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01794-0","volume-title":"The Theory of Timed I\/O Automata","author":"Kaynar Dilsun K.","year":"2006"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2774"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"rf25","first-page":"46","volume":"20","author":"Laung Liu Chung","journal-title":"Journal of the ACM"},{"key":"rf26","volume-title":"Real-Time Systems: Specification, Verification, and Analysis","author":"Mattai Joseph","year":"1995"},{"key":"rf28","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"Milner Robin","year":"1989"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054112400382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T01:31:20Z","timestamp":1687570280000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054112400382"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":15,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2012,7,3]]},"published-print":{"date-parts":[[2012,6]]}},"alternative-id":["10.1142\/S0129054112400382"],"URL":"https:\/\/doi.org\/10.1142\/s0129054112400382","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}