Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/1878537.1878607acmotherconferencesArticle/Chapter ViewAbstractPublication PagesspringsimConference Proceedingsconference-collections
research-article

Benefits and challenges in developing warship simulator based on DEVS formalism

Published: 11 April 2010 Publication History

Abstract

Modeling and simulation(M&S) engineering is one of the most challenging areas that have to deal with problems from multiple domains. Hence, in the M&S field, the various domain experts and the M&S experts often work together to build a simulator. Yet, in some domains like military, cooperation has been limited because of the security policies in domains. Therefore, the domain experts in such fields are required to have M&S knowledge on the top of their domain knowledge to build simulation models by themselves.
This paper describes our experience of developing a simple warship simulator and assisting such domain experts to obtain the M&S knowledge using Warship Simulator Project. From the experience of the project, we found that the DEVS formalism is easy to learn, and it is suitable for developing a simulator easily with implementation of DEVS formalism.

References

[1]
R. Frigg and S. Hartmann, "Models in Science". Entry in the Stanford Encyclopedia of Philosophy, 2006.
[2]
Su-Youn Hong and Tag Gon Kim, "Embedding UML Subset into Object-oriented DEVS Modeling Process," in Proceedings of the Summer Computer Simulation Conference, San Jose, California, USA, July 2004, pp. 161--166.
[3]
Chang Ho Sung, Su-Youn Hong, and Tag Gon Kim, "Layered Approach to Development of OO War Game Models Using DEVS Framework," in Proceedings of the Summer Computer simulation Conference, 2005
[4]
Jay K. Adams and Donald E. Thomas, "The Design of Mixed hardware/software systems," in Proceedings of the 33rd annual conference on Design automation, Las Vegas, Nevada, USA, June 1996, pp. 515--520.
[5]
David W. Franke and Martin K. Purvis, "Hardware/Software CoDesign: A Perspective," in Proceedings of the 13t international conference on Software engineering, Austin, Texas, USA, 1991, pp. 344--352.
[6]
Booch, Rumbaugh, and Jacobson. The Unified Modeling Language User Guide, Addison-Wesely, Reading, Massachusetts, 1998.
[7]
Rumbaugh, Unified Modeling Language Reference Manual, Addison-Wesely, Reading, Massachusetts, 1999.
[8]
Mark Priestley, Practical Object-Oriented Design with UML, The McGraw-Hill Companies, 1996.
[9]
Bernard P. Zeigler, Herbert Praehofer and Tag Gon Kim, Theory of Modelling and Simulation (2nd Edition), Academic Press; 2000.
[10]
A. I. Concepcion and B. P. Zeigler, "DEVS Formalism: AFramework for Hierarchical Model Development," IEEE Transactions on Software Engineering, vol SE-14 no. 2, pp. 228--241, Feb. 1988.
[11]
Tag Gon Kim, DEVSim++ User's Manual, Available: http://smslab.kaist.ac.kr, 2007

Cited By

View all

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences
SpringSim '10: Proceedings of the 2010 Spring Simulation Multiconference
April 2010
1726 pages
ISBN:9781450300698

Sponsors

  • SCS: Society for Modeling and Simulation International

In-Cooperation

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 11 April 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. DEVS formalism
  2. discrete event simulator verification
  3. requirement specification

Qualifiers

  • Research-article

Conference

SpringSim '10
Sponsor:
  • SCS
SpringSim '10: 2010 Spring Simulation Conference
April 11 - 15, 2010
Florida, Orlando

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 10 Nov 2024

Other Metrics

Citations

Cited By

View all

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media