From the Internet of Things to Trusted Apps for Things

We present a new approach for Internet of things (IoT) applications (apps) for domains where a high level of reliability is needed. The two main current approaches, using a central application server and sand boxing for applications on IoT devices, are discussed. Then we present our approach, which enables trusted local computation without the need for a sandbox. Instead, we use a model-based approach, where code is generated from state machine models. By using formal methods, we ensure the basic safety properties of the applications. We show an example of an application for a fridge and verify basic safety properties. The typical verification conditions as well as the new role of a trusted application provider are discussed.