The 4SECURail approach to formalizing standard interfaces between signalling systems components (original) (raw)
Related papers
Some trends in formal methods applications to railway signaling
Formal Methods for Industrial Critical Systems: A Survey of Applications, 2013
A formal verification environment for railway signaling system design
Formal Methods in …, 1998
2020
IEEE Transactions on Software Engineering, 2021
Formal specification and validation of a vital communication protocol
FM’99 — Formal Methods, 1999
Practical Verification of Railway Signalling Programs
IEEE Transactions on Dependable and Secure Computing, 2023
Interface Specification Methods for Software Com Ponents
The Role of Formal Methods in Software Development for Railway Applications
Concepts, Methodologies, Tools, and Applications
Experience with Applying Formal Methods to Protocol Specification and System Architecture
Ching-tsun Chou, Phanindra Mannava
Formal Methods in System Design, 2003
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer
Lecture Notes in Computer Science, 2006
Experience with Formal Specifications Using an Extended State Transition Model
IEEE Transactions on Communications, 1982
Comparing formal tools for system design
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, 2020
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
International Journal on Software Tools for Technology Transfer
Science of Computer Programming, 2014
Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic
IEEE Transactions on Intelligent Transportation Systems, 2017
Specification and prototyping of network protocols in rewriting logic
1998
Validation-directed specification of communications systems
Information and Software Technology, 1995
LARIS 1.0: LAnguage for Railway Interlocking Specifications
2000
Survey on Formal Methods and Tools in Railways: The ASTRail Approach
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
SOFL - A Better Approach for Formal Specification: A Case Study Based Comparison
2010
Modeling Guidelines for Code Generation in the Railway Signaling Context
NASA Formal Methods Symposium, 2009
A formal approach to development of network protocols: Theory and application to a wireless standard
2001
Formal methods for mobility standards
1999 IEEE Emerging Technologies Symposium. Wireless Communications and Systems (IEEE Cat. No.99EX297), 1999