Model-Driven Engineering; embedded software; code generation; UML; MARTE; Robot Operating System;
机译:使用IP-XACT和UML MARTE配置文件自动生成动态可部分重新配置的系统的高级方法
机译:通过将模型与网络 - 物理系统中的开发和硬件/软件部署组合结合型号来实现工业产品及其生产系统的共同演变
机译:理解网络物理系统作为工业软件-产品-服务系统
机译:使用UML / MARTE进行环境建模以支持实时嵌入式系统的黑匣子系统测试:方法论和工业案例研究
机译:用于并发故障检测的UML / MARTE模型分析方法
机译:UMLS-Interface和UMLS-Similarity:用于测量路径和语义相似度的开源软件
机译:使用UML / MARTE的环境建模,以支持真正嵌入式系统的黑盒系统测试:方法和工业案例研究