Sell Your Projects | My Account | Careers | This email address is being protected from spambots. You need JavaScript enabled to view it. | Call: +91 9573777164

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

1 1 1 1 1 Rating 4.75 (2 Votes)

PROJECT TITLE :

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

ABSTRACT :

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


Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs - 4.5 out of 5 based on 2 votes

Project EnquiryLatest Ready Available Academic Live Projects in affordable prices

Included complete project review wise documentation with project explanation videos and Much More...