Creating Spatially-Shaped Defense Models Using DEVS and Cell-DEVS

Abstract

In recent years, new techniques for military modeling and simulation provided the practitioner with advanced mechanisms to describe complex applications. Some of the recent efforts in the field tried to address important issues in open research areas, ranging from agent-based modeling, multiresolution/hierarchical models, hybrid models, and composability. We show how to address some of these issues through the application of a formal modeling and simulation technique and its application to the domain of defense applications. Our efforts consider the construction of multimodels, including components that can be defined as spatially-shaped models, using the Cell-DEVS and DEVS formalisms. DEVS is a mathematically sound framework in which a system is modeled by dividing it into a number of components (each of them having a discrete state and interacting with the environment via input/output ports). Cell-DEVS is an extension to DEVS that formulates the execution of cellular models with explicit timing delays. We show how these concepts can be applied to different defense-related spatial models, including a radar transmitter/receiver, a target-seeking device, and land battlefield models.

Keywords

DEVS Cell-DEVS cellular models spatial models

Get full access to this article

View all access options for this article.

References

1. Palmore, J. (Chair) “Mini-Symposium/Workshop Report. Warfare Analysis and Complexity.” Military Operations Research Society. September 15–17, 1997. JHU/APL. Laurel, MD. <http://www.mors.org>.

2. Zeigler, B. , T. Kim , and H. Praehofer. Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press, 2000.

3. Sisti, A. , and S. Farr. “Modeling and Simulation Enabling Technologies for Military Applications.” In Proceedings of the 1996 Winter Simulation Conference. Coronado, CA. 1996.

4. Davis, P., and B. Zeigler. “Technology for the United States Navy and Marine Corps, 2000–2035. Becoming a 21st-century Force” Vol. 9. “Modeling and Simulation.” National Academy of Sciences. <http://www.nap.edu/html/tech_21st/msindex.htm> 1997.

5. Wolfram, S. A New Kind of Science. Wolfram Media. 2002.

6. Wainer, G. , and N. Giambiasi.

“N-Dimensional Cell-DEVS.”

Discrete Events Systems: Theory and Applications 12, no. 1 (January 2002): 135–157 (Kluwer).

7. Wainer, G.

“CD++: A Toolkit to Define Discrete-Event Models.”

Software, Practice and Experience 32, no 3 (November 2002): 1261–1306.

8. Gore, J. “Chaos, Complexity and the Military.” National Defense University, National War College, Military Strategy and Operation Seminar D. Technical Report 96-E-61.<http://www.ndu.edu/library/n1/96-E-61.pdf> 1996.

9. Kim, T.G. , S. M. Cho , and W. B. Lee. “DEVS Framework for Systems Development.” In Discrete Event Modeling & Simulation: Enabling Future Technologies. Springer-Verlag, 2001.

10.

10. Wainer, G. , L. Morihama , and V. Passuello. “Automatic Verification of DEVS Models.” In Proceedings of the SISO Spring Interoperability Workshop, 2002.

11.

11. Zeigler, B. P., D. Fulton, J. Nutaro, and P. Hammonds. “M&S Enabled Testing of Distributed Systems: Beyond Interoperability to Combat Effectiveness Assessment.” 9th Annual M&S Workshop, ITEA White Sands Chapter, 2003.

12.

12. Labiche, Y. , and G. Wainer. “Towards the Verification and Validation of DEVS Models.” In: Proceedings of the 1st Open International Conference on Modeling & Simulation, Clermont-Ferrand, France, 2005.

13.

13. Barros, F. J.

“Modeling Formalisms for Dynamic Structure Systems.”

ACM Transactions on Modeling and Computer Simulation 7, no. 4 (October 1997): 501–515.

14.

14. Zeigler, B. P.

“Continuity and Change (Activity) Are Fundamentally Related in DEVS Simulation of Continuous Systems.”

LNCS 3397/2005, 1–17. New York: Springer-Verlag, 2005.

15.

15. Zeigler, B. “DEVS. Theory of Quantization.” DARPA Contract N6133997K-007, ECE Dept., University of Arizona, Tucson, AZ, 1998.

16.

16. Davis, P. , and R. Anderson. “Improving the Composability of Department of Defense Models and Simulations.” RAND National Defense Research Institute, 2003.

17.

17. Woodcock, A. E. R. , L. Cobb , and J. Dockery.

“CA: A New Method for Battlefield Simulation.”

Signal 42 (January 1988): 41–50.

18.

18. Ilachinski, A.

“Irreducible Semi-Autonomous Adaptive Combat (ISAAC): An Artificial Life Approach to Land Combat.”

Military Operations Research 5, no. 3 (2000): 29–46.

19.

19. Champagne, L. “Bay of Biscay: Extensions into Modern Military Issues.” In Proceedings of the 2003 Winter Simulation Conference, New Orleans, LA, 2003.

20.

20. Das, B. “Effects-Based Operations: Simulations with CA.” Technical Report DSTO-RR-0275, Command and Control Division, Information Sciences Laboratory, Australian Government, Department of Defence, Defence Science and Technology Organisation, AR-012–980, June 2004.

21.

21. Ilachinski A. Artificial War: Multiagent-Based Simulation of Combat. World Scientific Press, 2004.

22.

22. Lauren, M.

“Fractal Methods Applied to Describe Cellular Automaton Combat Models.”

Fractals 9, no 2 (2001): 177–185.

23.

23. Wainer, G. , and N. Giambiasi.

“Application of the Cell-DEVS Paradigm for Cell Spaces Modeling and Simulation.”

Simulation 71, no. 1 (January 2001): 22–39.

24.

24. Glinsky, E. , and G. Wainer. “Performance Analysis of RealTime DEVS Models.” In Proceedings of 2002 Winter Simulation Conference, San Diego, CA, 2002.

25.

25. Troccoli, A. , and G. Wainer. “Implementing Parallel Cell-DEVS.” In Proceedings of the Annual Simulation Symposium, Orlando, FL, 2003.

26.

26. MacSween, P. , and G. Wainer. “On the Construction of Complex Models Using Reusable Components.” In Proceedings of the 2004 Spring Simulation Interoperability Workshop, Arlington, VA, 2004.

27.

27. Reynolds, C. W. “Steering Behaviors for Autonomous Characters.” <http://www.red3d.com/cwr/papers/1999/gdc99steer.html> (Checked February 2006).

28.

28. Madhoun, R. , and G. Wainer. “Modeling a Battlefield Using Cell-DEVS.” In Proceedings of SISO Spring SIW, San Diego, CA, 2005.

29.

29. López, A., and G. Wainer. “Improved Cell-DEVS Model Definition in CD++.” LNCS 3305 Edited by P. M. A. Sloot, B. Chopard, and A. G. Hoekstra. ACRI 2004, Springer-Verlag, 2004.