TY - JOUR
T1 - Synthesizing executable simulations from structural models of component-based systems
AU - Schuster, Andreas
AU - Sprinkle, Jonathan
N1 - Publisher Copyright:
© Multi-Paradigm Modeling 2009.
PY - 2009
Y1 - 2009
N2 - Experts in robotics systems have developed substantial software tools for simulation, execution, and hardware-in-the-loop testing. Unfortunately, many of these robotics-domain software infrastructures pose challenges for a robotics expert to use, unless that robotics expert is also familiar with middleware programming, and the integration of heterogeneous simulation tools. In this paper, we describe a novel modeling language designed to bridge these two domains in an intuitive visual representation. Using this metamodel-defined modeling language, we can design and build structural models of robotics systems, and synthesize experiments from these constructed models. The restrictions implicit (and explicit) in the visual language guide modelers to build only models that can be synthesized, a "correct by construction" approach. We discuss the impact of this language with a running example of an autonomous ground vehicle, and the hundreds of configuration parameters and several simulation tools that are necessary in order to simulate this complex example.
AB - Experts in robotics systems have developed substantial software tools for simulation, execution, and hardware-in-the-loop testing. Unfortunately, many of these robotics-domain software infrastructures pose challenges for a robotics expert to use, unless that robotics expert is also familiar with middleware programming, and the integration of heterogeneous simulation tools. In this paper, we describe a novel modeling language designed to bridge these two domains in an intuitive visual representation. Using this metamodel-defined modeling language, we can design and build structural models of robotics systems, and synthesize experiments from these constructed models. The restrictions implicit (and explicit) in the visual language guide modelers to build only models that can be synthesized, a "correct by construction" approach. We discuss the impact of this language with a running example of an autonomous ground vehicle, and the hundreds of configuration parameters and several simulation tools that are necessary in order to simulate this complex example.
KW - Configuration synthesis
KW - Heterogeneous simulation
KW - Metamodeling
UR - http://www.scopus.com/inward/record.url?scp=79952241809&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79952241809&partnerID=8YFLogxK
U2 - 10.14279/tuj.eceasst.21.289.280
DO - 10.14279/tuj.eceasst.21.289.280
M3 - Article
AN - SCOPUS:79952241809
SN - 1863-2122
VL - 21
JO - Electronic Communications of the EASST
JF - Electronic Communications of the EASST
ER -