skip to main content
research-article

Conformance testing for cyber-physical systems

Published:01 January 2013Publication History
Skip Abstract Section

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.

References

  1. Alur, R. and Dill, D. L. 1994. A theory of timed automata. Theore. Comput Scie. 126, 183--235. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle ScholarCross RefCross Ref
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  5. Bohnenkamp, H. and Stoelinga, M. 2008. Quantitative testing. In Proceedings of the 8th ACM International Conference on Embedded Software (EMSOFT'08). 227--236. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Kim G. Larsen, Marius Mikucionis, B. N. 2009. Uppaal Tron User Manual. CISS, BRICS, Aalborg University, Aalborg, Denmark.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Strehl, K. 2000. Symbolic methods applied to formal verification and synthesis in embedded systems design. Ph.D. thesis, ETH Zurich.Google ScholarGoogle Scholar
  14. Tretmans, J. 1994. A formal approach to conformance testing. In Proceedings of IFIP TC6/WG6.1 6th Interantional Workshop on Protocol Test Systems VI. 257--276. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. van Osch, M. 2006. Hybrid input-output conformance and test generation. In Formal Approaches to Software Testing and Runtime Verification, 70--84. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Conformance testing for cyber-physical systems

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!