Validation & Verification

avatar
Ruizhe Yang
Articles
44
Tags
84
Categories
61
Recent Post
笔记：Modeling of Satellite Constellation in Modelica and a PHM System Framework Driven by Model Data Hybrid
笔记：Modeling of Satellite Constellation in Modelica and a PHM System Framework Driven by Model Data Hybrid
笔记：Inclusion of Reliability and Safety Analysis Methods in Modelica
笔记：Inclusion of Reliability and Safety Analysis Methods in Modelica
笔记：Guided simulation for dynamic probabilistic risk assessment of complex systems: Concept, method, and application
笔记：Guided simulation for dynamic probabilistic risk assessment of complex systems: Concept, method, and application
笔记：Simple analysis of complex system safety based on Finite State Machine Network and phase space theory
笔记：Simple analysis of complex system safety based on Finite State Machine Network and phase space theory
笔记：Model-based safety analysis with time resolution (MBSA-TR) method for complex aerothermal-mechanical systems of aero-engines
笔记：Model-based safety analysis with time resolution (MBSA-TR) method for complex aerothermal-mechanical systems of aero-engines
Categories
Tags
Simulation Xtext Formal Verification Ecore Digital thread Complex Systems Web MDE AADL Epsilon Time Resolution M2T FSMN SysMLv2 Sirius ENADOT DPRA Model Transformations FTA Insights DSML Survey Fault Injection Satellite Constellation SysML Cognitive thread Satellite Eclipse S&R Space Shuttle FMEA AUTOSAR UnQL Digital Twin Formal Methods Validation & Verification Model-Data Hybrid Monitor Responsible RAS
Archives
Info
Article :
44
Runtime :
Total Count :
87.7k
UV :
PV :
Last Update :