Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Conformance Testing of Cyber-Physical Systems: A Comparative Study
School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4869-6794
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, Texas, USA.
2014 (English)In: Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014) / [ed] Marieke Huisman, Jaco van de Pol, Tiziana Margaria, Julia Padberg & Gabriele Taentzer, Berlin: European Association of Software Science and Technology , 2014Conference paper, Published paper (Refereed)
Abstract [en]

For systematic and automatic testing of cyber-physical systems, in which a set of test cases is generated based on a formal specification, a number of notions of conformance testing have been proposed. In this paper, we review two existing theories of conformance testing for cyber-physical systems and compare them. We point out their fundamental differences, and prove under which assumptions they coincide.

Place, publisher, year, edition, pages
Berlin: European Association of Software Science and Technology , 2014.
Series
Electronic Communications of the EASST, ISSN 1863-2122 ; 70
Keyword [en]
Hybrid systems, conformance testing, (hybrid) timed state sequences, hybrid labeled transition systems
National Category
Computer Science
Identifiers
URN: urn:nbn:se:hh:diva-27215OAI: oai:DiVA.org:hh-27215DiVA: diva2:770592
Conference
The 14th International Workshop on Automated Verification of Critical Systems, University of Twente, Enschede, Netherlands, 24–26th September, 2014
Funder
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Note

Walid Taha was supported by the US NSF CPS award 1136099.

Available from: 2014-12-11 Created: 2014-12-11 Last updated: 2017-03-24Bibliographically approved

Open Access in DiVA

fulltext(559 kB)661 downloads
File information
File name FULLTEXT01.pdfFile size 559 kBChecksum SHA-512
510b1b55522256831211120693410cbca351c5703c941fd8520cd663bb96b7e0b72cf2f5624b3a96310dd73628c58b875b9f2d2e9d758f128ce52dcf05e1947d
Type fulltextMimetype application/pdf

Other links

Full text

Search in DiVA

By author/editor
Mousavi, Mohammad RezaTaha, Walid
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 661 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 200 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf