Applying SOFL to specify a railway crossing controller for industry

Proceedings - 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT 1998

Volumn 1998-October, Issue , 1998, Pages 16-27

  Liu, Shaoying ^a   Asuka, M ^b   Komaya, K ^b   Nakamura, Y ^a  

^a HIROSHIMA CITY UNIVERSITY   (Japan)

^b MITSUBISHI ELECTRIC CORPORATION   (Japan)

Author keywords

formal engineering methods; formal specification; functional requirements; railway crossing controller; safety requirements; Safety critical systems

Indexed keywords

APPLICATION PROGRAMS; CONTROLLERS; FORMAL LANGUAGES; FORMAL SPECIFICATION; INDUSTRIAL RAILROADS; INTERACTIVE COMPUTER SYSTEMS; RAILROADS; SAFETY ENGINEERING;

EFFECTIVE MECHANISMS; FORMAL ENGINEERING METHODS; FUNCTIONAL REQUIREMENT; GRAPHICAL NOTATION; SAFETY CRITICAL SYSTEMS; SAFETY REQUIREMENTS; SOFTWARE CONTROLLERS; STRUCTURED METHOD;

REAL TIME SYSTEMS;

EID: 84963910533     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WIFT.1998.766294     Document Type: Conference Paper

References (18)

1. Antoni Diller. Z: An Introduction to Formal Meth-ods. John Wiley & Sons, 1994.
2. Cli B. Jones. Systematic Software Development Using VDM. Prentice-Hall International(UK) Ltd., 1990.
3. S. Owre, N. Shankar, and J.M. Rushby. User Guide for the PVS Specification and Verification System (DRAFT). Technical report, Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993.
4. Shaoying Liu, A. Je Outt, Chris Ho-Stuart, Yong Sun, and Mitsuru Ohba. SOFL: A Formal Engineer-ing Methodology for Industrial Applications. IEEE Transactions on Software Engineering, 24(1):337-344, January 1998. Special Issue on Formal Meth-ods.
5. Michael Hinchey and Shaoying Liu (ed.). Formal Engineering Methods-Proceedings of ICFEM'97. IEEE Computer Society Press, November 1997.
6. Shaoying Liu. Evolution: A More Practical Ap-proach than Refinement for Software Development. In Proceedings of Third IEEE International Con-ference on Engineering of Complex Computing Sys-tems, pages 142-151, Como, Italy, September 8-12, 1997. IEEE Computer Society Press.
7. C. Morgan. Programming from Specifications. Prentice-Hall International(UK) Ltd., 1990.
8. Hossein Saiedian. An Invitation to FormalMethods. Computer, pages 16-30, Aril 1996.
9. Ryouetsu Sasaki and Tomohiro Yoneda. Formal Verification of a Railway Crossing Controller Us-ing Petri Nets. Transactions of IEE Japan (in Japanese), 115-C(1):157-164, 1995.
10. Edward Yourdon. Modern Structured Analysis. Prentice Hall International, Inc., 1989.
11. W. Brauer, G. Rozenberg, and A. Salomaa, edi-tors. Petri Nets-An Introduction. Springer-Verlag, Berlin Heidelberg, 1985.
12. John Dawes. The VDM-SL Reference Guide. Pit-man, 1991.
13. Chris Ho-Stuart and Shaoying Liu. A Formal Op-erational Semantics for SOFL. In Proceedings of The 1997 Asia-Pacific Software Engineering Con-ference, pages 52-61, Hong Kong, December 1997. IEEE Computer Society Press.
14. Shaoying Liu and Yong Sun. Structured Method-ology + Object-Oriented Methodology + Formal Methods: Methodology of SOFL. In Proceedings of the First IEEE International Conference on Engi-neering of Complex Computer Systems, pages 137-144, Ft. Landerdale, Florida, U.S.A., November 6-10, 1995. IEEE Computer Society Press.
15. Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, and Yasuaki Nakamura. An Approach to Specifying and Verifying Safety-Critical Systems with Practi-cal Formal Method SOFL. In Proceedings of Fourth IEEE International Conference on Engineering of Complex Computer Systems (to appear), Monterey, California, USA, August 10-14 1998. IEEE Com-puter Society Press.
16. Shaoying Liu and John A McDermid. A Formal Specification of Fault Trees for SAM. Transac-tions of Information Processing Society of Japan, 38(10):2014-2030, October 1997.
17. Stephen Austin and Graeme I Parkin. Formal Meth-ods: A Survey. Technical report, National Physical Laboratory, Teddington, Middlesex, U.K., March 1993.
18. The RAISE language group. The RAISE Speci-fication Language. The BCS Practitioner Series. Prentice-Hall International, 1992.