Search: onr:"swepub:oai:DiVA.org:hh-29564" >
Notions of Conforma...
-
Khakpour, NargesLinnéuniversitetet,Institutionen för datavetenskap (DV),Linnaeus University, Växjö, Sweden
(author)
Notions of Conformance Testing for Cyber-Physical Systems : Overview and Roadmap
- Article/chapterEnglish2015
Publisher, publication year, extent ...
-
Wadern :Dagstuhl Publishing,2015
-
printrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:hh-29564
-
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-29564URI
-
https://doi.org/10.4230/LIPIcs.CONCUR.2015.18DOI
-
https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-51015URI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:pop swepub-contenttype
-
Subject category:kon swepub-publicationtype
Notes
-
We review and compare three notions of conformance testing for cyber-physical systems. We begin with a review of their underlying semantic models and present conformance-preserving translations between them. We identify the differences in the underlying semantic models and the various design decisions that lead to these substantially different notions of conformance testing. Learning from this exercise, we reflect upon the challenges in designing an “ideal” notion of conformance for cyber-physical systems and sketch a roadmap of future research in this domain.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Mousavi, Mohammad Reza,1978-Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Halmstad University(Swepub:hh)mohmou
(author)
-
LinnéuniversitetetInstitutionen för datavetenskap (DV)
(creator_code:org_t)
Related titles
-
In:26th International Conference on Concurrency TheoryWadern : Dagstuhl Publishing, s. 18-409783939897910
Internet link
Find in a library
To the university's database