prindi

Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoC

autor
Vain, Jüri
Tsiopoulos, Leonidas
Kharchenko, Vyacheslav
Apneet Kaur
Jenihhin, Maksim
Raik, Jaan
Nõmm, Sven
vastutusandmed
Jüri Vain, Leonidas Tsiopoulos, Vyacheslav Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik, Sven Nõmm
allikas
Green IT Engineering: Social, Business and Industrial Applications
ilmumiskoht
Cham
kirjastus/väljaandja
Springer Nature Switzerland AG
ilmumisaasta
2019
leheküljed
p. 273-297
seeria-sari
Studies in systems, decision and control ; 171
leitav
https://doi.org/10.1007/978-3-030-00253-4_12
märksõna
testimine
programmeerimiskeeled
kiipvõrgud
mudelipõhine tarkvaraarendus
tarkvaraarendus
Scopus
Article collection at Scopus
Article at Scopus
kvartiil
Q2
kategooria (üld)
Sotsiaalteadused
Majandus, ökonomeetria ja rahandus
Otsustusteadused
Tehnika
Matemaatika
Arvutiteadus
kategooria (alam)
Sotsiaalteadused. Sotsiaalteadused (mitmesugused)
Majandus, ökonomeetria ja rahandus. Majandus, ökonomeetria ja rahandus (mitmesugused)
Otsustusteadused. Otsustusteadused (mitmesugused)
Tehnika. Autotehnika
Matemaatika. Juhtimine ja optimeerimine
Arvutiteadus. Arvutiteadus (mitmesugused)
Tehnika. Juhtimis- ja süsteemitehnika
võtmesõna
formal methods
UPPAAL timed automata
verification
Markov models
model-based testing
multi-processor system-on-chip
ISSN
2198-4182
ISBN
978-3-030-00252-7
märkused
Bibliogr.: 30 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Küberkriminalistika ja küberjulgeoleku keskus
Merenduse küberturvalisuse keskus
Tugevalt tagatud tarkvara laboratoorium
Töökindla arvutusriistvara keskus (TARK)
Usaldusväärsete arvutisüsteemide keskus
Vain, J., Tsiopoulos, L., Kharchenko, V., Kaur, A., Jenihhin, M., Raik, J., Nõmm, S. Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoC // Green IT Engineering: Social, Business and Industrial Applications. Cham : Springer Nature Switzerland AG, 2019. p. 273-297. (Studies in systems, decision and control ; 171). https://doi.org/10.1007/978-3-030-00253-4_12