TitleMDE based IoT Service to enhance the safety of controllers at runtime
Research GroupIngeniería del software y sistemas
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 ... [+]
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. [-]
Published atSTAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019). Eindhoven, The Netherlands, July 15 - 19, 2019. Edited by: Alessandra Bagnato et al. CEUR Workshop Proceedings. Pp. 33-38. Aachen University, 2019
Document typeConference paper
Rights© The authors
The following license files are associated with this item:
Showing items related by title, author, creator and subject.
Runtime observable and adaptable UML state machine-based software components generation and verification: firstname.lastname@example.org approach Illarramendi, Miren (Mondragon Unibertsitatea. Goi Eskola PoliteknikoaMondragon Unibertsitatea. Goi Eskola Politeknikoa, 2019)Cyber-Physical Systems (CPSs) are embedded computing systems in which computation interacts closely with the physical world through sensors and actuators. CPSs are used to control context aware systems. These types of ...
Illarramendi, Miren; Etxeberria Elorza, Leire; Elkorobarrutia Letona, Xabier; Sagardui, Goiuria (ACM, 2019)n embedded system is a self-contained system that incorporateselements of control logic and real-world interaction. UML State Ma-chines constitute a powerful formalism to model the behaviour ofthese types of systems. In ...