Advanced Methodologies for Real-Time Discrete Event Modelling and Simulation

点击翻译按钮获取中文摘要

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.