Ingleby, M. and Mitchell, I. (1992) Proving Safety of a Railway Signaling System Incorporating Geographic Data. Proceedings SAFECOMP '92, 28 h- 30 October 1992, Zurich, Switzerland Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Safety Guaranteeing System at Station Hoorn-Kersenboogerd - Groote, van Vlijmen, Koorn (1995) (27 citations) (Correct)
....is an important supplier of elementary unit based interlockings, among other things, work is done on verification by means of process algebra [18] A free wired system used in the U.K. by British Rail is the Solid State Interlocking (SSI ) SSIs received considerable attention in the literature [1, 12, 14, 28, 34, 35]. The SSI is a more complex machine than the VPI , one reason for this is that the SSI is used to take more complex scheduling decisions than the VPI . Therefore, the more involved methods for verification as presented in these documents were not followed in this paper. But the route using the HOL ....
M. Ingleby and I. Mitchell. Proving safety of a railway signaling system incorporating geographic data. In Heinz H. Frey, editor, Proceedings of SAFECOMP '92. Pergamon Press, 1992.
Logical Methods in Formal Verification - Ingleby Galois Theory Self-citation (Ingleby) (Correct)
....Lecture notes in Computer Science Vol. 607 11. Morley, M. J. 1991) Modeling British Rail s Interlocking Logic: Geographic Data Correctness. LFCS Report ECS LFCS 91 186, University of Edingburgh, November 1991 C. Pulley and G.V. Conroy 15 6. 2 Work Related to the Modeling of SSIs [11] 2] and [3] are the main approacles adopted so far to modeling the problems addressed within this paper. 3] suggests that one should verify the safety of an SSI by using an inductive proof (i.e. safety transitivity) whilst relying on decomposition techniques to help break the overall problem into smaller ....
....Logic: Geographic Data Correctness. LFCS Report ECS LFCS 91 186, University of Edingburgh, November 1991 C. Pulley and G.V. Conroy 15 6.2 Work Related to the Modeling of SSIs [11] 2] and [3] are the main approacles adopted so far to modeling the problems addressed within this paper. [3] suggests that one should verify the safety of an SSI by using an inductive proof (i.e. safety transitivity) whilst relying on decomposition techniques to help break the overall problem into smaller problems (see [8] Unfortunately, this work only appears to deal with universal safety properties ....
[Article contains additional citation context not shown here]
Ingleby, M. and Mitchell, I. (1992) Proving Safety of a Railway Signaling System Incorporating Geographic Data. Proceedings SAFECOMP '92, 28 h- 30 October 1992, Zurich, Switzerland
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC