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 :Normal Harmonic Search Algorithm Primarily based MPPT forSolar PV System and Integrated with Grid using Reduced Sensor Approach and PNKLMS AlgorithmABSTRACT:This paper deals with a unique reduced sensor strategy, offering final year NS2 Based Wireless Sensor Networks MTech Projects, Wireless Sensor Networks IEEE Projects, IEEE Wireless Sensor Networks Projects, Wireless Sensor Networks MS Projects, NS2 Based Wireless
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

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

Project Enquiry