Tags

Validation & VerificationRoboticsRASReviewMBSEMDEModel TransformationsRequirements EngineeringAutomated Software EngineeringInsightsDSLMetamodelIndustry 4.0Traceability managementCognitive threadDigital threadOSLCMetaGraphKARMASimulinkRocket EngineSysMLSimulationFMEASiriusEpsilonResponsibleMonitorSafetyManagementPictoWebEcoreGraphEMFSysMLv2Formal MethodsFormal VerificationEclipseXtextOMGModel TransformationATLUnQLModel FederationModel-to-text TransformationSurveyModel-ViewAADLOSATEModelicaCATIA Magicsatellitelanguage workbenchS&RRAAMLFTAMDAOSatellitereviewSysML v2DSMLLangiumCo-simulation
Comment
avatar
Ruizhe Yang
Articles
37
Tags
64
Categories
54
Recent Post
笔记：Dynamic Verification of Space Missions via Flexible Model-Based Co-simulation with Systems Modeling Language and SpaceSim
笔记：Dynamic Verification of Space Missions via Flexible Model-Based Co-simulation with Systems Modeling Language and SpaceSim
笔记：A Model Management Framework for Next-Generation Web-based Modeling Tools
笔记：A Model Management Framework for Next-Generation Web-based Modeling Tools
笔记：An integrated approach for enhanced early-phase space system design and optimization
笔记：An integrated approach for enhanced early-phase space system design and optimization
笔记：Domain-Specific Modeling with SysML v2
笔记：Domain-Specific Modeling with SysML v2
笔记：Event-based safety and reliability analysis integration in model-based space mission design
笔记：Event-based safety and reliability analysis integration in model-based space mission design
Categories
Tags
Xtext MDAO Simulink AADL Langium OSATE OMG Monitor Survey EMF Ecore Responsible Satellite Web satellite Model-View KARMA Eclipse Safety DSL SysMLv2 Formal Methods Validation & Verification Model Federation RAS MDE S&R Rocket Engine language workbench Graph Digital thread Model-to-text Transformation FMEA Cognitive thread Metamodel SysML v2 Requirements Engineering FTA Model Transformations RAAML
Archives
Info
Article :
37
Runtime :
Total Count :
63.7k
UV :
PV :
Last Update :