Formal specification and validation of a vital communication protocol?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 1584-1604

  Cimatti, A ^a   Pieraccini, P L ^b   Sebastiani, R ^a   Traverso, P ^a   Villafiorita, A ^a  

^a ITC IRST   (Italy)

^b ANSALDO ENERGIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; FORMAL LANGUAGES; MODEL CHECKING; PROGRAM DEBUGGING;

APPLICATION FIELDS; DEBUGGING METHODS; DEVELOPMENT CYCLE; INDUSTRIAL COMMUNICATION PROTOCOLS; INDUSTRIAL PRODUCT; INDUSTRIAL SYSTEMS; MODEL-CHECKING TECHNIQUES; SAFETY CRITICAL SYSTEMS;

FORMAL SPECIFICATION;

EID: 84949508301     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_34     Document Type: Conference Paper

References (10)

1. J. Bowen. Formal Methods in Safety-Critical Standards. Oxford University Computing Laboratory Technical Report, 1995.
2. J. Bowen. The Industrial Take-Up of Formal Methods. Oxford University Computing Laboratory Technical Report, 1995.
3. A. Cimatti, R. Sebastiani, and P. Traverso. Specifica formale dei protocolli Safety Layer e Connection Manager (Formal specification of the Safety Layer and Connection Manager protocols). In italian. ITC-IRST deliverable 9808-02, project Safety Critical Applications III - SCAPIII, January 1999.
4. European Commitee for Electrotechnical Standardization. European Standard -Railway Applications: Software for Railways Control and Protection Systems. EN 50128, 1995.
5. G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
6. ITU-T. CCITT specification and description language (SDL), March 1993. ITU-T Recommendation Z.100.
7. ITU-T. Message Sequence Chart (MSC), October 1996. ITU-T Recommendation Z.120.
8. Profibus Nutzerorganization. Profibus Standard, July 1996. DIN 19 245.
9. A. Tanenbaum. Computer Networks. Prentice Hall, 1989.
10. VERILOG. ObjectGEODE Documentation. Available at www.verilogusa.com.