DTRON : a tool for distributed model-based testing of time critical applications
autor
Anier, Aivo
Vain, Jüri
Tsiopoulos, Leonidas
vastutusandmed
Aivo Anier, Jüri Vain, and Leonidas Tsiopoulos
allikas
Proceedings of the Estonian Academy of Sciences
ajakirja aastakäik number kuu
vol. 66, 1
ilmumisaasta
2017
leheküljed
p. 75-88 : ill
leitav
https://doi.org/10.3176/proc.2017.1.08
http://www.ester.ee/record=b2355998*est
märksõna
küberfüüsikalised süsteemid
reaalajasüsteemid
hajussüsteemid
testimine
mudelipõhine tarkvaraarendus
võtmesõna
computer science
formal methods
model-based testing
distributed systems
real-time systems
cyber-physical systems
Uppaal timed automata
ISSN
1736-6046
märkused
Bibliogr.: 33 ref
Kokkuvõte: Ajakriitiliste rakenduste mudelipohise hajustestimise vahend DTRON
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise