Principles of DEVS model verification for real-time embedded applications
Embedded real-time (RT) software systems are increasingly used in mission critical applications, where a failure of the system to deliver its function can be catastrophic. Currently existing RT engineering methodologies use modeling as a method to study and evaluate different system designs before building the target application. Having a system model enables the verification of system properties and functionality before building the actual system. In this way, deployed systems would have a very high reliability, as the formal verification permits detecting systems errors at the early stages of the design. To apply such methodologies for embedded control systems, a designer must abstract the physical system to be controlled and build a model for it. This model can then be combined with a model of the proposed controller design for study and evaluation.
Saadawi, H. (Hesham), Wainer, G.A, & Moallemi, M. (Mohammad). (2017). Principles of DEVS model verification for real-time embedded applications. In Real-Time Simulation Technologies: Principles, Methodologies, and Applications (pp. 63–96). doi:10.1201/b12667