hh.sePublications
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
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.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). University of Leicester, Leicester, UK.ORCID iD: 0000-0002-4869-6794
Show others and affiliations
2017 (English)In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964Article in journal (Refereed) In press
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).

Place, publisher, year, edition, pages
Amsterdam: Elsevier, 2017.
Keyword [en]
Cyber-physical systems, Model-based testing, Conformance testing, Soundness, Reachability analysis
National Category
Embedded Systems
Identifiers
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
Available from: 2018-04-05 Created: 2018-04-05 Last updated: 2018-04-05

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Mousavi, Mohammad Reza

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
In the same journal
Science of Computer Programming
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 4 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