safety-critical system - Globe Thesis

Keyword [safety-critical system] Result: 1 - 20 \| Page: 1 of 2
1.	Research On Control Network Scheduling Problems In Safety Critical DCS
2.	Research On Computer-Aided Software Fault Trees Modeling And Analysis
3.	The Formalized Modeling And Model Analyzing Of The Interlocking Software Based On Interval Timed Colored Petri Nets
4.	Design Of UC/OS-II For A CAN/LIN Gateway In Automative Mixing Body Network
5.	Research And Realization Of High Reliable Embedded Operating System Kernel
6.	Authentication Mode Incremental Memory-based Safety-critical Software, A Quick Test Framework
7.	The Research On Safety-Critical Real-time Communication Protocols
8.	Research For The Dynamic Behaviors Of Linux Kernel About Safety
9.	The Design And Implementation Of NOP Protocol Based On UIO
10.	Design And Implementation Of Fault-tolerance For NOP Protocol
11.	The Software Safety Verification Methodology Based On Fault-extended Statecharts
12.	FTA Based Avionics Software Safety Verification Methodology
13.	Research On Software Safety Testing Based On Safety Critical System
14.	System Safety Modeling And Analysis Methodology Based On Feature Configuration
15.	Verifying Full Regular Temporal Properties Of Programs Via Dynamic Program Execution
16.	Research On System Safety Analysis And Verification Based On Formal Model
17.	Research On Requirement Traceability Of The Safety-critical Systems
18.	Liveness Property Preserving Modeling Method For Safety-critical Systems
19.	SAT-based Computation Of Minimal Cut Sets
20.	Research On Safety Requirement Traceability And Verification Based On SysML
<<First <Prev Next> Last>> Jump to