İnçki, KorayArı, İsmail2018-10-092018-10-092018-050045-7906http://hdl.handle.net/10679/6000https://doi.org/10.1016/j.compeleceng.2018.05.007Internet of Things (IoT) devices have gained more prevalence in ambient assisted living (AAL) systems. Reliability of AAL systems is critical especially in assuring the safety and well-being of elderly people. Runtime verification (RV) is described as checking whether the observed behavior of a system conforms to its expected behavior. RV techniques generally involve heavy formal methods; thus, it is poorly utilized in the industry. Therefore, we propose a democratization of RV for IoT systems by presenting a model-based testing (MBT) approach. To enable modeling expected behaviors of an IoT system, we first describe an extension to a UML profile. Then, we capture the expected behavior of an interaction that is modeled on a Sequence Diagram (SD). Later, the expected behaviors are translated into runtime monitor statements expressed in Event-Processing Language (EPL), which are executed at the edge of the IoT network. We further demonstrate our contributions on a sample AAL system.engrestrictedAccessarticle6857058000043799930004510.1016/j.compeleceng.2018.05.007Internet of thingsModel-based testingRuntime verificationComplex-event processingModel-to-text transformationEdge computing2-s2.0-85047213068