This paper deals with software validation of flexible discrete-event systems. A reconfiguration scenario is any run-time adaptation of the software execution according to user requirements. Nevertheless, since several behaviors can be redundant from an execution to another, using the object constraint language (OCL) is not useful to specify all constraints that should be satisfied by a system. We propose an extension of OCL named reconfigurable OCL for improving the specification and validation of constraints related to different execution scenarios of a system. An ROCL metamodel is proposed with formal syntax and semantics. This solution gains in terms of validation time and quick expressions of constraints. We apply the proposed extended language to reconfigurable wireless sensor networks to highlight the benefits of this contribution.

Low power and lossy networks (LLNs) require a routing protocol under real-time and energy constraints, congestion aware and packet priority. Thus, Routing Protocol for Low power and lossy network (RPL) is recommended by Internet Engineering Task force (IETF) for LLN applications. In RPL, nodes select their optimal paths towards their preferred parents after meeting routing metrics that are injected in the objective function (OF). However, RPL did not impose any routing metric and left it open for implementation. In this paper, we propose a new RPL objective function which is based on the quality of service (QoS) and congestion-aware. In the case paths fail, we define new RPL control messages for enriching the network by adding more routing nodes. Extensive simulations show that QCOF achieves significant improvement in comparison with the existing objective functions, and appropriately satisfies real-time applications under QoS and network congestion.

This paper deals with reconfigurable wireless sensor networks (RWSNs) that should be adapted to their environment in order to minimize the energy consumption during the communication among nodes and consequently to maximize the lifetime of the network as much as possible. An RWSN is assumed to be composed of a set of nodes located in distributed zones such that each node executes reconfigurable software tasks to control local sensors. We propose in a previous work a zone-based multiagent architecture for an RWSN where a communication protocol is well-defined to optimize distributed reconfigurations. This architecture combines all possible reconfiguration forms of the network to be adapted to its environment under energy constraints. With the multiagent architecture we gain in term of energy to be consumed by each node in the network. After applying a set of reconfiguration scenarios, the total charge of the network decreases. In order to preserve this charge as much as possible before the next recharging operation, in this particular study, we tend to resize geographically the zones in an RWSN. We propose also to move the mobile nodes in order to increase the network lifetime. A new run-time power oriented methodology is reported, which manages the zones and their mobile nodes in order to control the energy consumption. Two dynamic solutions are applied: 1) the resizing of zones and 2) the mobility of nodes. For the new proposed methodology, we present a set of equation systems to model the resizing of zones and the mobility of nodes. The solution of these systems allows us to conclude that we can conserve more energy during the communication among network elements (nodes, stations, and agents). The contributions are applied to a case study that we simulate with the reconfigurable wireless network environment1to analyze the research originality.

This paper presents new challenges for the development of reconfigurable wireless sensor networks (RWSNs) that adapt dynamically their behaviors to their environment under different properties. An RWSN is a set of networked nodes that execute reconfigurable software tasks for the control of local sensors. We propose a new design methodology named RWiN of an RWSN using unified modeling language (UML) to analyze, construct, develop, and verify easily RWSN architectures. For that, we formulate a metamodel of RWSN based on UML to describe a zone-based architecture that uses a communication protocol for the optimization of distributed reconfigurations. To control the design complexity, we model each agent of this architecture by nested state machines. To verify the temporal constraints by communicating agents, each one is modeled by a timed automaton. The paper's contribution is applied to a case study, which is simulated with TRMSim-WSN and UPPAAL environment to expose the originality of this new architecture.

This paper deals with reconfigurable wireless sensor networks (RWSN) in which a reconfiguration scenario is assumed to be any run-time adaptation of the software execution according to user requirements. We present a Reconfigurable Wireless Network Environment (RWiN-Environment) which is a visual tool allowing for designers to develop RWSN by starting from the initial specification and modeling of the architecture, then the required formal verification based on UPPAAL to verify temporal and functional properties described in user requirements. RWiN-Environment allows also the software design as well as the constraints validation by using an extension of OCL for optimization. The last step in the development process deals with the code generation and also the final deployment on STM32F4-based WSN. The developed tool is applied to a simulated case study in order to control an irrigation system in the agriculture domain.