Safety-critical systems - Globe Thesis

Keyword [Safety-critical systems] Result: 1 - 20 \| Page: 1 of 1
1.	Resource Synchronization Protocols And Design Optimization Techniques For Mixed-criticality CPS
2.	Research On High-trusted Architecture Of Embedded Operating Systems
3.	Research And Implementation Of Memory Spatial Isolation Technology For Embedded Systems
4.	Research On Quantitative Risk Analysis Of The Safety-critical Systems
5.	Design And Implementation Of PSEFM-Cassandra For Supporting Timing Semantics
6.	Research On Requirement Traceability Of The Safety-critical Systems
7.	Liveness Property Preserving Modeling Method For Safety-critical Systems
8.	RBML:A Refined Behavior Modeling Language For Safety-critical Hybrid Systems
9.	Generalized leading indicator model for infrequent events in safety-critical systems and its application to marine transportation systems
10.	On the effectiveness of specification-based structural test-coverage criteria as test-data generators for safety-critical systems
11.	A novel approach for generating test suites for component-based safety critical systems
12.	Reusable strategies for testing safety-critical systems
13.	Fail-safe testing of safety-critical systems
14.	Design Of Scheduling Algorithms For Time Deterministic Network
15.	Research On The Transformation Method From SysML Model To AADL Model For Safety-critical Systems
16.	On Safety Analysis For AADL Architectures Of Safety-Critical Systems
17.	Research On Development Data Analysis Of Building Safety Critical Systems For Linux
18.	Design Of Scheduling Algorithm And Generation Tool For Time-Triggered Ethernet
19.	MC/DC Test Case Generation Method Based On Safety＿SysML Safety State Machine
20.	Research On Modeling And Verification Of Safety-critical Systems Based On Formal Methods
<<First <Prev Next> Last>> Jump to