Advanced Methodologies for Real-Time Discrete Event Modelling and Simulation

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

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.