A system-based approach to the formal development of embedded controllers for a railway

Design Automation for Embedded Systems

Volumn 6, Issue 4, 2002, Pages 355-366

  Butler, Michael ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

B Method; Embedded control systems; Refinement; Verification

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONTROL SYSTEM ANALYSIS; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

EMBEDDED CONTROLLERS;

EMBEDDED SYSTEMS;

EID: 0036648661     PISSN: 09295585     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1016503426126     Document Type: Article

References (9)

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