2026-04-20T15:55:46Zhttps://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

00925njm 22002777a 4500 dc Illarramendi, Miren author Etxeberria, Leire author Elkorobarrutia, Xabier author Perez Lazare, Jose María author Larrinaga, Felix author Sagardui, Goiuria author 2019 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. 1613-0073 https://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=153407 https://hdl.handle.net/20.500.11984/1486 Models@runtime IoT Services Runtime Verification Runtime Adaptation Runtime Monitoring MDE based IoT Service to enhance the safety of controllers at runtime