ACM Transactions on Computer Systems (TOCS)
Safety critical systems: challenges and directions
Proceedings of the 24th International Conference on Software Engineering
The Integration of Safety and Security Requirements
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Security Assessments of Safety Critical Systems Using HAZOPs
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Verification and conformance test generation of communication protocol for railway signaling systems
Computer Standards & Interfaces
Computer Standards & Interfaces
Information and Software Technology
Computer Standards & Interfaces
Performance evaluation and verification of communication protocol for railway signaling systems
Computer Standards & Interfaces
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Performance evaluation of the parallel processing producer-distributor-consumer network architecture
Computer Standards & Interfaces
Hi-index | 0.00 |
Performance analysis and verification of safety communication protocol are important techniques during protocol development process. In order to meet the requirement of safety, an advanced safety communication protocol is proposed to improve the protocol in EURORADIO. Among the improved protocol, the following two elements are added: (1) advanced scheme of establishment of safety connection. (2) double serial number replaces time stamp. The performance analysis related to safety of the advanced protocol and protocol in EURORADIO is given by Colored Petri Net (CPN) model through simulation. The analysis results verify that the advanced protocol has superior performance.