A meta-metamodel for dynamic constraint feedback in modeling languages

Complex design considerations of Cyber-Physical Systems (CPSs) are greatly aided through the use of high-level abstractions in a Domain-Specific Modeling Language (DSML). A DSML environment ensures that models will be correct by construction, however syntax correctness does not imply dynamic safety. Presented is an approach to define a meta-metamodel for DSML design with built in closed loop verification feedback for model correction based on dynamic constraint violations. Usage of this framework during DSML design can benefit CPSs such as autonomous vehicles by ensuring that designs are safe, through codified expert knowledge and verification tool integration. A case study is shown using a simple hybrid controller modeling language and reachability verification tools.