System observability; in-situ system monitoring; runtime testing;
机译:使用striver语言流验证实时事件流的实时事件流
机译:嵌入式系统非侵入式运行时监视的系统级观察框架
机译:在非同步到达下实时事件流的运行时验证
机译:具有区域效率的事件流排序,可实现嵌入式系统的运行时可观察性
机译:用于嵌入式系统的非侵入式运行时监视的系统级观察框架。
机译:嵌入式实时系统的运行时验证
机译:分层事件流和事件依赖图:嵌入式实时系统的新计算模型