共 50 条
- [21] Model-Based Validation of Safety-Critical Embedded Systems 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
- [24] Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 167 - 179
- [26] An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems Real-Time Systems, 2003, 25 : 5 - 37
- [29] Secure Environment Establishment for FPGA-based Safety-Critical Systems PROCEEDINGS OF 2015 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2015,