onr:"swepub:oai:research.chalmers.se:96651a83-c22d-421e-b69b-d408f8a4aef0"
Search: onr:"swepub:oai:research.chalmers.se:96651a83-c22d-421e-b69b-d408f8a4aef0" > Formal verification...
- 1 of 1
- Previous record
- Next record
- To hitlist
Formal verification of PLC controlled systems using sensor graphs
-
- Alenljung, Tord, 1977 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lennartson, Bengt, 1956 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
- (creator_code:org_t)
- ISBN 9781424445783
- 2009
- 2009
- English.
- In: 2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India. - 9781424445783 ; , s. 164-170
- Conference paper (peer-reviewed)
Abstract
Subject headings
Close
- This paper describes how a system, consisting of a discrete controller (e.g. a PLC) that controls a physical plant/process, can be formally verified. The physical process is assumed to be modeled using Sensor Graphs, a discrete event modeling language directed at physical systems with binary and identity sensors (e.g. RFID). The formal and graphical syntaxes of Sensor Graphs are presented and exemplified. The "semitimed" semantics is defined considering a process model together with a controller model, represented as a discrete state equation. Finally, it is shown how requirements on the closedloop system, represented by a Sensor Graph and a controller model, can be verified using the model checker Cadence SMV.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
- 2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore... (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Alenljung, Tord, ...
- Lennartson, Beng ...
- About the subject
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- Articles in the publication
- 2009 IEEE Confer ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
