Computer architecture; Software tools; Real time; Validation; Feedback; Foreign technology; Vienna Development Method(VDM); Distributed embedded systems;
机译:分布式嵌入式实时系统开发的工具支持问题
机译:在分布式实时和嵌入式系统的中间件中支持基于组件的故障转移单元
机译:分布式实时受管系统:用于托管嵌入式系统的模型驱动的分布式安全信息体系结构平台
机译:VDM ++中对分布式实时嵌入式系统的验证支持
机译:分布式实时和嵌入式系统中信息,资源和部署的控制和验证机制。
机译:MicROS-drt:在分布式机器人系统中支持实时和可扩展的数据分发
机译:VDM ++中对分布式实时嵌入式系统的验证支持
机译:DaRpa自适应反射中间件系统(aRms)计划:第一阶段分布式实时嵌入式系统的普适仪器和自适应:最终技术报告