Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Formal Methods

FM 2015: FM 2015: Formal Methods pp 597–600Cite as

Formal Virtual Modelling and Data Verification for Supervision Systems

  • Conference paper

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

Abstract

This paper reports on the use of formal techniques to ensure as far as possible a safe decommissioning of a plant several decades after it was designed and built. Combination of supervised learning, formal modelling, model animation and model checking enabled the recovery of an almost lost specification and the design of a virtual supervision system that could be checked against recorded plant data.

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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (2005)

    Google Scholar 

  2. Hallerstede, S., Leuschel, M., Plagge, D.: Validation of Formal Models by Refinement Animation, Science of Computer Programming (March 2013)

    Google Scholar 

  3. Lecomte, T., Burdy, L., Leuschel, M.: Formally Checking Large Data Sets in the Railways. In: Proceedings of DS-Event-B 2012: Workshop on the Experience of and Advances in Developing Dependable Systems in Event-B, in Conjunction with ICFEM 2012, Kyoto, Japan, November 13 (2012)

    Google Scholar 

  4. Lecomte, T.: Safe and Reliable Metro Platform Screen Doors Control/Command Systems. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 430–434. Springer, Heidelberg (2008)

    Google Scholar 

  5. Leuschel, M., Falampin, J., Fritz, F., Plagge, D.: Automated Property Verification for Large Scale B Models with ProB. Formal Aspects of Computing, 683–709 (November 2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ClearSy, 320 avenue Archimède, 13857, Aix en Provence, France

    Thierry Lecomte

Authors
  1. Thierry Lecomte
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Thierry Lecomte .

Editor information

Editors and Affiliations

  1. Microsoft Research, Redmond, Washington, USA

    Nikolaj Bjørner

  2. Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands

    Frank de Boer

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Lecomte, T. (2015). Formal Virtual Modelling and Data Verification for Supervision Systems. In: Bjørner, N., de Boer, F. (eds) FM 2015: Formal Methods. FM 2015. Lecture Notes in Computer Science(), vol 9109. Springer, Cham. https://doi.org/10.1007/978-3-319-19249-9_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-19249-9_41

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-19248-2

  • Online ISBN: 978-3-319-19249-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation