Conformance testing for cyber-physical systems

Transactions on Embedded Computing Systems

Volumn 11, Issue 4, 2012, Pages

  Woehrle, Matthias ^a   Lampka, Kai ^a   Thiele, Lothar ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Conformance test; Cyber physical systems; Timed testing

Indexed keywords

CONFORMANCE TESTING; CYBER PHYSICAL SYSTEMS (CPSS); DEGREE OF RELIABILITY; FORMAL DESCRIPTION; FORMAL MODEL; PHYSICAL QUANTITIES; SYSTEM IMPLEMENTATION; TIMED TESTING; WIRELESS SENSOR NODE;

ACCEPTANCE TESTS; SENSOR NODES;

EMBEDDED SYSTEMS;

EID: 84872456375     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/2362336.2362351     Document Type: Article

References (16)

1. ALUR, R. AND DILL, D. L. 1994. A theory of timed automata. Theore. Comput Scie. 126, 183-235.
2. BEHRMANN, G., DAVID, A., AND LARSEN, K. G. 2004. A tutorial on uppaal. In International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM-RT'04). 3185. Lecture Notes in Computer Science, vol. 3185, Springer, 200-236.
3. BEHRMANN, G., LARSEN, K. G., AND RASMUSSEN, J. I. 2005. Priced timed automata: Algorithms and applications. In Proceedings of the Conference on Formal Methods for Components and Objects (FMCO'04). 162-182.
4. BENGTSSON, J. AND YI, W. 2004. Timed automata: Semantics, algorithms and tools. In Proceedings of the Lecture Notes on Concurrency and Petri Nets. Lecture Notes in Computer Science, vol. 3098, Springers.
5. BOHNENKAMP, H. AND STOELINGA, M. 2008. Quantitative testing. In Proceedings of the 8th ACM International Conference on Embedded Software (EMSOFT'08). 227-236.
6. HENZINGER, T. A., HO, P.-H., AND WONG-TOI, H. 1997. Hytech: A model checker for hybrid systems. In Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97). 460-463.
7. HESSEL, A., LARSEN, K. G., MIKUCIONIS, M., NIELSEN, B., PETTERSSON, P., AND SKOU, A. 2008. Testing real-time systems using UPPAAL. In Formal Methods and Testing, Lecture Notes in Computer Science, vol. 4949. 77-117.
8. KIM G. LARSEN, MARIUS MIKUCIONIS, B. N. 2009. Uppaal Tron User Manual. CISS, BRICS, Aalborg University, Aalborg, Denmark.
9. LARSEN, K. G., MIKUCIONIS, M., AND NIELSEN, B. 2004. Online testing of real-time systems using uppaal. In Proceedings of the 4th International Workshop Formal Approaches to Software Testing (FATES'04). 79-94.
10. LIM, R., WOEHRLE, M., MEIER, A., AND BEUTEL, J. 2009. Poster abstract: Harvester-energy savings through synchronized low-power listening. In Adjunct Proceedings of the 6th European Workshop on Sensor Networks (EWSN'09). 29-30.
11. MIKUCIONIS, M., LARSEN, K. G., AND NIELSEN, B. 2004. T-uppaal: Online model-based testing of real-time systems. In Proceedings of the 19th IEEE International Conference Automated Software Engineering (ASE'04). 396-397.
12. SHNAYDER, V., HEMPSTEAD, M., RONG CHEN, B., ALLEN, G. W., AND WELSH, M. 2004. Simulating the power consumption of large-scale sensor network applications. In Proceedings of the 2nd International Conference on 6th Embedded Networked Sensor Systems (SenSys'04). 188-200.
13. STREHL, K. 2000. Symbolic methods applied to formal verification and synthesis in embedded systems design. Ph.D. thesis, ETH Zurich.
14. TRETMANS, J. 1994. A formal approach to conformance testing. In Proceedings of IFIP TC6/WG6.1 6th Inter-antional Workshop on Protocol Test Systems VI. 257-276.
15. VAN OSCH, M. 2006. Hybrid input-output conformance and test generation. In Formal Approaches to Software Testing and Runtime Verification, 70-84.
16. WOEHRLE, M., LAMPKA, K., AND THIELE, L. 2009. Exploiting timed automata for conformance testing of power measurements. In Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09). 275-290.