@inproceedings{d38c0de7a36c44d79c08e2df233a8b63,
title = "A meta-metamodel for dynamic constraint feedback in modeling languages",
abstract = "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.",
keywords = "Cyber-Physical Systems, Domain-Specific Modeling, Verification Tools",
author = "Matt Bunting and Jonathan Sprinkle",
note = "Publisher Copyright: {\textcopyright} 2019 Association for Computing Machinery.; 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, DSM 2019, co-located with SPLASH 2019 ; Conference date: 20-10-2019",
year = "2019",
month = oct,
day = "20",
doi = "10.1145/3358501.3361239",
language = "English (US)",
series = "DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019",
publisher = "Association for Computing Machinery, Inc",
pages = "11--19",
editor = "Matti Rossi and Jonathan Sprinkle",
booktitle = "DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019",
}