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

Direktlänk
Referera
Referensformat
  • apa
  • 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
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.
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
Visa övriga samt affilieringar
2017 (Engelska)Ingår i: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) / [ed] Randall Bilof, Los Alamitos, CA: IEEE Computer Society, 2017, s. 46-50, artikel-id 7899032Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Los Alamitos, CA: IEEE Computer Society, 2017. s. 46-50, artikel-id 7899032
Serie
IEEE International Conference on Software Testing Verification and Validation Workshops, ISSN 2159-4848
Nyckelord [en]
Conformance Testing, Cyber-Physical Systems, Hybrid Systems, Approximate Simulation, Conformance Bounds, Sampling Rate
Nationell ämneskategori
Reglerteknik
Identifikatorer
URN: urn:nbn:se:hh:diva-35616DOI: 10.1109/ICSTW.2017.15ISI: 000403392800009Scopus ID: 2-s2.0-85018444759ISBN: 978-1-5090-6676-6 (digital)ISBN: 978-1-5090-6677-3 (tryckt)OAI: oai:DiVA.org:hh-35616DiVA, id: diva2:1163305
Konferens
10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW), Tokyo, Japan, March 13-17, 2017
Projekt
AUTO-CAAS
Forskningsfinansiär
Vetenskapsrådet, 621-2014-5057KK-stiftelsen, 20140312ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Anmärkning

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.

Tillgänglig från: 2017-12-06 Skapad: 2017-12-06 Senast uppdaterad: 2017-12-06Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Mousavi, Mohammad RezaTaromirad, Masoumeh

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad RezaTaromirad, Masoumeh
Av organisationen
Centrum för forskning om inbyggda system (CERES)Halmstad Embedded and Intelligent Systems Research (EIS)
Reglerteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 285 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • 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