| 1. |
- Araujo, Hugo, et al.
(författare)
-
Sound conformance testing for cyber-physical systems : Theory and implementation
- 2018
-
Ingår i: Science of Computer Programming. - Amsterdam : ELSEVIER SCIENCE BV. - 0167-6423 .- 1872-7964. ; 162, s. 35-54
-
Tidskriftsartikel (refereegranskat)abstract
- 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.
|
|
| 2. |
- Mohaqeqi, Morteza, et al.
(författare)
-
Sound Test-Suites for Cyber-Physical Systems
- 2016
-
Ingår i: Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016). - Piscataway : IEEE Computer Society. - 9781509017645 - 9781509017652 ; , s. 42-48
-
Konferensbidrag (refereegranskat)abstract
- 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.
|
|
| 3. |
- Mohaqeqi, Morteza, et al.
(författare)
-
Towards an Approximate Conformance Relation for Hybrid I/O Automata
- 2016
-
Ingår i: Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems. - Sydney : Open Publishing Association. ; , s. 53-64
-
Konferensbidrag (refereegranskat)abstract
- Several notions of conformance have been proposed for checking the behavior of cyber-physical systems against their hybrid systems models. In this paper, we explore the initial idea of a notion of approximate conformance that allows for comparison of both observable discrete actions and (sampled) continuous trajectories. As such, this notion will consolidate two earlier notions, namely the notion of Hybrid Input-Output Conformance (HIOCO) by M. van Osch and the notion of Hybrid Conformance by H. Abbas and G.E. Fainekos. We prove that our proposed notion of conformance satisfies a semi-transitivity property, which makes it suitable for a step-wise proof of conformance or refinement.
|
|
