1 |
IEC 62278, "Railway Applications - The specification and demonstration of RAMS", 2002
|
2 |
J. L. Boulanger, P. Bon and G. marianom "From UML to B - A Level Crossing Case Study", Computers in Railway X, pp. 351-362, 2006
|
3 |
O. Lahlou, P. Bon and L. Allain, "Formalisation and Simulation of Operating Rules Using Coloured Petri Nets", Computers in Railway X, pp. 329-340, 2006
|
4 |
H.J.Jo and Y.K.Yoon, "Formal Method Application with Safety Guarantee in Railway Signaling Control Systems", APSS 2007, Oct. 30 - Nov. 2, 2007
|
5 |
Kotonya, G., and Somrerville, L., "RequireIrents Engineering: Process and Techniques", Wiley, 1998
|
6 |
David Harel and Ammon Naamad, "The STATEMATE Semantics of Statecharts", ACM Trans. Soft. Eng. Method, Oct. 1996
|
7 |
Alain Faivre and Paul Benoit, "Safety Critical Software of Meteor Developed with the B Formal Method and the Vital Coded Processor", World Congress on Railway Research(WCRR), 1999
|
8 |
H.J.Jo and J.G.Hwang, "The Analysis of Formal Methods for Applying to Vital S!W in Train Control Systems", ITC-CSCC 2007, Jul. 8-11, 2007
|
9 |
J. G. Hwang, H. Lee, and G. T. Park, 'Performance Evaluation and Verification of Communication Protocol for Railway Signalling Systems', Computer Standards & Interfaces, vol. 27, pp. 207-219, 2005
DOI
|
10 |
IEC 62425 Ed. 1, "Railway Application: Communications, signaling and processing systems - Safety related electronic system for signaling", 2005.10
|
11 |
福岡 博, 福田 光芳, 'ペトリネットによる連動仕樣の檢証' RTRI Report Vol. 9 No. 11 pp. 19-24 , 1995
|
12 |
Jonathan Jacky, "The Way of Z", Cambridge, 1997
|