Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs


This paper introduces Sensor Graphs, a discrete event modeling language directed at physical systems with binary and identity sensors (e.g., RFID). The aim of Sensor Graphs is to simplify the modeling of the plant/method that's to be controlled by a discrete controller, as an example a programmable logic controller (PLC); thereby creating formal verification and different model-based mostly formal methods a lot of applicable for PLC programmers. The formal syntax and semantics of Sensor Graphs are outlined and a compact graphical representation is presented. The language is exemplified by modeling a conveyor module and a lab process. For comparison, the latter is additionally modeled using Statecharts and Web Condition/Event systems. A controller, modeled as a discrete state equation, will be composed with a Sensor Graph of the method in order to form a model of the closed-loop system. It is demonstrated how necessities on such a closed-loop system, primarily based on a PLC program and a Sensor Graph method model, can be formally verified using the model checker Cadence SMV.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE :Power-Efficient Communication in UAV-Aided Wireless Sensor Networks - 2018ABSTRACT:This letter investigates a power-economical unmanned aerial vehicle (UAV)-primarily based wireless sensor network, where the UAV
PROJECT TITLE :An Ant Colony Optimization Based Approach for Minimum Cost Coverage on 3-D Grid in Wireless Sensor Networks - 2018ABSTRACT:The application of swarm intelligence algorithms to wireless sensor networks (WSNs) deployment
PROJECT TITLE :Spatial Field Reconstruction and Sensor Selection in Heterogeneous Sensor Networks With Stochastic Energy Harvesting - 2018ABSTRACT:We tend to address the two fundamental issues of spatial field reconstruction and
PROJECT TITLE :Space Time MUSIC: Consistent Signal Subspace Estimation for Wideband Sensor Arrays - 2018ABSTRACT:Wideband direction of arrival (DOA) estimation with sensor arrays is an important task in sonar, radar, acoustics,
PROJECT TITLE :Performance Analysis of Coarray-Based MUSIC in the Presence of Sensor Location Errors - 2018ABSTRACT:Sparse linear arrays, such as co-prime and nested arrays, will resolve a lot of uncorrelated sources than the

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry