Model-Based Runtime Monitoring of Smart City Systems

• DOI: 10.1016/j.procs.2018.07.146
• Publication Date: 2018-07-30T11:23:05Z
• Authors: Koray Incki; Ismail Ari
• Keywords: Smart City; Enabling; Pace

The pace of proliferation for smart systems in city wide applications is unmatched. introduction Internet Things (IoT), an enabler phenomenon, has incubated a productive environment such innovations. Smart things equipped with IoT capabilities, allow developing at large scale that each application can be represented as system (SoS). Nevertheless, the complexity engineering SoS been major challenge and maintaining applications. One challenges industry face today verification runtime. We introduce utilization model-based runtime monitoring approach providing reliable service. propose to use message sequence charts representing application, later practitioners express expected behavior terms complex-event processing patterns. demonstrate fidelity our on sample parking system. Our one its kind enabling non-intrusive (online).