embedded systems; scheduling; embedded computer system architectures; open compositional timing analysis framework; scheduling methods; Analytical models; Computational modeling; Computer architecture; Computers; Protocols; Software; Timing; compositional analysis; distributed real-time systems; schedulability analysis;
机译:通过优化时序约束来支持车载嵌入式系统的时序分析
机译:基于模型的框架涵盖了从规范到嵌入式软件系统中的时序要求验证的完整工作流程
机译:使用改进的分析技术进行成分性能分析,以获得分布式嵌入式系统中可行的端到端延迟
机译:嵌入式计算机系统组成时序分析的框架
机译:实时嵌入式系统的组成框架
机译:咨询工作中的专业精神组成:一个嵌入式的嵌入式交叉框架
机译:嵌入式系统中时序约束交互分析的框架