共 50 条
- [5] DESIGN FOR ARINC 653 CONFORMANCE: ARCHITECTING INDEPENDENT VALIDATION OF A SAFETY-CRITICAL RTOS [J]. 2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
- [7] Utilising Redundancy to Enhance Security of Safety-Critical Systems [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 188 - 196
- [8] Implementing a Security Architecture for Safety-Critical Railway Infrastructure [J]. 2021 INTERNATIONAL SYMPOSIUM ON SECURE AND PRIVATE EXECUTION ENVIRONMENT DESIGN (SEED 2021), 2021, : 215 - 226
- [9] Reliability Modeling and Analysis of Safety-critical Manufacture System [J]. ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL II, PROCEEDINGS, 2009, : 560 - +
- [10] Ensuring system and software reliability in safety-critical systems [J]. 1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 48 - 53