{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T12:03:19Z","timestamp":1747224199190,"version":"3.40.5"},"reference-count":0,"publisher":"IGI Global","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,1,1]]},"abstract":"<p>A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The corresponding toolchain is based on the model-based engineering tool Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using the model checker UPPAAL.<\/p>","DOI":"10.4018\/ijwsr.2016010103","type":"journal-article","created":{"date-parts":[[2016,1,25]],"date-time":"2016-01-25T17:26:44Z","timestamp":1453742804000},"page":"40-52","source":"Crossref","is-referenced-by-count":13,"title":["A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems"],"prefix":"10.4018","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3830-466X","authenticated-orcid":true,"given":"Peter","family":"Herrmann","sequence":"first","affiliation":[{"name":"Norwegian University of Science and Technology (NTNU), Trondheim, Norway"}]},{"given":"Jan Olaf","family":"Blech","sequence":"additional","affiliation":[{"name":"RMIT University, Melbourne, Australia"}]},{"given":"Fenglin","family":"Han","sequence":"additional","affiliation":[{"name":"Norwegian University of Science and Technology (NTNU), Trondheim, Norway"}]},{"given":"Heinz","family":"Schmidt","sequence":"additional","affiliation":[{"name":"RMIT University, Melbourne, Australia"}]}],"member":"2432","container-title":["International Journal of Web Services Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=144871","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T19:05:44Z","timestamp":1654110344000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJWSR.2016010103"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2016,1,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,1]]}},"URL":"https:\/\/doi.org\/10.4018\/ijwsr.2016010103","relation":{},"ISSN":["1545-7362","1546-5004"],"issn-type":[{"type":"print","value":"1545-7362"},{"type":"electronic","value":"1546-5004"}],"subject":[],"published":{"date-parts":[[2016,1,1]]}}}