hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Conformance Testing of Cyber-Physical Systems: A Comparative Study
School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).ORCID-id: 0000-0002-4869-6794
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). Rice University, Houston, Texas, USA.
2014 (Engelska)Ingår i: 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 , 2014Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Berlin: European Association of Software Science and Technology , 2014.
Serie
Electronic Communications of the EASST, ISSN 1863-2122 ; 70
Nyckelord [en]
Hybrid systems, conformance testing, (hybrid) timed state sequences, hybrid labeled transition systems
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:hh:diva-27215OAI: oai:DiVA.org:hh-27215DiVA, id: diva2:770592
Konferens
The 14th International Workshop on Automated Verification of Critical Systems, University of Twente, Enschede, Netherlands, 24–26th September, 2014
Forskningsfinansiär
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Anmärkning

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

Tillgänglig från: 2014-12-11 Skapad: 2014-12-11 Senast uppdaterad: 2018-03-22Bibliografiskt granskad

Open Access i DiVA

fulltext(559 kB)1023 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 559 kBChecksumma SHA-512
510b1b55522256831211120693410cbca351c5703c941fd8520cd663bb96b7e0b72cf2f5624b3a96310dd73628c58b875b9f2d2e9d758f128ce52dcf05e1947d
Typ fulltextMimetyp application/pdf

Övriga länkar

Full text

Personposter BETA

Mousavi, Mohammad RezaTaha, Walid

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad RezaTaha, Walid
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 1023 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 334 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf