层次调度系统组成分析的通用形式化框架

2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2018-07-25 DOI:10.1109/ISORC.2018.00015

Jalil Boudjadar, J. H. Kim, L. T. Phan, Insup Lee, K. Larsen, Ulrik Nyman

{"title":"层次调度系统组成分析的通用形式化框架","authors":"Jalil Boudjadar, J. H. Kim, L. T. Phan, Insup Lee, K. Larsen, Ulrik Nyman","doi":"10.1109/ISORC.2018.00015","DOIUrl":null,"url":null,"abstract":"We present a compositional framework for the specification and analysis of hierarchical scheduling systems (HSS). Firstly we provide a generic formal model, which can be used to describe any type of scheduling system. The concept of Job automata is introduced in order to model job instantiation patterns. We model the interaction between different levels in the hierarchy through the use of state-based resource models. Our notion of resource model is general enough to capture multi-core architectures, preemptiveness and non-determinism.","PeriodicalId":395536,"journal":{"name":"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems\",\"authors\":\"Jalil Boudjadar, J. H. Kim, L. T. Phan, Insup Lee, K. Larsen, Ulrik Nyman\",\"doi\":\"10.1109/ISORC.2018.00015\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present a compositional framework for the specification and analysis of hierarchical scheduling systems (HSS). Firstly we provide a generic formal model, which can be used to describe any type of scheduling system. The concept of Job automata is introduced in order to model job instantiation patterns. We model the interaction between different levels in the hierarchy through the use of state-based resource models. Our notion of resource model is general enough to capture multi-core architectures, preemptiveness and non-determinism.\",\"PeriodicalId\":395536,\"journal\":{\"name\":\"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)\",\"volume\":\"38 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-07-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISORC.2018.00015\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISORC.2018.00015","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

提出了一种用于分级调度系统(HSS)规范和分析的组合框架。首先给出了一个通用的形式化模型，该模型可用于描述任何类型的调度系统。为了对作业实例化模式进行建模，引入了作业自动机的概念。我们通过使用基于状态的资源模型对层次结构中不同级别之间的交互进行建模。我们的资源模型概念非常通用，足以捕捉多核架构、抢先性和非确定性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

We present a compositional framework for the specification and analysis of hierarchical scheduling systems (HSS). Firstly we provide a generic formal model, which can be used to describe any type of scheduling system. The concept of Job automata is introduced in order to model job instantiation patterns. We model the interaction between different levels in the hierarchy through the use of state-based resource models. Our notion of resource model is general enough to capture multi-core architectures, preemptiveness and non-determinism.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)

自引率

0.00%

发文量