Model‐based design of IoT systems with the BIP component framework

Abstract

The design of software for networked systems with nodes running an Internet of things operating system faces important challenges due to the heterogeneity of interacting things and the constraints stemming from the often limited amount of available resources. In this context, it is hard to build confidence that a design solution fulfills the application's requirements. This paper introduces a design flow for web service applications of the representational state transfer style that is based on a formal modeling language, the behaviour, interaction, priority (BIP) component framework. The proposed flow applies the principles of separation of concerns in a component-based design process that supports the modular design and reuse of model artifacts. The BIP tools for state-space exploration allow verifying qualitative properties for service responsiveness, ie, the timely handling of events. Moreover, essential quantitative properties are validated through statistical model checking of a stochastic BIP model. All properties are preserved in actual implementation by ensuring that the deployed code is consistent with the validated model. We illustrate the design of a representational state transfer sense-compute-control application for a Wireless Personal Area Network architecture with nodes running the Contiki operating system. The results validate qualitative and quantitative properties for the system and include the study of error behaviours.

Model-Based Design of Energy-Efficient Applications for IoT Systems

“…The actions comprising this step are two-fold. First, the DSL application description of the previous step is used to form an Application Model, which is Figure 1: The proposed design method later enhanced with the OS/kernel model, that is formed from the BIP IoT component library [15]. The combination of the two models is performed through the addition of the application mapping in the DSL [15], that specifies the deployment of application modules onto the IoT systems devices.…”

“…Finally, the model contains 3 exported transitions (i.e. sndPacket, recv, tick) to interact with the OS/Kernel components of the BIP system model[15] that is constructed in Step 2 of our method.1 # include " contiki . h " 2 # include " powertrace .…”

An Aspect-Oriented With BIP Components for Better Crosscutting Concerns Modernization in IOT Applications

“…Figure 1. Model-based design flow for IoT [1] Aspect-oriented programming is being used to manage systems (such as component-based systems) where IoT is considered as one of them. Some of the decent amount of works have been proposed at this space [11] [12].…”

Untitled

“…This makes the dynamic control and management at run-time is a fundamentally complex problem. Managing interpretability and complexity are one of the key essential ways of controlling the run-time interactions between connected nodes at different IoT layers architecture [1]. This section explains a little bit of background and essential major related studies and works that focused on managing IoT application complexity and portability either using AO or non-AO methods.…”

“…Few more works such as [1] have proposed a model-based design flow for networked systems with nodes running an Internet of Things (IoT) operating system. The design flow specifically targets web service applications of REST style and it is based on a formal modelling language, the BIP component model.…”