Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks

Silva, Douglas Simões; Resner, Davi; Souza, Rick Lopes de; Martina, Jean Everson

doi:10.1007/978-3-319-49806-5_23

Cited by 5 publications

(4 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To draw more conclusions about the efficiency of the method, more results from other application domains shall be provided. Silva et al [76] proposed formal verification methods for cross-layer protocols used in IoT systems. However, the method is primarily designed for WSN systems, and the study does not discuss possible applicability to other IoT domains.…”

Section: Principal Testing Techniques Have Been Previously Studiedmentioning

confidence: 99%

See 1 more Smart Citation

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study

et al. 2019

View full text Add to dashboard Cite

Internet of Things (IoT) is an emerging technology that has the promising power to change our future. Due to the market pressure, IoT systems may be released without sufficient testing. However, it is no longer acceptable to release IoT systems to the market without assuring the quality. As in the case of new technologies, the quality assurance process is a challenging task. This paper shows the results of the first comprehensive and systematic mapping study to structure and categories the research evidence in the literature starting in 2009 when the early publication of IoT papers for IoT quality assurance appeared. The conducted research is based on the most recent guidelines on how to perform systematic mapping studies. A set of research questions is defined carefully regarding the quality aspects of the IoT. Based on these questions, a large number of evidence and research papers is considered in the study (478 papers). We have extracted and analyzed different levels of information from those considered papers. Also, we have classified the topics addressed in those papers into categories based on the quality aspects. The study results carry out different areas that require more work and investigation in the context of IoT quality assurance. The results of the study can help in a further understanding of the research gaps. Moreover, the results show a roadmap for future research directions.

show abstract

Section: Principal Testing Techniques Have Been Previously Studiedmentioning

confidence: 99%

“…The methods are varying here. For instance, statistical verification [75], formal verification [76], conformance testing [77], or randomness testing [78].…”

Section: Principal Testing Techniques Have Been Previously Studied (Rq4)mentioning

confidence: 99%

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study

et al. 2019

View full text Add to dashboard Cite

show abstract

“…In [28,29], the authors showed that most of the popular formal approaches are based on theoretical models such as finite state machine, timed automata and process algebra. Finite state machine approaches have been pointed out for the difficulty in dealing with hierarchical models.…”

Section: Related Workmentioning

confidence: 99%

A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks

Wang

Chen

2019

Sensors

View full text Add to dashboard Cite

Wireless Sensor Networks (WSNs) are prone to failures and malicious attacks. Trust evaluation is becoming a new method for fault detection in WSNs. In our previous work, a comprehensive trust model based on multi-factors was introduced for fault detection. This model was validated by simulating. However, it needs to be redeployed when adjustment to network parameters is made. To address the redeployment issue, we propose a Trust-based Formal Model (TFM) that can describe the fault detection process and check faults without simulating and running a WSN. This model derives from Petri nets with the characteristics of time, weight, and threshold. Basic structures of TFM are presented with which compound structures for general purposes can be built. The transition firing and marking updating rules are both defined for further system analysis. An efficient TFM analysis algorithm is developed for structured detection models. When trust factor values, firing time, weights, and thresholds are loaded, precise assessment of the node can be obtained. Finally, we implement TFM with the Generic Modeling Environment (GME). With an example, we illustrate that TFM can efficiently describe the fault detection process and specify faults in advance for WSNs.

show abstract

“…As a standalone area, the IoT protocol testing can be identified. Variety of the methods is used here, for instance, conformance testing [32], randomness testing [33], statistical verification [34], or formal verification [35]. Previous work related to IoT usability testing can be also identified, for instance, an IoT-specific usability testing framework [36].…”

Section: Iot Testbeds 38mentioning

confidence: 99%

Internet of Things: Current Challenges in the Quality Assurance and Testing Methods

Bureš

Černý

Ahmed

2018

Lecture Notes in Electrical Engineering

View full text Add to dashboard Cite

Contemporary development of the Internet of Things (IoT) technology brings a number of challenges in the Quality Assurance area. Current issues related to security, user's privacy, the reliability of the service, interoperability, and integration are discussed. All these create a demand for specific Quality Assurance methodology for the IoT solutions. In the paper, we present the state of the art of this domain and we discuss particular areas of system testing discipline, which is not covered by related work sufficiently so far. This analysis is supported by results of a recent survey we performed among ten IoT solutions providers, covering various areas of IoT applications.

show abstract

Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks

Cited by 5 publications

References 23 publications

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study

A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks

Internet of Things: Current Challenges in the Quality Assurance and Testing Methods

Contact Info

Product

Resources

About