Advanced Methodologies for Real-Time Discrete Event Modelling and Simulation

实时离散事件建模和仿真的先进方法

• 批准号: RGPIN-2022-05133
• 负责人: Wainer, Gabriel
• 金额: $ 2.99万
• 依托单位: Carleton University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2022
• 资助国家: 加拿大
• 起止时间: 2022-01-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=765875
• 关键词: Advanced; Methodologies; Real; Time; Discrete

Real-Time Embedded systems are built as sets of components interacting with their surrounding environment (transport, automated buildings, etc.). Their correctness is critical, as well as their timeliness: the moment when system tasks are executed can lead to catastrophic consequences (for goods or lives). We propose advance researching the use of Modeling and Simulation in real-time embedded environments. We propose use a formal modeling and simulation approach as formalized methods can provide good results because the software artifacts used for real-time modeling and simulation are of higher quality. In particular, we focus on the application of the DEVS formalism, a formal modeling and simulation framework based on generic dynamic systems concepts. We propose using DEVS for Real-time systems, using DEVS theory. Although the state-of-the-art in DEVS modeling has advanced steadily, none of the existing DEVS research results applied in real-time contexts consider a variety of complex problems in real-time applications: fault tolerance, sensor replication transient system overloading, and others. We will advance in new techniques to solve this problem, based on the use of imprecise computation and scheduling methods, presenting new methods for controlled degradation under transient overloads (by dividing the tasks in a mandatory part to provide basic results, and an optional part to improve the results obtained; also multiple versions of the same task can be provided, using a different version depending on the present load). The goal of our research program is to combine various theoretical frameworks, providing a technique for imprecise real-time computing based on DEVS. From the methodological point of view, we are interested in developing a theory of dynamic RT DEVS using imprecise computing. The goal is to provide security, reduction in the development times, and the advantages of a formal framework to develop simulations. The results of the simulated system can be applied in the development in the real-time system. From the practical point of view, we expect to provide a set of tools that can be applied to develop real-time software and simulations with hardware-in-the-loop (requiring real-time response). By invoking appropriate execution engines, we will provide the ability to execute models in both logical time (the usual simulation clock) and real time (constrained to wall-clock time).

实时嵌入式系统被构建为与周围环境（交通，自动化建筑等）交互的组件集。它们的正确性和及时性是至关重要的：系统任务执行的时刻可能会导致灾难性的后果（对于商品或生命）。我们建议提前研究建模与仿真在实时嵌入式环境中的应用。我们建议使用形式化的建模和仿真方法，因为形式化的方法可以提供良好的结果，因为用于实时建模和仿真的软件工件具有更高的质量。特别是，我们专注于DEVS形式主义，一个正式的建模和仿真框架的基础上通用的动态系统概念的应用。我们建议使用DEVS的实时系统，使用DEVS理论。虽然国家的最先进的DEVS建模已经稳步推进，没有现有的DEVS研究成果应用于实时上下文中考虑各种复杂的问题，在实时应用：容错，传感器复制瞬态系统过载，和其他。我们将推进新技术来解决这个问题，基于使用不精确的计算和调度方法，提出新的方法，在瞬态过载下控制退化（通过将任务划分为强制性部分以提供基本结果，以及可选部分以改善所获得的结果;还可以提供相同任务的多个版本，根据当前负载使用不同版本）。我们的研究计划的目标是联合收割机各种理论框架，提供一种基于DEVS的不精确实时计算技术。从方法论的角度来看，我们有兴趣发展一个理论的动态RT DEVS使用不精确计算。我们的目标是提供安全性，减少开发时间，以及开发模拟的正式框架的优势。仿真结果可用于实时系统的开发。从实际的角度来看，我们希望提供一套工具，可用于开发实时软件和仿真与硬件在环（需要实时响应）。通过调用适当的执行引擎，我们将提供在逻辑时间（通常的模拟时钟）和真实的时间（限制为挂钟时间）中执行模型的能力。