hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
A Process for Sound Conformance Testing of Cyber-Physical Systems
Universidade Federal de Pernambuco, Recife, PE, Brazil.
Universidade Federal de Pernambuco, Recife, PE, Brazil.
Universidade Federal de Pernambuco, Recife, PE, Brazil.
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
Show others and affiliations
2017 (English)In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) / [ed] Randall Bilof, Los Alamitos, CA: IEEE Computer Society, 2017, p. 46-50, article id 7899032Conference paper, Published paper (Refereed)
Abstract [en]

We present a process for sound conformance testing of cyber-physical systems, which involves functional but also non-functional aspects. The process starts with a hybrid model of cyber-physical systems in which the correct behavior of the system (at its interface level) is specified. Such a model captures both discrete behavior and evolution of continuous dynamics of the system in time. Since conformance testing inherently involves comparing continuous dynamics, the key parameters of the process are (1) the conformance bounds defining when two signals are sufficiently close to each other, and (2) the permitted error margin in the conformance analysis introduced by sampling of continuous signals. The final parameter of this process is (3) finding (and adjusting) the sampling rate of the dynamic behavior. In the specified process, we provide different alternatives for fixing the error margin of the conformance testing if the sampling rate is fixed, establishing the sampling rate if the error margin is fixed and finding conformance bounds once the sampling rate and the error margin are fixed. © 2017 IEEE.

Place, publisher, year, edition, pages
Los Alamitos, CA: IEEE Computer Society, 2017. p. 46-50, article id 7899032
Series
IEEE International Conference on Software Testing Verification and Validation Workshops, ISSN 2159-4848
Keywords [en]
Conformance Testing, Cyber-Physical Systems, Hybrid Systems, Approximate Simulation, Conformance Bounds, Sampling Rate
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:hh:diva-35616DOI: 10.1109/ICSTW.2017.15ISI: 000403392800009Scopus ID: 2-s2.0-85018444759ISBN: 978-1-5090-6676-6 (electronic)ISBN: 978-1-5090-6677-3 (print)OAI: oai:DiVA.org:hh-35616DiVA, id: diva2:1163305
Conference
10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW), Tokyo, Japan, March 13-17, 2017
Projects
AUTO-CAAS
Funder
Swedish Research Council, 621-2014-5057Knowledge Foundation, 20140312ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Note

Funding: The work of M. R. Mousavi has been partially supported by the Swedish Research Council (Vetenskapsrådet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems) and the Swedish Knowledge Foundation (Stiftelsen för Kunskaps- och Kompetensutveckling) in the context of the AUTO-CAAS HöG project (number: 20140312) and the Strategic Research Environment ELLIIT. The work of M. Taromirad has been partially supported by the Swedish Research Council (Vetenskapsrådet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems) and the Strategic Research Environment ELLIIT. 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.

Available from: 2017-12-06 Created: 2017-12-06 Last updated: 2017-12-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Mousavi, Mohammad RezaTaromirad, Masoumeh

Search in DiVA

By author/editor
Mousavi, Mohammad RezaTaromirad, Masoumeh
By organisation
Centre for Research on Embedded Systems (CERES)Halmstad Embedded and Intelligent Systems Research (EIS)
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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