This article describes how the Internet of Things (IoT) and its smart objects will be the fundamental building blocks for the creation of smart pervasive systems. Precision Agriculture can be defined as the use of information, communications technologies and electronic devices in agricultural practice, to improve agricultural production. This article addresses the problem of modelling Precision Agriculture systems. The authors propose an Agent-based approach for an effective integration of the IoT technology in Agricultural Enterprise systems. The proposed approach is based on Agent Interaction Protocols (AiP) through which they specify complex services of the system by recognizing larger chunks that have a meaning in the application domain. The AiP supports the modelling of composite services as entities whose business logic involves a number of interactions among more elementary service components. The authors present an agent-based system architecture whose main goal is to address interoperability issues between heterogeneous IoT-based services by offering a harmonized API.
<p class="0abstract"><span lang="EN-US">This work presents an Internet of Things (IoT) solution to facilitate real time water quality monitoring by enabling the management of collected data from electronic sensors. Firstly, we present in detail problems encountered during the used data collection process. We discuss after the requirements from the water monitoring quality standpoint, data acquisition, cloud processing and data visualization to the end user. We designed a solution to minimize technicians’ visits to isolated water tower, we designed sensors achieving a lifespan of several years. The solution will be capable of scaling the processing and storage resources. This combination of technologies can cope with different types of environments. The system also provides a notification to a remote user, when there is a non-conformity of water quality parameters with the pre-defined set of standard values.</span></p>
In this paper we present durational actions timed automata, DATA*, as a sub class of timed automata. In the contrast of T.A, the underling semantic of DATA* is the maximality semantics which claim that actions have durations and true concurrency is captured differently from choice. DATA* model is in one hand useful for modeling and validating reel aspects of systems. In the other hand, it is determinizable and closed under all Boolean operations. As result, the language inclusion problem is decidable. Then, we compare a durational actions timed automata to event recording automata, which is a determinizable sub class of the classical timed automata. Next, we propose a simple framework to aggregate region of DATA* for reducing its space state. This study is based on an aggregation region automata procedure to reduce the combinatorial explosion of regions. Finally, we discuss equivalence and validation of systems.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.