hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Sound conformance testing for cyber-physical systems: Theory and implementation
Universidade Federal de Pernambuco, Recife, PE, Brazil.
Universidade Federal de Pernambuco, Recife, PE, Brazil.
Uppsala University, Uppsala, Sweden.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). University of Leicester, Leicester, UK.ORCID-id: 0000-0002-4869-6794
Vise andre og tillknytning
2017 (engelsk)Inngår i: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 162, s. 35-54Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Conformance testing is a formal and structured approach to verifying system correctness. We propose a conformance testing algorithm for cyber-physical systems, based on the notion of hybrid conformance by Abbas and Fainekos. We show how the dynamics of system specification and the sampling rate play an essential role in making sound verdicts. We specify and prove error bounds that lead to sound test-suites for a given specification and a given sampling rate. We use reachability analysis to find such bounds and implement the proposed approach using the CORA toolbox in Matlab. We apply the implemented approach on a case study from the automotive domain. © 2017 The Author(s).

sted, utgiver, år, opplag, sider
Amsterdam: Elsevier, 2017. Vol. 162, s. 35-54
Emneord [en]
Cyber-physical systems, Model-based testing, Conformance testing, Soundness, Reachability analysis
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-36508DOI: 10.1016/j.scico.2017.07.002Scopus ID: 2-s2.0-85027519698OAI: oai:DiVA.org:hh-36508DiVA, id: diva2:1195575
Prosjekter
AUTO-CAAS
Forskningsfinansiär
Swedish Research Council, 621-2014-5057Knowledge Foundation, 20140312
Merknad

The work of Hugo Araujo, Gustavo Carvalho and Augusto Sampaio was partially supported by the CIn-UFPE/Motorola cooperation project, as well as CNPq grants 303022/2012-4 and 132332/2015-9.

Tilgjengelig fra: 2018-04-05 Laget: 2018-04-05 Sist oppdatert: 2018-06-28bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza
Av organisasjonen
I samme tidsskrift
Science of Computer Programming

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 889 treff
RefereraExporteraLink to record
Permanent link

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