Building distributed sensor network applications using BIP

International audienceThe exponential increase in the demands for the deployment of large-scale sensor networks, makes the efficient development of functional applications necessary. Nevertheless, the existence of scarce resources and the derived application complexity, impose significant constraints and requires high design expertise. Consequently, the probability of discovering design errors, once the application is implemented, is considerably high. To address these issues, there is a need for the availability of early-stage validation, performance evaluation and rapid prototyping techniques at design time. In this paper we present a novel approach for the co-design of mixed software/hardware applications for distributed sensor network systems. This approach uses BIP, a formal framework facilitating modeling, analysis and implementation of real-time embedded, heterogeneous systems. Our approach is illustrated through the modeling and deployment of a Wireless Multimedia Sensor Network (WMSN) application. We emphasize on its merits, notably validation of functional and non-functional requirements through statistical model-checking and automatic code generation for sensor network platforms

The Impact of Elimination of The Most Critical Node on Wireless Sensor Network Lifetime

IEEE Sensors Applications Symposium (SAS) (2015 : ZADAR, CROATIA)Wireless Sensor Network (WSN) paradigm is an integral component of ubiquitous computing and Machine-to-Machine communications. Since WSNs are widely used in homeland security, military applications, next generation power lines, critical infrastructure monitoring and smart spaces, they are naturally attractive to the adversaries and vulnerable to natural conditions because of their harsh topologies. Although, there are some solutions against Denial of Service (DoS) attacks conducted against single or multiple sensor nodes in WSNs, WSNs are, at best, weakly defended against more sophisticated attack types. Therefore, the period that the sensor network will stand out against such attacks has a crucial importance to calculate intervention or backup times for WSNs. In this study, we propose a linear programming (LP) approach for modeling the impact of single node attacks on network lifetime in WSNs. We explored the parameter space through the numerical evaluations of the LP model to quantify the impact of elimination of the most critical node on WSN lifetime