A Trust Analysis Methodology for Pervasive Computing Systems

Presti, Stéphane Lo; Butler, Michael; Leuschel, Michaël; Booth, Chris

doi:10.1007/11532095_8

Cited by 7 publications

(1 citation statement)

References 10 publications

(10 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Because of their distinct features, formal modeling is commonly utilized in life-critical systems. When we create a formal specification for a system, it is (1) unambiguous, (2) consistent, and (3) complete [11] since the syntax employed in formal methods can only have one meaning. Another compelling argument for adopting formal methods is that they take more work in the early stages of software development, which decreases requirements errors by forcing a thorough study of the requirements.…”

Section: Formal Methodsmentioning

confidence: 99%

Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL

et al. 2022

View full text Add to dashboard Cite

VANETs have gained much attention from both industry and academia because of their characteristics, such as dynamic topology. There are various applications of VANETs that are classified on the basis of safety, efficiency, commercial usage, and productive areas. This paper presents an IoT-based formal model for vehicle-life integration enabling RSUs with the help of different approaches. We have developed a model that uses vehicle scenarios in smart transportation systems so that quick data transmission is provided between the source and destination vehicles. Further, fog-based RSUs provide a wide range to communicate with hospitals and emergency vehicles to deal with emergency situations. All the appropriate entities are connected to ensure a consistent traffic flow for the arrival of an emergency vehicle in emergency places. The UML, graph theory, and VDM-SL formal technique are used to represent this system. To model the network and discover appropriate paths for V2V communication, graph theory is applied. The system requirements are designed using a UML diagram. The VDM-SL, an object-oriented model-based formal technique, was utilized for this modeling procedure. This approach assures the safety and accuracy of systems by detecting flaws early in the design process. It also gives an exceptionally important answer to an issue and increases trust in the software’s quality.

show abstract

Section: Formal Methodsmentioning

confidence: 99%