Modeling and Simulation for Embedded Software System
- Authors
- Moon, So Young; Park, Bo Kyung; Kim, R. Young Chul; Park, Young B.
- Issue Date
- 2014
- Publisher
- IEEE
- Keywords
- Embedded Software System; State Diagram; Concurrency; Stochastic; Modeling and Simulation
- Citation
- 2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA)
- Journal Title
- 2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA)
- URI
- https://scholarworks.bwise.kr/hongik/handle/2020.sw.hongik/29564
- ISSN
- 2162-9048
- Abstract
- 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.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - Graduate School > Software and Communications Engineering > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/hongik/handle/2020.sw.hongik/29564)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.