The purpose of this track of the SpringSim Conference is to provide a forum to discuss recent advances in M&S foundations, theory, and practice. The main focus is on modeling and simulation concepts, methodologies, and techniques enabling practices and tools to cope with the challenges that arise from understanding, building, and operating highly complex and ultra large systems, as well as lessons learned in application domains. The Symposium bridges different areas of theory of M&S, including formal modeling, model-checking, graph transformation, modeling methods, and simulation techniques. Furthermore, it aims to bring together experts in model-based, model-driven software and systems engineering from embedded, cyber-physical and software intensive systems domains with experts in simulation, with the objective to advance the state of the art in Model-Based Simulation Engineering and Simulation- Based Systems Engineering.
Theory and Foundations for M&S
- Advances in Modeling Formalisms (DEVS, Petri nets, Statecharts, etc.)
- Advances in Simulation Algorithms
- Co-simulation and Interoperability (e.g. HLA, FMI, etc.)
- Metamodeling and Model Transformation
- Model Checking and Verification
- Modular Modeling of Hybrid Systems
- Modular Modeling of Spatially Distributed Systems
- Multi-Resolution/Multiscale Modeling
- Polymorphic Model Composition
- Modular Representation of Numerical Solvers
- Multi-Paradigm/Multi-Domain Modeling
- Domain Specific Languages
- UML, SysML, and Executable Architectures (e.g. Executable UML)
- Model-Based Design, Model Based Systems Engineering
- Model-Based Testing (incl. X-in-the-loop Testing)
- Requirements Modeling and Simulation
- Systems of Systems
- Cyber-Physical Systems
- Ultra Large Scale Systems
- Code generation for emerging target platforms
Original, high-quality technical papers are solicited for review, possible presentation and subsequent publication in the conference proceedings. Papers are max 12 pages long with single column format (see author’s kit at http://scs.org/authorskit). Papers must not have appeared before (or be pending) in a journal or conference with published proceedings, nor may they be under review orsubmitted to another forum during SpringSim’19 review process.
All submissions will be peer reviewed and feedback will be provided. Authors of papers accepted at symposiums and their tracks are expected to attend the conference, present their work to their peers, transfer copyright, and pay a conference registration fee at the time their camera-ready paper is submitted. Papers registered and presented will be included in the conference proceedings, possibly archived in the ACM Digital Library, and indexed in DBLP and SCOPUS.
Short papers (max 6 pages, with same format of regular papers), describing early research efforts, work in progress or position statements, are also welcome.
Please refer to the SpringSim’19 website or full details about the submission procedure. When submitting your contribution, please make sure to use the paper template available at http://scs.org/authorskit.