Discrete-Event Modeling and Simulation for Embedded Systems

Embedded systems are becoming pervasive in diverse domains, but their complexity and heterogeneity calls for new, efficient development methods to ensure their reliability and safety. The authors present a discrete-event modeling and simulation methodology based on solid mathematical theory to deal with these issues. The presented methodology also allows model-checking for verifying design properties.