Department of Electronics Engineering and Computer Science, Graduate School of EngineeringrnShibaura Institute of Technologyrn307 Fukasaku, Minuma-ku, Saitama-City, Saitama 337-8570, Japan;
Department of Electronic Information Systems, College of System Engineering and SciencernShibaura Institute of Technologyrn307 Fukasaku Minuma-ku, Saitama-City, Saitama 337-8570, Japan;
Model-driven development; Unified modeling language; Embedded systems; Executable UML; Simulation; Model transformation;
机译:集成模型检查和基于UML的嵌入式系统模型驱动开发
机译:使用软件模型检查来验证协议一致性,以进行嵌入式系统的模型驱动开发
机译:建模和仿真驱动的嵌入式实时系统开发
机译:使用模型驱动和产品线技术开发关键嵌入式系统的系统回顾
机译:基于模型的分布式实时嵌入式系统的模型驱动的容错配置。
机译:一种嵌入式网络方法用于扩大波动驱动的系统并保留峰值信息
机译:用模型驱动方法开发可重构分布式嵌入式系统