A Model-Based Approach Across the IoT Lifecycle for Scalable and Distributed Smart Applications

A model-based methodology is presented for providing effective and efficient property-preserving mechanisms for non-functional properties such as real-time, safety, security and performance for Internet of Things (IoT) system components. The presented methodology and related supporting tool chain provide a means to model, develop, analyze, verify, operate, manage and monitor heterogeneous mission-critical smart applications with distributed scalable deployments of IoT components, such as the data distribution services of Intelligent Transport Systems, which are increasingly being deployed in loosely coupled federations of nodes.