Safety-critical - Globe Thesis

Keyword [Safety-critical] Result: 1 - 20 \| Page: 1 of 5
1.	Formal Modeling And Verification Of Safety-critical Communication System
2.	Resource Synchronization Protocols And Design Optimization Techniques For Mixed-criticality CPS
3.	Research On Supporting Techniques For High-Reliable Fault-Tolerant Real-Time Systems
4.	Research On Function Isolation Mechanism Of Secure Operating System
5.	Research On Process Model Of Testing And Evaluation For Safety-critical Software
6.	Research On High-trusted Architecture Of Embedded Operating Systems
7.	The Research And Implementation Of Virtualization And Partitioned System For Safety-Critical
8.	Research On Control Network Scheduling Problems In Safety Critical DCS
9.	A Study Of Strategies About Testing Safety Critical Software Based On Testing Coverage
10.	Research On Computer-Aided Software Fault Trees Modeling And Analysis
11.	Research On Fault Injection Of COTS-based Safety-Critical Software System
12.	The Research And Prototype Implementation Of A General Satellite Realtime Operating System-SATOS
13.	The Formalized Modeling And Model Analyzing Of The Interlocking Software Based On Interval Timed Colored Petri Nets
14.	Research On A Simulation Testing Platform For ARM-based Embedded Safety Critical Software
15.	Design Of UC/OS-II For A CAN/LIN Gateway In Automative Mixing Body Network
16.	Automatic Fault Diagnosis And Isolation Method Of Safety Critical Software
17.	Gait Based Human Identification Research For Safety-Critical Environments
18.	Research On Fault Injection Of Safety Critical Software In Railway Signal System
19.	Design And Implementation Of Embedded Real-Time Operating System Partition Mechanism
20.	Real-time System Of Memory Management Technology And Implementation
<<First <Prev Next> Last>> Jump to