Modeling and Simulation for Embedded Software System

Author

So Young Moon ; Bo Kyung Park ; Kim, R. Young Chul ; Park, Young B.

Author_Institution

Dept. of Comput. & Inf. Commun., Hongik Univ., Sejong, South Korea

fYear

2014

fDate

6-9 May 2014

Firstpage

1

Lastpage

3

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.

Keywords

embedded systems; formal verification; software reliability; UML2.0; embedded software system; model correctness; modeling verification; modeling-and-simulation; software system reliability; xUML; Adaptation models; Computational modeling; Concurrent computing; Embedded software; Embedded systems; Stochastic processes; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Science and Applications (ICISA), 2014 International Conference on

Conference_Location

Seoul

Print_ISBN

978-1-4799-4443-9

Type

conf

DOI

10.1109/ICISA.2014.6847429

Filename

6847429