共 50 条
- [31] Application of safety argument in safety assurance system for railway signalling development Tang, T. (ttang@bjtu.edu.cn), 1600, Science Press (36):
- [32] Techniques for safety critical software development PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL III: EMERGING TECHNOLOGIES TRACK, 1998, : 336 - 337
- [33] THE DEVELOPMENT OF A RAILWAY SAFETY ASSESSMENT PROGRAM IN SOUTH KOREA PROCEEDINGS OF THE ASME JOINT RAIL CONFERENCE, VOL 1: RAILROAD INFRASTRUCTURE ENGINEERING SAFETY, SECURITY AND ENVIRONMENT, 2010, : 427 - 430
- [35] The Model for Evaluating Criteria Describing the Internal Safety of a Railway Trip by International Train TRANSBALTICA XI: TRANSPORTATION SCIENCE AND TECHNOLOGY, 2020, : 610 - 621
- [36] Design of automatic testing tool for railway signalling systems software safety assessment RISK ANALYSIS VI: SIMULATION AND HAZARD MITIGATION, 2008, : 513 - +
- [37] Model checking safety critical software with SPIN: An application to a railway interlocking system COMPUTER SAFETY, RELIABILITY AND SECURITY, 1998, 1516 : 284 - 295
- [38] Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2017, 2017, 10153 : 363 - 369
- [39] An Approach of Creating Component Design Specification for Safety-Related Software in Railway 2019 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2019) - R & M IN THE SECOND MACHINE AGE - THE CHALLENGE OF CYBER PHYSICAL SYSTEMS, 2019,