2026-04-20T15:54:15Zhttps://ebiltegia.mondragon.edu/oai/request

oai:ebiltegia.mondragon.edu:20.500.11984/14862024-03-05T12:14:50Zcom_20.500.11984_1143col_20.500.11984_1148

Illarramendi, Miren Etxeberria, Leire Elkorobarrutia, Xabier Perez Lazare, Jose María Larrinaga, Felix Sagardui, Goiuria 2019-10-31T13:05:29Z 2019-10-31T13:05:29Z 2019 1613-0073 https://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=153407 https://hdl.handle.net/20.500.11984/1486 One of the challenges for complex IoT software systems is toincrease their safety. A Model Driven Development approach helps in the design and development phase of these systems while runtime checkin gtechniques help to enhance safety. To supervise the status of different IoT services that are registered in a local cloud at runtime, the solution that is presented in this work uses the information that it receives from the different services registered in a local cloud in model terms. The runtime checker, the new Safety related service of the Arrowhead framework, has predefined contracts to ensure the correctness of the services at runtime.Based on these contracts and checking the information that it receives at runtime it is able to detect unsafe scenarios. Once an unsafe scenario is detected, it starts a safe process to protect the behaviour of the whole system adapting the wrong service or services to a degraded operation mode at runtime. All these services will be Arrowhead compliant. eng Attribution 4.0 International http://creativecommons.org/licenses/by/4.0/ © The authors Models@runtime IoT Services Runtime Verification Runtime Adaptation Runtime Monitoring MDE based IoT Service to enhance the safety of controllers at runtime http://purl.org/coar/resource_type/c_c94f