{"title":"集成I-DEVS和可调度性方法分析实时系统约束","authors":"B. Mello, Gabriel A. Wainer","doi":"10.1177/00375497221099548","DOIUrl":null,"url":null,"abstract":"The design of embedded real-time systems (RTS) is challenging due to the criticality of the timing constraints of these systems. Various informal and formal methods for RTS design have been proposed, both in the design space and the real-time execution at the hardware level, but many of these methods are not effective when the complexity of the system scales up. Here, we discuss a new method to integrate a modeling (and simulation) formalism that allows designing complex systems specifications for real-time constraints called Imprecise-DEVS (I-DEVS), and the mapping of such high-level models into a real-time task model. This method allows analyzing real-time constraints both at the high level of modeling as well as the low level of the tasks executed by the processing units and the Operating System. A new method to study the schedulability of the task models is proposed. The method provides a design analysis space from the model level, up to the individual tasks, with a focus on the schedulability of real-time constraints under transient overloading conditions.","PeriodicalId":49516,"journal":{"name":"Simulation-Transactions of the Society for Modeling and Simulation International","volume":"3565 1","pages":"1143 - 1159"},"PeriodicalIF":1.3000,"publicationDate":"2022-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints\",\"authors\":\"B. Mello, Gabriel A. Wainer\",\"doi\":\"10.1177/00375497221099548\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The design of embedded real-time systems (RTS) is challenging due to the criticality of the timing constraints of these systems. Various informal and formal methods for RTS design have been proposed, both in the design space and the real-time execution at the hardware level, but many of these methods are not effective when the complexity of the system scales up. Here, we discuss a new method to integrate a modeling (and simulation) formalism that allows designing complex systems specifications for real-time constraints called Imprecise-DEVS (I-DEVS), and the mapping of such high-level models into a real-time task model. This method allows analyzing real-time constraints both at the high level of modeling as well as the low level of the tasks executed by the processing units and the Operating System. A new method to study the schedulability of the task models is proposed. The method provides a design analysis space from the model level, up to the individual tasks, with a focus on the schedulability of real-time constraints under transient overloading conditions.\",\"PeriodicalId\":49516,\"journal\":{\"name\":\"Simulation-Transactions of the Society for Modeling and Simulation International\",\"volume\":\"3565 1\",\"pages\":\"1143 - 1159\"},\"PeriodicalIF\":1.3000,\"publicationDate\":\"2022-05-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Simulation-Transactions of the Society for Modeling and Simulation International\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://doi.org/10.1177/00375497221099548\",\"RegionNum\":4,\"RegionCategory\":\"工程技术\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Simulation-Transactions of the Society for Modeling and Simulation International","FirstCategoryId":"5","ListUrlMain":"https://doi.org/10.1177/00375497221099548","RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}
Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints
The design of embedded real-time systems (RTS) is challenging due to the criticality of the timing constraints of these systems. Various informal and formal methods for RTS design have been proposed, both in the design space and the real-time execution at the hardware level, but many of these methods are not effective when the complexity of the system scales up. Here, we discuss a new method to integrate a modeling (and simulation) formalism that allows designing complex systems specifications for real-time constraints called Imprecise-DEVS (I-DEVS), and the mapping of such high-level models into a real-time task model. This method allows analyzing real-time constraints both at the high level of modeling as well as the low level of the tasks executed by the processing units and the Operating System. A new method to study the schedulability of the task models is proposed. The method provides a design analysis space from the model level, up to the individual tasks, with a focus on the schedulability of real-time constraints under transient overloading conditions.
期刊介绍:
SIMULATION is a peer-reviewed journal, which covers subjects including the modelling and simulation of: computer networking and communications, high performance computers, real-time systems, mobile and intelligent agents, simulation software, and language design, system engineering and design, aerospace, traffic systems, microelectronics, robotics, mechatronics, and air traffic and chemistry, physics, biology, medicine, biomedicine, sociology, and cognition.