A logic-based calculus of events
New Generation Computing
Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree
14th International Colloquium on Automata, languages and programming
Fault Injection for Dependability Validation: A Methodology and Some Applications
IEEE Transactions on Software Engineering
Fault Injection Experiments Using FIAT
IEEE Transactions on Computers
FERRARI: A Flexible Software-Based Fault and Error Injection System
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Fault Injection Techniques and Tools
Computer
Energy-Efficient Communication Protocol for Wireless Microsensor Networks
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
A Framework for Assessing Dependability in Distributed Systems with Lightweight Fault Injectors
IPDS '00 Proceedings of the 4th International Computer Performance and Dependability Symposium
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
An analysis of a large scale habitat monitoring application
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Approximation Algorithm for Maximum Lifetime in Wireless Sensor Networks with Data Aggregation
SNPD-SAWN '06 Proceedings of the Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
Infrastructure Communication Reliability of Wireless Sensor Networks
DASC '06 Proceedings of the 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing
Security Monitoring Using Wireless Sensor Networks
CNSR '07 Proceedings of the Fifth Annual Conference on Communication Networks and Services Research
Castalia: revealing pitfalls in designing distributed algorithms in WSN
Proceedings of the 5th international conference on Embedded networked sensor systems
Architecture of a Wireless Sensor Network for Vital Signs Transmission in Hospital Setting
ICCIT '07 Proceedings of the 2007 International Conference on Convergence Information Technology
Underground coal mine monitoring with wireless sensor networks
ACM Transactions on Sensor Networks (TOSN)
A state-based battery model for nodes' lifetime estimation in wireless sensor networks
Proceedings of the tenth ACM international symposium on Mobile ad hoc networking and computing
Handbook of Knowledge Representation
Handbook of Knowledge Representation
iCAAS: interoperable and configurable architecture for accessing sensor networks
Proceedings of the 3rd international workshop on Adaptive and dependable mobile ubiquitous systems
AVR-INJECT: A tool for injecting faults in Wireless Sensor Nodes
IPDPS '09 Proceedings of the 2009 IEEE International Symposium on Parallel&Distributed Processing
Monitoring heritage buildings with wireless sensor networks: The Torre Aquila deployment
IPSN '09 Proceedings of the 2009 International Conference on Information Processing in Sensor Networks
SENSORCOMM '09 Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications
MEDAL: a coMpact event description and analysis language for wireless sensor networks
INSS'09 Proceedings of the 6th international conference on Networked sensing systems
Artificial intelligence today
MEDiSN: Medical emergency detection in sensor networks
ACM Transactions on Embedded Computing Systems (TECS)
Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems
The Computer Journal
An effective approach for injecting faults in wireless sensor network operating systems
ISCC '10 Proceedings of the The IEEE symposium on Computers and Communications
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
IEEE Transactions on Mobile Computing
Distributed Intelligent Sensor Network for the Rehabilitation of Parkinson's Patients
IEEE Transactions on Information Technology in Biomedicine
Path Loss Effect on Energy Consumption in a WSN
UKSIM '12 Proceedings of the 2012 UKSim 14th International Conference on Modelling and Simulation
IEEE Transactions on Computers
iCAAS: An Interoperable and Configurable Architecture for Accessing Sensor Networks
International Journal of Adaptive, Resilient and Autonomic Systems
Static Verification of Wireless Sensor Networks with Formal Methods
SITIS '12 Proceedings of the 2012 Eighth International Conference on Signal Image Technology and Internet Based Systems
Hi-index | 0.00 |
Resiliency is becoming one of the most important non functional properties of Wireless Sensor Networks (WSNs), as their adoption is more and more hypothesized in critical application scenarios. Hence, assessing the resiliency of WSN applications, protocols, and platforms is starting to be an import concern for WSN designers and developers. This paper presents the techniques that are currently used in the field of WSN resiliency assessment, categorized as experimental, simulative, analytical and formal techniques. After reporting the state-of-art according to the four categories, the paper discusses research trends, strengths and weaknesses of existing approaches, and concludes with open issues and ongoing challenges.