Model checking response times in Networked Automation Systems using jitter bounds
autor
Srinivasan, Seshadhri
Buonopane, Furio
Vain, Jüri
Ramaswamy, Srini
vastutusandmed
Seshadhri Srinivasan, Furio Buonopane, Juri Vain, Srini Ramaswamy
allikas
Computers in industry
ajakirja aastakäik number kuu
Vol. 74
ilmumisaasta
2015
leheküljed
p. 186-200
leitav
http://dx.doi.org/10.1016/j.compind.2015.06.012
märksõna
automaatjuhtimine
juhtimissüsteemid
võtmesõna
Networked Automation Systems (NAS)
jitter
timed-automata
model checking
network latencies
industrial automation
response time (RT)
ISSN
0166-3615
märkused
Bibliogr.: 36 ref
TTÜ struktuuriüksus
arvutiteaduse instituut
keel
inglise