Font Size: a A A
Keyword [AADL]
Result: 1 - 20 | Page: 1 of 2
1. The Modeling Method Of Cyber-Physical Systems Using Medlica
2. Research On Model-Driven Analysis And Verification Of System Configuration For Integrated Modular Avionics
3. Information Entropy-based Complexity Analysis Of Train Control System Architecture
4. Safety Analysis And Research On Modelbased For Resource Configuration In Integrated Modular Avionics System
5. The Analysis And Design Method Of Flight Cyber-Physical System Driven By Big Data
6. The Analysis And Design Method Of Big Data-Driven Vehicular Network Cyber-Physical System
7. Formal Modeling And Verification Of Avionics Systems
8. Safety Analysis And Verification For Resource Configuration In Integrated Modular Avionics System Based On AADL
9. Code Automatic Generation And Verification For Micro Turbojet Engine Control Unit Based On AADL
10. Reliability Modeling Of Integrated Modular Avionics System Platform Using AADL,And GSPN Analysis Method
11. The Research Of Testability Modeling Method For Avionic Configuration Control System Based On AADL
12. Research On Conformance Test Method Of IMA Partition Communication Mechanism
13. Modeling And Implementation Of The Basic Service Layer Of Spacecraft Onboard Software Middleware
14. Research On Requirements Modeling And Validation Of Integrated Modular Avionics System
15. Research On AADL-based Reliability Modeling And Evaluation Technology Of Embedded Software
16. Reliability Modeling And Evaluation Of Electric Vehicle Control System Based On MDA
17. Modeling And Reliability Verification Of Flight Control Software Based On AADL
18. Modeling And Analysis Of Interlocking & Train Control Integrated System Based On AADL
19. Modeling Method Of Smart Grid Cyber-physical Fusion System
20. Research And Implementation Of Safety＿SysML/EA/AADL Tool Chain For Avionics System
  <<First  <Prev  Next>  Last>>  Jump to