Font Size:
a
A
A
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