A meta-metamodel for dynamic constraint feedback in modeling languages
|Title||A meta-metamodel for dynamic constraint feedback in modeling languages|
|Publication Type||Conference Paper|
|Year of Publication||2019|
|Authors||Bunting, M, Sprinkle, J|
|Conference Name||Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling|
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.