real-time systems; task analysis; bursty-interference analysis techniques; classical sporadic task model; complex real-time cyber-physical systems; complex real-time task models; complex task models; deferrable server task models; expressive formal models; expressive real-time task models; prior analysis methods; rate-monotonic scheduling; rate-monotonic utilization bounds; self-suspending task model; system designers; uniprocessor utilization-based schedulability tests; uniprocessors; Analytical models; Computational modeling; Interference; Real-time systems; Schedules; Servers; Suspensions; bursty-interference analysis; deferrable server; real-time systems; scheduling; self-suspension;
机译:实时数字时变谐波建模和仿真技术IEEE特遣队谐波建模和仿真
机译:实时数字时变谐波建模和仿真技术IEEE特遣队谐波建模和仿真
机译:支持硬实时零星帮派任务系统的分析技术
机译:用于分析复杂实时任务模型的突发干扰分析技术
机译:用于基于模型的嵌入式实时软件设计和分析的技术和工具。
机译:分析人物内变型:用P-Technology因子分析和IDIoGraphic滤波器杂交ACE模型
机译:区块建模复杂法规:基于组合优化的映射技术分析经济立法及其应力点
机译:任务分析方法:多任务情境下心理负荷分析技术的回顾与发展