Skip to main content

A System-Based Approach to the Formal Development of Embedded Controllers for a Railway

  • Published:
Design Automation for Embedded Systems Aims and scope Submit manuscript

Abstract

We describe a formal approach to the development of embedded controllers for a railway. The approach starts with a system-level specification modeling the system under control and the desired control behavior. Correctness-preserving refinement is then used to add more and more implementation detail to the models and to decompose the models into sub-systems to arrive at models of individual controllers. The B Method is used as the formal notation and methodology.

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

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Abrial, J.-R., and L. Mussat. Introducing Dynamic Constraints in B. In D. Bert, editor, Second International B Conference, April 1998.

  2. Abrial, J. R. The B-Book: Assigning Programs to Meanings, Cambridge University Press, 1996.

  3. Abrial, J. R., E. Börger, and H. Langmaack. Formal Methods for Industrial Applications—Specifying and Programming the Steam Boiler Control, vol. LNCS 1165. Springer, 1996.

  4. B-Core. B Toolkit, www.b-core.com.

  5. Butler, M. J. Stepwise Refinement of Communicating Systems. Science of Computer Programming, vol. 27,no. 2, pp. 139-173, September 1996.

    Google Scholar 

  6. Butler, M. J. An Approach to the Design of Distributed Systems with B AMN. In J. P. Bowen and M. G. Hinchey, editors, 10th International Conference of Z Users (ZUM'97), vol. LNCS 1212, pp. 223-241. Springer-Verlag, 1997.

  7. Butler, M. J., E. Sekerinski, and K. Sere. An Action System Approach to the Steam Boiler Problem. In [3], 1996.

  8. ClearSy. AtelierB. www.atelierb.societe.com.

  9. Haxthausen, A. E., and J. Peleska. Formal Development and Verification of a Distributed Railway Control System. In J. M. Wing, J. Woodcock, and J. Davies, editors, FM'99—Formal Methods, Volume II, volume LNCS 1709, Springer, September 1999.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Butler, M. A System-Based Approach to the Formal Development of Embedded Controllers for a Railway. Design Automation for Embedded Systems 6, 355–366 (2002). https://doi.org/10.1023/A:1016503426126

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1016503426126