Verification of a radio-based signaling system using the STATEMATE verification environment

Formal Methods in System Design

Volumn 19, Issue 2, 2001, Pages 121-141

  Damm, Werner ^a   Klose, Jochen ^b  

^a OFFIS   (Germany)

^b UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

Formal verification; Live sequence charts; Model based design; Radio based signaling systems; STATEMATE

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER AIDED SOFTWARE ENGINEERING; MATHEMATICAL MODELS; RADIO SYSTEMS; RAILROAD SIGNAL SYSTEMS; SYSTEMS ANALYSIS;

FORMAL VERIFICATION; LIVE SEQUENCE CHARTS; RADIO BASED SIGNALING SYSTEM; SOFTWARE PACKAGE STATEMENT;

FORMAL LOGIC;

EID: 0035446935     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011279932612     Document Type: Article

References (29)

1. Specification of embedded monitors for property checking
2. System verification using user-friendly interfaces
3. Model checking large software specifications
4. A formal verification environment for railway signaling design
5. Verification of automotive control units
6. Formal verification of an avionics application using abstraction and symbolic model checking
7. A visual formalism for computational tree logic
8. SMI-System modelling interface, draft version 0.1
9. First-order-CTL model checking
10. Case study: Formal verification of a computerized railway interlocking
11. SSL-System specification language, draft version 0.1
12. Formal verification of a railway interlocking system using model cecking
13. LSCs: Breathing life into message sequence charts
14. A compositional real-time semantics of Statemate designs
15. Die methode B-Sichere software für bahnanwendungen, 1999
16. Realtime symbolic timing diagrams
17. A visual formalism for real time requirement specifications
18. Verification of interlockings: From control tables to ladder logic diagrams
19. The safety guaranteeing system at station Koorn-Kersenboogerd
20. VIS: A system for verification and synthesis
21. Verification of a safety-critical railway interlocking system with real-time constraints
22. Industrieller einsatz formaler verifikationsmethoden
23. A graphical environment for design of concurrent real-time systems
24. Cost effectiveness of formal methods in the development of avionics systems at aerospatiale
25. Entwicklungsmethodik und werkzeugkette GRACE, 1999
26. Using a visual formalism for design verification in industrial environments