Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/40317
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAraujo, Hugo-
dc.contributor.authorCarvalhoa, Gustavo-
dc.contributor.authorMohaqeqi, Morteza-
dc.contributor.authorMousavi, Mohammad Reza-
dc.contributor.authorSampaio, Augusto-
dc.date.accessioned2017-09-04T13:26:09Z-
dc.date.available2017-09-04T13:26:09Z-
dc.date.issued2017-08-04-
dc.identifier.citationScience of Computer Programming, 2017en
dc.identifier.issn0167-6423-
dc.identifier.urihttp://www.sciencedirect.com/science/article/pii/S0167642317301429?via%3Dihuben
dc.identifier.urihttp://hdl.handle.net/2381/40317-
dc.description.abstractConformance 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.en
dc.description.sponsorshipThe work of M.R. Mousavi has been partially supported by the Swedish Research Council (Vetenskapsradet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems), the Swedish Knowledge Foundation (Stiftelsen for Kunskaps- och Kompetensutveckling) in the context of the AUTO-CAAS HoG project (number: 20140312), and the ELLIIT Strategic Research Area. 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.en
dc.language.isoenen
dc.publisherElsevieren
dc.rightsCopyright © the authors, 2017. This is an open-access article distributed under the terms of the Creative Commons Attribution-Non Commercial-No Derivatives License (http://creativecommons.org/licenses/by-nc-nd/4.0/), which permits use and distribution in any medium, provided the original work is properly cited, the use is non-commercial and no modifications or adaptations are made.en
dc.subjectCyber-physical systemsen
dc.subjectModel-based testingen
dc.subjectConformance testingen
dc.subjectSoundnessen
dc.subjectReachability analysisen
dc.titleSound conformance testing for cyber-physical systems: Theory and implementationen
dc.typeJournal Articleen
dc.identifier.doi10.1016/j.scico.2017.07.002-
dc.identifier.eissn1872-7964-
dc.description.statusPeer-revieweden
dc.description.versionPublisher Versionen
dc.type.subtypeArticle-
pubs.organisational-group/Organisationen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERINGen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Scienceen
dc.dateaccepted2017-07-20-
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
1-s2.0-S0167642317301429-main.pdfPublished (publisher PDF)2.13 MBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.