Model checking response times in Networked Automation Systems using jitter bounds
author
Srinivasan, Seshadhri
Buonopane, Furio
Vain, Jüri
Ramaswamy, Srini
statement of authorship
Seshadhri Srinivasan, Furio Buonopane, Juri Vain, Srini Ramaswamy
source
Computers in industry
journal volume number month
Vol. 74
year of publication
2015
pages
p. 186-200
url
http://dx.doi.org/10.1016/j.compind.2015.06.012
subject term
automaatjuhtimine
juhtimissüsteemid
keyword
Networked Automation Systems (NAS)
jitter
timed-automata
model checking
network latencies
industrial automation
response time (RT)
ISSN
0166-3615
notes
Bibliogr.: 36 ref
TTÜ department
arvutiteaduse instituut
language
inglise