print

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

author
Vain, Jüri
Tsiopoulos, Leonidas
Kharchenko, Vyacheslav
Apneet Kaur
Jenihhin, Maksim
Raik, Jaan
Nõmm, Sven
statement of authorship
Jüri Vain, Leonidas Tsiopoulos, Vyacheslav Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik, Sven Nõmm
source
Green IT Engineering: Social, Business and Industrial Applications
location of publication
Cham
publisher
Springer Nature
year of publication
2019
pages
p. 273-297
series
Studies in systems, decision and control ; 171
url
https://doi.org/10.1007/978-3-030-00253-4_12
subject term
testimine
programmeerimiskeeled
kiipvõrgud
mudelipõhine tarkvaraarendus
tarkvaraarendus
Scopus
Article collection at Scopus
Article at Scopus
kvartiil
Q2
category (general)
Sotsiaalteadused
Majandus, ökonomeetria ja rahandus
Otsustusteadused
Tehnika
Matemaatika
Arvutiteadus
category (sub)
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
keyword
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
notes
Bibliogr.: 30 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
arvutisüsteemide instituut
language
inglise
Uurimisrühm
Centre for digital forensics and cyber security
Centre for maritime cybersecurity
High-assurance software laboratory
Centre for trustworthy and efficient computing hardware (TECH)
Centre of dependable computing systems
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, 2019. p. 273-297. (Studies in systems, decision and control ; 171). https://doi.org/10.1007/978-3-030-00253-4_12