uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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
Sound conformance testing for cyber-physical systems: Theory and implementation
Univ Fed Pernambuco, Recife, PE, Brazil.
Univ Fed Pernambuco, Recife, PE, Brazil.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Halmstad Univ, Halmstad, Sweden;Univ Leicester, Leicester, Leics, England.
Show others and affiliations
2018 (English)In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 162, p. 35-54Article in journal (Refereed) 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.

Place, publisher, year, edition, pages
ELSEVIER SCIENCE BV , 2018. Vol. 162, p. 35-54
Keywords [en]
Cyber-physical systems, Model-based testing, Conformance testing, Soundness, Reachability analysis
National Category
Computer Sciences Software Engineering
Identifiers
URN: urn:nbn:se:uu:diva-358256DOI: 10.1016/j.scico.2017.07.002ISI: 000435053400003OAI: oai:DiVA.org:uu-358256DiVA, id: diva2:1242186
Funder
Swedish Research Council, 621-2014-5057Available from: 2018-08-27 Created: 2018-08-27 Last updated: 2018-08-27Bibliographically approved

Open Access in DiVA

fulltext(1579 kB)77 downloads
File information
File name FULLTEXT01.pdfFile size 1579 kBChecksum SHA-512
24b7945b24b41fb213d72b38174703b392319ca561e986d4ba2e21291e9f25d3aed3c4d1c74405ff66e42f4e34c4e0e68af242e3466a8be8f4adfa441825012d
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Mohaqeqi, Morteza

Search in DiVA

By author/editor
Mohaqeqi, Morteza
By organisation
Computer Systems
In the same journal
Science of Computer Programming
Computer SciencesSoftware Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 77 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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 196 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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