Full metadata record
DC FieldValueLanguage
dc.contributor.authorArchibald, Blairen_US
dc.contributor.authorShieh, Min-Zhengen_US
dc.contributor.authorHu, Yu-Hsuanen_US
dc.contributor.authorSevegnani, Micheleen_US
dc.contributor.authorLin, Yi-Bingen_US
dc.date.accessioned2020-07-01T05:22:12Z-
dc.date.available2020-07-01T05:22:12Z-
dc.date.issued2020-04-01en_US
dc.identifier.issn2327-4662en_US
dc.identifier.urihttp://dx.doi.org/10.1109/JIOT.2020.2964026en_US
dc.identifier.urihttp://hdl.handle.net/11536/154616-
dc.description.abstractGraphical Internet of Things (IoT) device management platforms, such as IoTtalk, make it easy to describe interactions between IoT devices. Applications are defined by dragging-and-dropping devices and specifying how they are connected, e.g., a door sensor controlling a light. While this allows simple and rapid development, it remains possible to specify unwanted device configurations, such as using the same device to drive a motor up and down simultaneously, risking damaging the motor. We propose BigraphTalk, a verification framework for IoTtalk that utilizes formal techniques, based on bigraphs, to statically guarantee that unwanted configurations do not arise. In particular, we check for invalid connections between devices, as well as type errors, e.g., passing a float to a Boolean switch. To the best of our knowledge, BigraphTalk is the first platform to support the graphical specification of correct-by-design IoT applications. BigraphTalk provides fully automated verification and feedback without end-users ever needing to specify a bigraph. This means that any application, specifiable in IoTtalk, is guaranteed, so long as verification succeeds, not to violate the given configuration constraints when deployed; with no extra cost to the user.en_US
dc.language.isoen_USen_US
dc.subjectApplication platformen_US
dc.subjectbigraphsen_US
dc.subjectdevice managementen_US
dc.subjectmodel verificationen_US
dc.titleBigraphTalk: Verified Design of IoT Applicationsen_US
dc.typeArticleen_US
dc.identifier.doi10.1109/JIOT.2020.2964026en_US
dc.identifier.journalIEEE INTERNET OF THINGS JOURNALen_US
dc.citation.volume7en_US
dc.citation.issue4en_US
dc.citation.spage2955en_US
dc.citation.epage2967en_US
dc.contributor.department資訊工程學系zh_TW
dc.contributor.department資訊技術服務中心zh_TW
dc.contributor.departmentDepartment of Computer Scienceen_US
dc.contributor.departmentInformation Technology Services Centeren_US
dc.identifier.wosnumberWOS:000537136400040en_US
dc.citation.woscount0en_US
Appears in Collections:Articles