The purpose of this symposium is to provide a forum to discuss recent advancements in M&S theory. The main focus is on modeling, methodology, practice and software to cope with the challenges arising out of these, as well as lessons learned and challenges. The Symposium bridges different areas in the field of theory of M&S, including formal modeling, model-checking, graph transformation, modeling methodologies. Topics of interest include (but are not limited to):
Theory
· Advances in Modeling Formalisms (DEVS, Petri nets, Statecharts, etc.)
· Model Transformation
· Model Checking and Verification
· Formalism-Based Model Debugging
Modular Approaches in M&S
· Model Composition
· Co-simulation
· Interoperability
· Modular Modeling of Hybrid Systems
· Modular Modeling of Spatially Distributed Systems
· Modular Representation of Numerical Solvers
Complex Systems M&S
· Multi-Paradigm/Multi-Domain Modeling
· Multi-Resolution/Multiscale Modeling
· Cyber-Physical Systems M&S
· Ultra Large Scale Systems M&S
· Systems of Systems M&S
M&S Technologies
· Parallel/Distributed/Cloud-Based Simulation
· Real-Time and Interactive Simulation
· M&S of Embedded Systems
M&S Tools and Standards
· Simulation Languages/Libraries
· Simulation Development/Visualization Tools
· M&S Repositories/Data Formats
Submission Procedures:
Original, high-quality technical papers are solicited for review, possible presentation and subsequent publication in the conference proceedings. For further instructions, please refer to the Submission Instructions in the SCS Conference Proceedings Management System web site. Contributed papers are 12 pages long with single column format. They will be peer reviewed and – if accepted and presented at the conference – submitted to the ACM Digital Library. Papers must not have appeared before (or be pending) in a journal or conference with published proceedings, nor may they be under review or submitted to another forum during SpringSim’18 review process. At least one author of an accepted paper must register for the symposium and must present the paper at the symposium. The submission website is available at http://www.softconf.com/sim/DEVS18/.
For submissions please use the paper template provided at SpringSim’18 website (http://www.scs.org/springsim)
