Change search
ReferencesLink to record
Permanent link

Direct link
Sound Test-Suites for Cyber-Physical Systems
Department of Information Technology, Uppsala University, Uppsala, Sweden.
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
2016 (English)In: Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016), Piscataway: IEEE Computer Society, 2016, 42-48 p., 7541884Conference paper (Refereed)
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. © 2016 IEEE.

Place, publisher, year, edition, pages
Piscataway: IEEE Computer Society, 2016. 42-48 p., 7541884
Keyword [en]
Model-Based Testing, Cyber-Physical Systems, Conformance Testing, Hybrid Conformance, Hybrid Automata
National Category
Computer and Information Science
URN: urn:nbn:se:hh:diva-32158DOI: 10.1109/TASE.2016.33ScopusID: 2-s2.0-84988027279ISBN: 978-150901763-8OAI: diva2:1033617
The 10th International Symposium on Theoretical Aspects of Software Engineering, 17–19 July 2016, Shanghai, China
VR Project EFFEMBAC and KK Project AUTO-CAAS
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsKnowledge Foundation, 20140312Swedish Research Council, 621-2014-5057
Available from: 2016-10-07 Created: 2016-10-07 Last updated: 2016-10-11Bibliographically approved

Open Access in DiVA

fulltext(396 kB)3 downloads
File information
File name FULLTEXT01.pdfFile size 396 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Computer and Information Science

Search outside of DiVA

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

Altmetric score

ReferencesLink to record
Permanent link

Direct link