共 50 条
- [31] On memory protection in real-time OS for small embedded systems FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1997, : 51 - 58
- [32] Building distributed scalable dependable real-time systems INTERNATIONAL CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1997, : 452 - 459
- [34] Design and optimization of complex real-time dependable systems SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 218 - 224
- [35] A Cascading Redundancy Approach for Dependable Real-Time Systems 2009 15TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 467 - 476
- [36] Dependable resource sharing for compositional real-time systems 2011 IEEE 17TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2011), VOL 1, 2011, : 153 - 163
- [37] Framework for modelling dependable real-time distributed systems Int J Syst Sci, 11 (1025-1043):
- [40] Validation support for distributed real-time embedded systems in VDM plus HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 331 - +