Modeling and Simulation for Embedded Software System

For productivity and correctness of embedded software system, I will focus on the verification of modeling by using M&S (Modeling & Simulation) in the modeling part. M&S (Modeling & Simulation) will be used to verify the modeling. If models are simulated for verification after modeling when we develop the embedded software, we may have the correctness of models. Also, it is probably going to improve embedded software's reusability and reliability because we will be reusing correctness models. In this paper, we will extend a dynamic diagram of UML2.0 and xUML including Real-Time concepts to adapt to the embedded environment for embedded software modeling. Furthermore, it is probably going to improve reliability of embedded software system with using modeling and simulation concepts.