References
- Bowen, J.: Formal methods in safety-critical standards, Proc. 1993 Software Engineering Standards Symposium, IEEE, pp. 168-177, 1993
- Clarke, E.M. & Wing, J.J., Formal Methods: State of the Art and Future Directions, ACM Computing Surveys, 1996
- Monin, J-F, Understanding Formal Methods, Springer-Verlag, 2003
- Zowghi, D. & Gervasi, V.: The three Cs of Requirements: Consistency, completeness, and Correctness, Proc. Of 8th International Requirements Engineering: foundation for software quality, 2002
- IEC Std. 62425, "Railway applications-Communication, signaling and processing systems-safety- related electronic systems for signaling," 2005
- IEEE Std 1474.1-2004, "Standard for Communications-Based Train Control Performance and Functional Requirements"
- IEC Std. 61508, "Functional safety of electrical/ electronic/programmable electronic safety-related systems," 1998
- IEEE Std. 830, "IEEE Recommended Practice for Software Requirements Specifications," 1998
- Harel, D. & Politi, M.: Modeling Reactive Systems with Statescharts, 1998, McGraw-Hill
- Potter, B., Sinclair, J., Till, D.: Introduction to Formal Specification and Z, 1996, Prentice-Hall
- IEC Std. 62278, "Railway applications-Specification and demonstration of reliability," availability, maintainability and safety(RAMS), 2002
- IEC Std. 62279, "Railway applications-Software for railway control and protection systems," 2003
- IEC Std. 62280, "Railway applications-Communication, signaling and processing systems," 2002
- IEEE Std 12207, "Standard for Information Technology-Software life cycle processes," 1996
- IEEE Std. 1233, "IEEE Guide for Developing System Requirements Specifications," 1998
- Lecomte, T., Servat, T., & Pouzancre, G.: Formal Methods in safety-critical railway system, Proc. Of Brazilian Symposium on formal methods (SBFM) 2007, Outo-Preto, Brazil
- Janota, A.: Using Z specification for railway interlocking safety, Periodica Polytechnica Ser. Transportation Engineering, vol.28, no.1-2, pp. 39-53, 2000
- Horste, M.M.: Modelling and simulation of train control systems using Petri nets, FM 1999, LNCS 1709, pp.720, Springer-Verlag, 1999
- Abdulla, P.A., Deneux, J., Stalmarck, G., Argen, H., & Akerlund O.: Designing Safe, Reliable systems using SCADE, ISOLA 2004, LNCS 4313, pp. 115-129, 2006
- Cimatti A., et al: Model Checking safety critical software with SPIN: an Application to a Railway Interlocking System, SAFECOMP, LNCS 1516, pp. 284-293, Springer-Verlag 1998
- Harel, D.: On Visual Formalisms, CACM(31): No.5, pp. 514-530, ACM, 1988
- Hull, E., Jackson, K., & Dick, J.: Requirements Engineering, 2nd edition, 2005, Springer
- Grady, J.: System Requirements Analysis, 2006, Elsevier
- Hartley, D., Hruschka, P,& Pirbhai, I.: Process for System Architecture and Requirements Engineering, 2000, Dorset House
- Bjorner, D.: Software Engineering Vol.3, 2006, Springe