{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T23:24:09Z","timestamp":1649028249722},"reference-count":8,"publisher":"World Scientific Pub Co Pte Lt","issue":"07","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2016,9]]},"abstract":"<jats:p> With the process of non-functional properties research on real-time systems, multi-resource estimation and analysis of real-time systems become a hotspot. Process algebra is a formal method that is fit for analyzing the functional properties of real-time systems, but it cannot analyze the multi-resource properties. Resource timed process algebra (RTPA) proposed in this paper can handle it efficiently by extending multi-resource semantics on timed communicating sequential process (TCSP). The multi-resource consumption of real-time instruction is mapped into the resource vector of RTPA, and then the multi-resource consumption of real-time systems can be modeled and optimized by using RTPA; the resource optimal checking algorithms are proposed to check the multi-resource satisfiability of instructions and calculate the minimum resource and accumulated resource of real-time systems. This formal method improves the accuracy and efficiency of multi-resource calculation, and the calculation results can be further used to quantitatively analyze and optimize the multi-resource consumption of real-time systems. <\/jats:p>","DOI":"10.1142\/s0218194016500388","type":"journal-article","created":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T06:20:31Z","timestamp":1475130031000},"page":"1099-1116","source":"Crossref","is-referenced-by-count":0,"title":["Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra"],"prefix":"10.1142","volume":"26","author":[{"given":"Yi","family":"Zhu","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Jiangsu Normal University, 101 Shanghai Road, Tongshan New Zone, Xuzhou, Jiangsu 221116, P. R. China"},{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing 210016, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing 210016, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guangquan","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Soochow University, 1 Shizi Street, Suzhou 215006, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hang","family":"Zhou","sequence":"additional","affiliation":[{"name":"College of Civil Aviation, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing 210016, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangxiong","family":"Xiao","sequence":"additional","affiliation":[{"name":"School of Information and Statistics, Guangxi University of Finance and Economics, 100 Mingxiu West Road, Nanning, Guangxi 530003, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2016,9,28]]},"reference":[{"key":"S0218194016500388BIB001","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"S0218194016500388BIB003","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00169-J"},{"key":"S0218194016500388BIB004","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1014"},{"key":"S0218194016500388BIB005","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.29"},{"issue":"8","key":"S0218194016500388BIB010","first-page":"1416","volume":"33","author":"Liu W. D.","year":"2005","journal-title":"Acta Electron. Sin."},{"key":"S0218194016500388BIB011","doi-asserted-by":"publisher","DOI":"10.1360\/jos180001"},{"key":"S0218194016500388BIB013","doi-asserted-by":"publisher","DOI":"10.1145\/1059816.1059823"},{"key":"S0218194016500388BIB015","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2007.02.005"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194016500388","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T18:57:57Z","timestamp":1565117877000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194016500388"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":8,"journal-issue":{"issue":"07","published-online":{"date-parts":[[2016,9,28]]},"published-print":{"date-parts":[[2016,9]]}},"alternative-id":["10.1142\/S0218194016500388"],"URL":"https:\/\/doi.org\/10.1142\/s0218194016500388","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9]]}}}