An approach to specifying and verifying safety-critical systems with practical formal method SOFL

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 1998, Pages 100-114

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

^a HIROSHIMA CITY UNIVERSITY   (Japan)

^b MITSUBISHI ELECTRIC CORPORATION   (Japan)

Author keywords

formal specificatioi; fullctiollal requiremeiils; railway crossing coiilroller; Safety critical systems. formal methods; safety requiremeiils; verificatioll

Indexed keywords

EMBEDDED SYSTEMS; FORMAL METHODS; RAILROADS; SAFETY ENGINEERING; SECURITY SYSTEMS;

FORMAL SPECIFICATIOI; FULLCTIOLLAL REQUIREMEIILS; FUNCTIONAL REQUIREMENT; OBJECT BASED; OBJECTS-BASED; RAILWAY CROSSING COIILROLLER; SAFETY CRITICAL SYSTEM.; SAFETY CRITICAL SYSTEMS; SAFETY REQUIREMEIILS; VERIFICATIOLL;

FORMAL LANGUAGES;

EID: 34248510663     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.1998.706660     Document Type: Conference Paper

References (17)

1. Aiilhoiy Hall. Using Formal Methods to Dc velop ai ATC Informatioi System. IEEE Software, 13(2):66 76, March 1996.
2. Aitoii Diller. Z: An Introduction to Formal Methods. Johi Wiley Sois, 199 1.
3. Cliff B. Joies. Systematic Software Development Using VDM. Preiilice Hall Iiteriatioial(UK) Ltd., 1990.
4. The RAISE laiguage group. The RAISE Speciflcat on Language. The BCS Practitioller Series. Preiltice Hall Iiteriatioial 1992
5. Hosseill Saiediai. All Iivitatioll to Formal Methods. Computer, pages 16 30, Aril 1996.
6. Shaoying Liu, A. Jeff Offutt, Chris Ho Stuart, Yoig Suit aild Mitsuru Ohba. SOFL: A Formal Eigilleer iig Methodology for Iidustrial Applicatiois. IEEE Transactions on Software Engineering, 2 1(1):337 3 11, Jaiuary 1998. Special Issue oi Formal Meth ods
7. Shaoying Liu aild Yoig Sum Structured Method ology + Object Orieited Methodology + Formal Methods: Methodology of SOFL. Ill Proceedings of the First IEEE International Conference on Engineering of CompIe Computer Systems. pages 137 111, Ft. Laiderdale, Florida, U.S.A., November 6 10, 1995. IEEE Computer Society Press.
8. Chris Ho Stuart aid Shaoyillg Liu. A Formal Op eratiollal Semailtics for SOFL. Ill Proceedings of The 1997 Asia-Parifir Soft?Iare Engineering Conference, pages 52 61, Hoig Koig, December 1997. IEEE Computer Society Press.
9. Shaoying Liu. A Formal Requiremeilts Specificatioll Method Based o Data Flow Aialysis. The Journal of Systems and Software, 21:1 11 119, 1993.
10. B. Berthomieu aid M. Diaz. Modeling aid Verifica tioll of Time Depeildeilt Systems Using Time Petri Nets. IEEE Transactions on Software Engineering, 17(3):259 273, 1991.
11. Ryouetsu Sasaki aild Tomohiro Yolleda. Formal Verificatioll of a Railway Crossing Coitroller Us ing Petri Nets. Transactwns of lEE Japan (n Japanese), 115 C(1):157 161, 1995.
12. A Jeff Offutt aild Shaoying Liu. Gellerating Test Data from SOFL Specificatiolls. Journal of Systems and Software, (to appear).
13. Babak Dehbollei aid Ferllaido Mejia. Formal Methods in the Railways Sigilalling Iidustry. Ill FME9: Industrial Benefit of Formal Methods, Proceedings of Secoild Iiterllatiollal Symposium of Formal Methods Europe, Barceloia, Spain, Octo ber 1991. Springer Verlag.
14. Kevin Laio. The B Language and Method: A Guide to Practical Formal Development. Springer Verlag Loidoi Limited, 1996.
15. Trevor Kiig. Formalising British Rails Sigialliig Rules. Ii FME94: Industnal Benefit of Formal Methods, Proceedings of Secoid Iiteriatioial Symposium of Formal Methods Europe, Barceloia, Spain, October 1991. Springer Verlag.
16. Heimiig Dierks aid Cheryl Dietz. Graphical Spec ificatioi aid Reasoiiig: Case Study Geieralised Railroad Crossiig. Ii FME97: Industnal Applcations and Strengthened Foundations of Formal iliethods, Proceedings of lth Iiteriatioial Sympo sium of Formal Methods Europe, Graz, Austria, September 1997. Springer Verlag.
17. Chaochei Zhou, C.A.R. Hoar, and A.P. Ravi. A calculus of duratiois. Informatwn Process Letters, 10(5):269 276, 1991.