Wireless Sensor Networks (WSN) have registered a large success in the scientific and industrial communities for their broad application domains. Furthermore, the WSN specification is a complex task considering to their distributed and embedded nature and the strong interactions between their hardware and software parts. Moreover, most of approaches use semi-formal methods to design systems and generally simulation to validate their properties in order to produce models without errors and conform to the system specifications. In this context, we propose a Model Driven Architecture (MDA) approach to improve the verification of the WSN properties. This approach combines the advantages of the System Modeling Language (SysML) and the Modelica language which promote the reusability and improve the development process. In this work, we specify a model transformation from SysML static, dynamic and requirement diagrams to their corresponding elements in Modelica. Thanks to the SysML requirement diagram which is transformed into Modelica properties (constraints), we propose a technique using dynamic tests to verify WSN properties. We have used the Topcased platform to implement our approach 1 and chosen a crossroads monitoring system which is based on wireless sensors to illustrate it. Besides, we have verified and validated some wireless sensors properties of the studied system.

No abstract

The emergence of the Internet of Things (IoT) allows the integration of everyday devices such as tags, sensors, and actuators into the Internet. IoT also provides handy and automatic techniques to interoperate ad‐hoc, heterogeneous, and mobile networks and simplify data sharing among devices by abstracting their capabilities as services. Nevertheless, the large number and heterogeneity of encompassed networks/devices and the diversity of the offered resources/services make the IoT service description, discovery, selection, and composition a challenging task. To deal with these issues, we introduce, in this article, a semantic middleware for IoT applications based on service composition. Such a solution supports the semantic description of IoT resources, including services and user requests, and provides a modular, end‐to‐end, and loosely coupled request resolution process that comprises a context‐aware service discovery, a semantic service selection, and an automatic lightweight service composition. The proposal is illustrated and extensively evaluated on a restricted smart‐city scenario. Obtained results show that the proposed service discovery, selection, and composition sub‐processes improve the scalability of equivalent state‐of‐the‐art solutions by around 15%$$ \% $$, 20%$$ \% $$, and 40%$$ \% $$, respectively.

No abstract

Service composition is seen as the key issue to create innovative, efficient, flexible and dynamic applications on the Internet of things (IoT). Accordingly, we propose, in this paper, an approach for IoT service composition based on multi-agent system where several agents are engaged to satisfy the user request. This approach is designed using SysML and implemented using Netlogo platform. The use-cases scenarios and extensive tests show clearly the interest, the feasibility and the suitability of the multi-agent system for service composition.