Sökning: id:"swepub:oai:DiVA.org:uu-358256" >
Sound conformance t...
Sound conformance testing for cyber-physical systems : Theory and implementation
-
- Araujo, Hugo (författare)
- Univ Fed Pernambuco, Recife, PE, Brazil,Universidade Federal de Pernambuco, Recife, PE, Brazil
-
- Carvalho, Gustavo (författare)
- Univ Fed Pernambuco, Recife, PE, Brazil,Universidade Federal de Pernambuco, Recife, PE, Brazil
-
- Mohaqeqi, Morteza (författare)
- Uppsala universitet,Datorteknik,Uppsala University, Uppsala, Sweden
-
visa fler...
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),University of Leicester, Leicester, UK
-
- Sampaio, Augusto (författare)
- Univ Fed Pernambuco, Recife, PE, Brazil,Universidade Federal de Pernambuco, Recife, PE, Brazil
-
visa färre...
-
(creator_code:org_t)
- Amsterdam : ELSEVIER SCIENCE BV, 2018
- 2018
- Engelska.
-
Ingår i: Science of Computer Programming. - Amsterdam : ELSEVIER SCIENCE BV. - 0167-6423 .- 1872-7964. ; 162, s. 35-54
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://uu.diva-port... (primary) (Raw object)
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- Cyber-physical systems
- Model-based testing
- Conformance testing
- Soundness
- Reachability analysis
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas