Abstract | ||
---|---|---|
Cyber-Physical Systems (CPS) require a high degree of reliability and robustness. Hence it is important to assert their correctness with respect to extra-functional properties, like power consumption, temperature, etc. In turn the physical quantities may be exploited for assessing system implementations. This article develops a methodology for utilizing measurements of physical quantities for testing the conformance of a running CPS with respect to a formal description of its required behavior allowing to uncover defects. We present foundations and implementations of this approach and demonstrate its usefulness by conformance testing power measurements of a wireless sensor node with a formal model of its power consumption. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2362336.2362351 | ACM Trans. Embedded Comput. Syst. |
Keywords | Field | DocType |
high degree,physical quantity,present foundation,conformance testing power measurement,required behavior,cyber-physical system,system implementation,formal description,power consumption,cyber-physical systems,formal model,embedded systems,cyber physical systems | Physical quantity,Computer science,Correctness,Real-time computing,Conformance testing,Formal description,Robustness (computer science),Implementation,Cyber-physical system,Power consumption,Embedded system | Journal |
Volume | Issue | ISSN |
11 | 4 | 1539-9087 |
Citations | PageRank | References |
7 | 0.56 | 12 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Matthias Woehrle | 1 | 194 | 21.93 |
Kai Lampka | 2 | 228 | 14.45 |
Lothar Thiele | 3 | 14025 | 957.82 |