共 50 条
- [1] A safety-related transmission method for a new railway signalling system based on an IP-Network [J]. COMPUTERS IN RAILWAYS XI: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2008, 103 : 113 - 122
- [2] Safety and Availability - Basic Attributes of Safety-Related Electronic Systems for Railway Signalling [J]. DEVELOPMENT OF TRANSPORT BY TELEMATICS, TST 2019, 2019, 1049 : 69 - 82
- [3] Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2014, 8368 : 221 - 236
- [4] Safety Model of Safety-Related Fieldbus Transmission Systems [J]. IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2010,
- [6] Effects of Recovery on the Safety of a Safety-related Control System [J]. 2011 INTERNATIONAL CONFERENCE ON APPLIED ELECTRONICS (AE), 2011,
- [7] An Approach of Creating Component Design Specification for Safety-Related Software in Railway [J]. 2019 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2019) - R & M IN THE SECOND MACHINE AGE - THE CHALLENGE OF CYBER PHYSICAL SYSTEMS, 2019,
- [8] The safety management of data-driven safety-related systems [J]. COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 86 - 95
- [9] Evaluation of safety integrity levels for safety-related control and protection [J]. PSAM 5: PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOLS 1-4, 2000, (34): : 463 - 469
- [10] The characteristics of data in data-intensive safety-related systems [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2003, 2788 : 396 - 409