{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:05:46Z","timestamp":1750309546879},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,11,23]],"date-time":"2022-11-23T00:00:00Z","timestamp":1669161600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,11,23]],"date-time":"2022-11-23T00:00:00Z","timestamp":1669161600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,11,23]]},"DOI":"10.1109\/icsrs56243.2022.10067493","type":"proceedings-article","created":{"date-parts":[[2023,3,21]],"date-time":"2023-03-21T15:48:19Z","timestamp":1679413699000},"page":"251-258","source":"Crossref","is-referenced-by-count":4,"title":["Model-Driven Software Development Approach: Ensuring Safety of an IoT-Based Plant Health Monitoring System"],"prefix":"10.1109","volume":"91","author":[{"given":"Eun-Young","family":"Kang","sequence":"first","affiliation":[{"name":"SDU,Maersk Mc-Kinney Moller Institute Software Engineering,Odense,Denmark"}]},{"given":"Mathias","family":"Brix","sequence":"additional","affiliation":[{"name":"University of Southern Denmark (SDU),Odense,Denmark"}]},{"given":"Daniel","family":"Szenczi","sequence":"additional","affiliation":[{"name":"University of Southern Denmark (SDU),Odense,Denmark"}]},{"given":"\u00c1bel","family":"Kov\u00e1ts","sequence":"additional","affiliation":[{"name":"University of Southern Denmark (SDU),Odense,Denmark"}]},{"given":"Renaud","family":"Formosa","sequence":"additional","affiliation":[{"name":"University of Southern Denmark (SDU),Odense,Denmark"}]},{"given":"Christian W.","family":"Melsen","sequence":"additional","affiliation":[{"name":"University of Southern Denmark (SDU),Odense,Denmark"}]},{"given":"Morten A.","family":"N\u00f8rg\u00e5rd","sequence":"additional","affiliation":[{"name":"University of Southern Denmark (SDU),Odense,Denmark"}]}],"member":"263","reference":[{"year":"0","key":"ref13"},{"year":"0","key":"ref12"},{"year":"0","key":"ref15"},{"year":"0","key":"ref14"},{"year":"0","key":"ref11"},{"year":"0","key":"ref10"},{"key":"ref2","article-title":"Software verification and validation for practitioners and managers","author":"rakitin","year":"2001","journal-title":"Artech House Boston &London"},{"key":"ref1","article-title":"Survey of model-based systems engineering (MBSE) methodologies","author":"estefan","year":"2007","journal-title":"Rev A Incose MBSE Focus Group"},{"key":"ref17","first-page":"119","article-title":"Improving model-based test generation by model decomposition","author":"paolo","year":"2015","journal-title":"ESEC\/FSE2015 Proceedings of the 10th Joint Meeting on Foundations of Software Engineering"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.scico.2013.12.010","article-title":"Compositional assume-guarantee reasoning for input\/output component theories","volume":"91","author":"chris","year":"2014","journal-title":"Science of Computer Programming"},{"year":"0","key":"ref19"},{"key":"ref18","first-page":"40","article-title":"Decomposition of Test Cases in Model-Based Testing","author":"marcel","year":"0"},{"journal-title":"Section Microcontroller","year":"2020","key":"ref24"},{"key":"ref23","first-page":"115","article-title":"Safety Case Maintenance: A Systematic Literature Review","author":"carmen","year":"2021","journal-title":"Computer Safety Reliability and Security"},{"key":"ref26","first-page":"11","article-title":"Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems","author":"h","year":"2019","journal-title":"24th International Conference on Engineering of Complex Computer Systems IEEE"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2554929"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","article-title":"Uppaal SMC Tutorial","volume":"17","author":"alexadre","year":"2015","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref22","first-page":"165","article-title":"Robot Accident Investigation: A Case Study in Responsible Robotics","author":"alan","year":"2020"},{"year":"2022","key":"ref21"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2019.00039"},{"year":"0","key":"ref8"},{"key":"ref7","first-page":"1","article-title":"IEEE Standard for Information technology– Local and metropolitan area networks– Specific requirements– Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications: Further Higher Data Rate Extension in the 2.4 GHz Band","year":"2003","journal-title":"IEEE Std 802 11g-2003 (Amendment to IEEE Std 802 11 1999 Edn (Reaff 2003) as amended by IEEE Stds 802 11a-1999 802 11b-1999 802 11b-1999\/Cor 1-2001 and 802 11d-2001)"},{"year":"0","key":"ref9"},{"key":"ref4","article-title":"Model Checking","author":"edmund","year":"2018","journal-title":"(Cyber-Physical Systems Series) The MIT Press"},{"key":"ref3","first-page":"307","article-title":"Infusing verification and validation in ICT solutions in manufacturing: The FITMAN VV method","author":"lampathaki","year":"2015","journal-title":"Springer Science & Business Media"},{"year":"0","key":"ref6"},{"year":"0","key":"ref5"}],"event":{"name":"2022 6th International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2022,11,23]]},"location":"Venice, Italy","end":{"date-parts":[[2022,11,25]]}},"container-title":["2022 6th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10067250\/10067256\/10067493.pdf?arnumber=10067493","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,10]],"date-time":"2023-04-10T14:57:09Z","timestamp":1681138629000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10067493\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,23]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icsrs56243.2022.10067493","relation":{},"subject":[],"published":{"date-parts":[[2022,11,23]]}}}