Blanc SIMI 3 - Sciences de l'information, de la matière et de l'ingénierie : Matériels et logiciels pour les systèmes, les calculateurs, les communications

Dependability-focused Evaluation of Sensor Networks – MURPHY

MURPHY provides a mean for early detection of possible failures, by estimating dependability metrics. This endeavour is undertaken by providing:
Fault detection based on in-network event processing,
Fault injection which attempts to accelerate the occurrence of faults so as to judge the quality of the error handling and hence, facilitate the evaluation of dependability,
Advanced code dissemination across sensor networks, which is intended to (i) enable the dynamic and distributed insertion of faults and (ii) hide to the end user the complexity related to this task,
Suitable abstractions to reason on faults, wireless sensor networks, data-centric and event-driven applications.
The aforementionned components permit to detect faults, diagnose possible causes and select appropriate corrective actions, and therefore to consolidate the dependability of sensor applications.

Two national and international partnership have been established.
3 workshops have/are actually organised in addition to scientific publication in international and national conferences

At the cross road of next generation of wireless sensor networks, ambient intelligence, dependable systems and automatic networking, Murphy's goal, towards an early stage fault detection based on a in-network and distributed fault injection, is particularly challenging mainly due to the gap between the high resilience requirements coming from pervasive applications and the fault-prone nature of sensors.

[BFR11] O. Baldellon, J-C. Fabre & M. Roy. Modeling Distributed Real-Time Systems using Adaptive Petri Nets.Workshop on Safety and Security of Systems and Software (3SL), colocated with CFSE, Saint Malo, 2011.
[FRS11] J-C. Fabre, M. Roy & M. Stoicescu. Towards a System Architecture for Resilient Computing Workshop on Safety and Security of Systems and Software (3SL), colocated with CFSE, Saint Malo, 2011.
[PS11] C. Pitrey, F. Sailhan. On Developping Dependable positionning . Workshop on Safety and Security of Systems and Software (3SL), colocated with CFSE, Saint Malo, 2011.
[SFR11] M. Stoicescu, J-C Fabre, M. Roy. Architecting resilient computing systems: overall approach and open issues. Proceedings of the Third international conference on Software engineering for resilient systems (SERENE), 2011.
[BFR12a] O. Baldellon, J-C. Fabre & M. Roy Distributed monitoring of temporal system properties using Petri nets. Short paper. IEEE International Symposium on Reliable Distributed Systems, 2012.
[DIL12] T. Delot, S. Ilarris, S. Lecomte, N. Cenerario. Sharing with Caution: Managing Parking Spaces in Vehicular Networks. Mobile Information Systems, IOS Press, 2012.
[PPT12] P. Patel, A. Pathak, T. Teixeira, and V. Issarny , «Towards Application Development for the Internet of Things«, Middleware Doctoral Symposium, colocated with ACM/IFIP/USENIX 12th International Middleware Conference, December 2011, Lisboa, Portugal.
[SFR12] M. Stoicescu, J-C Fabre, M. Roy. From design for adaptation to component based resilient computing. Submitted to IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
[SPB12] P. Sawyer, A. Pathak, N. Bencomo and V. Issarny , «How the Web of Things Challenges Requirement Engineering«, 3rd Workshop on The Web and Requirements Engineering (WeRE'12), colocated with 12th International Conference on Web Engineering (ICWE 2012), Berlin, Germany, July, 2012, Springer.

Submission summary

Wireless Sensor Networks (WSNs) hold great promises as an enabler of a wide spectrum of pervasive applications (e.g., urban monitoring, smart home or emergency scenario), and consequently generate huge opportunity for the National and European opportunities. With sensors, the key constraint remains resource saving. As the range of applications of wireless sensor networks extends in the fields of industrial and mission-critical, additional requisites relating to robustness and reliability appear. We are confronted to a wireless sensor network that is noteworthy for its gathering ability but that fails in ensuring its own reliance and its proper operation; such assertion is witnessed by the ever growing number of deployment campaigns that oscillate between failure and non-trivial deployments . With regards to the above requirements, our project aims at meeting the challenging task of easing the development of dependable and pervasive applications built on top of robust wireless sensor networks, thus providing a mean for detecting at an early stage possible failures and evaluating dependability measures. This endeavour is undertaken by providing:
- Enhanced fault detection capabilities grounded upon a monitoring system that provides advanced in-network event processing and correlation thus ensuring timely identification of any fault, misbehaviour or dysfunction,
- Fault injection which attempts to accelerate the occurrence of faults so as to easily judge the quality of the error handling and hence, more generally, facilitate the evaluation of dependability properties,
- Advanced code dissemination across sensor networks, which is intended to (i) enable the dynamic and distributed insertion of faults and (ii) hide to the end user the complexity related to this task.
The above components permit to detect faults, diagnose possible causes and select appropriate corrective actions, and therefore to consolidate the resiliency and dependability of sensor applications.

At the cross road of next generation of ambient intelligent wireless sensor networks, dependable systems and automatic networking, our project towards an early stage fault detection and diagnosis based on a in-network and distributed fault injection is particularly challenging mainly due to the gap between the high resilience requirements coming from pervasive applications and the fault prone nature of sensors. Thus, cross-layer, context & network-aware in-network fault detection, code distribution and abstractions will be devised, in order to ease the implementation of dependable application.
The above area of interest will be addressed by specification, prototype implementation serving as a proof-of-concept, as well as a use-cases-driven test and evaluation of the implemented technologies. Our approach is to use two representative WSN scenarios (an emergency monitoring and tracking application and a parking lot monitoring) to iteratively determine solutions for the key WSN issues, dependability, energy-efficiency, scalability and clearly understanding on real-world requirements.
For this purpose, our project is articulated around three main technical work packages including WP1: use case–driven requirements, architecture and abstraction model, WP2: fault injection-based dependability evaluation - engine and tool, WP3: use case-based testing, demonstration and validation. As a substantial advance in the state of the art, our project results constitute a necessary step to progress the field of wireless sensor network-based future and emerging technologies in France and Europe as well as an enabler for advancing the competitiveness of industry.

Project coordination

Francoise Sailhan (CONSERVATOIRE NATIONAL DES ARTS ET METIERS (CNAM)) – francoise.sailhan@cnam.fr

The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.

Partner

CNAM CONSERVATOIRE NATIONAL DES ARTS ET METIERS (CNAM)
LAAS-CNRS CNRS - DELEGATION REGIONALE MIDI-PYRENEES
INRIA INRIA - Siège
LAMIH CNRS - DELEGATION REGIONALE NORD-PAS-DE-CALAIS ET PICARDIE
SMARTGRAINS SMARTGRAINS

Help of the ANR 588,720 euros
Beginning and duration of the scientific project: - 36 Months

Useful links

Explorez notre base de projets financés

 

 

ANR makes available its datasets on funded projects, click here to find more.

Sign up for the latest news:
Subscribe to our newsletter