Advanced Methodologies for Real-Time Discrete Event Modelling and Simulation

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

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

Embedded real-time systems are built as sets of components interacting with their surrounding environment. These are highly reactive systems, where the decisions can lead to catastrophic consequences for goods or lives (industrial automation, transport, robotics, etc.). In these systems, not only correctness is critical, but also the timing for executing the system tasks. Modeling and Simulation has proven to be a practical approach to verification of these systems with reduced costs and risks. Formal modeling and simulation provides even better results as the software artifacts can be built faster and safer. In particular, the Discrete-EVent Systems specification formalism (DEVS), a formal modeling and simulation framework based on generic dynamic systems concepts, is suitable to deal with these issues.

嵌入式实时系统被构建为与周围环境交互的组件集。这些是高度反应性的系统，其决策可能会对商品或生命造成灾难性后果（工业自动化，运输，机器人等）。在这些系统中，不仅正确性是至关重要的，而且执行系统任务的时间。建模和仿真已被证明是一种实用的方法来验证这些系统，降低成本和风险。形式化建模和仿真提供了更好的结果，因为软件工件可以更快、更安全地构建。特别是，离散事件系统规范形式主义（DEVS），一个正式的建模和仿真框架的基础上通用的动态系统的概念，是适合于处理这些问题。