Code analysis and CS-XML

The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant benefits. A common objective in simulation is enhanced understanding of a system; model specification analysis can provide insights not otherwise available as well as time and cost savings in model development. The Condition Specification (CS) (Overstreet and Nance 1985) represents a model specification form that is amenable to analysis. This paper discusses the motivations for and the creation of CS-XML; a translator for CSes into XML-based Condition Specifications; and a translator for CS-XML into fully-executable C/C++ code. It presents initial results from analysis efforts using CodeSurfer (Anderson et al. 2003), a software static analysis tool, and discusses future work. In conclusion, it is argued that the CSXML can provide an essential foundation for Web Services that support the analysis of discrete-ev...

• Type: Conference
• Year: 2007
• Where: WSC
• Authors: Kara A. Olson, C. Michael Overstreet, E. Joseph Derrick
• Keywords: Analysis, Model Specification, Model Specification Analysis, Modeling And Simulation, WSC 2007