Abstract
This paper describes work being carried out collaboratively by GEC ALSTHOM Signalling Ltd, Westinghouse Signals Ltd, and the University of Manchester Institute of Science and Technology, with the support of DTI and SERC, under their Advanced Technology Programme Safety Critical Systems initiative. The work covers research into the design and checking process for data written in application-specific languages.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cribbens A H: “Solid State Interlocking (SSI): an Integrated Electronic Signalling System for Mainline Railways”. Proc IEE Vol. 134 Part B No 3, May 1987, p. 148.
Institution of Railway Signal Engineers/ed. Leach: “Railway Control Systems”. A & C Black, 1991.
Palmer J W and Renfrew A C: “Issue raised in Development of a large Knowledge-based system for the design of Railway Signalling Schemes”. IEE Intelligent Systems Engineering Conference, Edinburgh, August 1992.
International Electrotechnical Commission: “Software for Computers in the Application of Industrial Safety-related Systems”, IEC 65A(Secretariat)122, Version 1.0, 1st August 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag London Limited
About this paper
Cite this paper
Barnard, R.E.B. (1993). Tool Support for an Application-Specific Language. In: Redmill, F., Anderson, T. (eds) Directions in Safety-Critical Systems. Springer, London. https://doi.org/10.1007/978-1-4471-2037-7_12
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2037-7_12
Publisher Name: Springer, London
Print ISBN: 978-3-540-19817-8
Online ISBN: 978-1-4471-2037-7
eBook Packages: Springer Book Archive