Skip to main content
SpringerLink
Log in
Book cover

International Conference on Formal Engineering Methods

ICFEM 2018: Formal Methods and Software Engineering pp 423–426Cite as

Model Based Testing of Cyber-Physical Systems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11232))

Abstract

Testing, inspection, and certification (TIC) are essential activities on consumer and industrial systems. The conformance to system specifications and standards can then provide assurances on system safety, security, reliability, and interoperability. TIC needs to evolve in tandem with growing system size and complexity. Common modern systems such as autonomous vehicles and smart health-care systems take the form of Cyber Physical Systems (CPSs). Model Based Testing (MBT) is one promising approach to test CPSs. An MBT framework for testing CPSs will be useful to systems testers and can raise the standard of systems testing as a whole.

Supported by TÜV SÜD Asia Pacific Pte Ltd.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Woehrle, M., Lampka, K., Thiele, L.: Conformance testing for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 11(4), 1–23 (2012). Article 84. https://doi.org/10.1145/2362336.2362351

    Article  Google Scholar 

  2. Li, H., et al.: Improving rail network velocity: a machine learning approach to predictive maintenance. Transp. Res. Part C: Emerg. Technol. 50(1), 1726 (2014). https://doi.org/10.1145/1188913.1188915

    Article  Google Scholar 

  3. Susto, G.A., Schirru, A., Pampuri, S., McLoone, S., Beghi, A.: Machine learning for predictive maintenance: a multiple classifier approach. IEEE Trans. Ind. Inform. 11(3), 812–820 (2015)

    Article  Google Scholar 

  4. Verwer, S.: Efficient identification of timed automata: theory and practice. Ph.D. dissertation. TU Delft, Delft University of Technology, July 2010. https://repository.tudelft.nl/islandora/object/uuid:61d9f199-7b01-45be.../download. Accessed 14 May 2018

  5. National University of Singapore. PAT: Process Analysis Toolkit (2014). http://pat.comp.nus.edu.sg/. Accessed 17 May 2018

Download references

Author information

Authors and Affiliations

  1. Singapore University of Technology and Design, Singapore, Singapore

    Teck Ping Khoo

Authors
  1. Teck Ping Khoo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Teck Ping Khoo .

Editor information

Editors and Affiliations

  1. University of Auckland, Auckland, New Zealand

    Jing Sun

  2. Peking University, Beijing, China

    Meng Sun

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Khoo, T.P. (2018). Model Based Testing of Cyber-Physical Systems. In: Sun, J., Sun, M. (eds) Formal Methods and Software Engineering. ICFEM 2018. Lecture Notes in Computer Science(), vol 11232. Springer, Cham. https://doi.org/10.1007/978-3-030-02450-5_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-02450-5_27

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-02449-9

  • Online ISBN: 978-3-030-02450-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation