Embedded Systems; Giotto; Simulation; Time-Triggered Language; Timed CSP;
机译:使用可执行的时间触发模型(E-TTM)和systemC-AMS对时间触发的实时控制系统进行建模
机译:TT-BIP:使用正确的设计BIP方法,用于使用时间触发的范式建模实时系统
机译:时间触发架构中节点重新集成的形式化建模和分析
机译:时间触发语言Giotto的定时CSP模型
机译:时间触发的高置信度嵌入式系统:建模,仿真,分析和返回。
机译:FTT-MA:适用于时间敏感资源感知的AmI系统的灵活的时间触发中间件体系结构
机译:Giotto:一种嵌入式编程的时间触发语言