Sökning: onr:"swepub:oai:research.chalmers.se:96651a83-c22d-421e-b69b-d408f8a4aef0" >
Formal verification...
-
Alenljung, Tord,1977Chalmers tekniska högskola,Chalmers University of Technology
(författare)
Formal verification of PLC controlled systems using sensor graphs
- Artikel/kapitelEngelska2009
Förlag, utgivningsår, omfång ...
Nummerbeteckningar
-
LIBRIS-ID:oai:research.chalmers.se:96651a83-c22d-421e-b69b-d408f8a4aef0
-
ISBN:9781424445783
-
https://research.chalmers.se/publication/108776URI
-
https://doi.org/10.1109/COASE.2009.5234187DOI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:kon swepub-publicationtype
-
Ämneskategori:ref swepub-contenttype
Anmärkningar
-
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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Lennartson, Bengt,1956Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)l
(författare)
-
Chalmers tekniska högskola
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, s. 164-1709781424445783
Internetlänk
Hitta via bibliotek
Till lärosätets databas