浅谈基于成分分析的层次化调度框架

基于成分分析的层次化调度框架,其中使用到Uppaal,这是一种集成的工具环境,被用来对被转换时间自动机网络模型的实时系统进行建模、校验和验证,是由瑞典Uppsala大学信息技术学院和丹麦Aalborg大学的计算科学学院联合开发的。主要讨论一种可重构的调度框架,表示层次化结构,调度策略,具体任务行为和可共享资源均可重构。