A meta-metamodel for dynamic constraint feedback in modeling languages

Matt Bunting, Jonathan Sprinkle

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationDSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019
EditorsMatti Rossi, Jonathan Sprinkle
PublisherAssociation for Computing Machinery, Inc
Pages11-19
Number of pages9
ISBN (Electronic)9781450369848
DOIs
StatePublished - Oct 20 2019
Event17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, DSM 2019, co-located with SPLASH 2019 - Athens, Greece
Duration: Oct 20 2019 → …

Publication series

NameDSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019

Conference

Conference17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, DSM 2019, co-located with SPLASH 2019
CountryGreece
CityAthens
Period10/20/19 → …

Keywords

  • Cyber-Physical Systems
  • Domain-Specific Modeling
  • Verification Tools

ASJC Scopus subject areas

  • Computer Science Applications
  • Software
  • Modeling and Simulation

Fingerprint Dive into the research topics of 'A meta-metamodel for dynamic constraint feedback in modeling languages'. Together they form a unique fingerprint.

  • Cite this

    Bunting, M., & Sprinkle, J. (2019). A meta-metamodel for dynamic constraint feedback in modeling languages. In M. Rossi, & J. Sprinkle (Eds.), DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019 (pp. 11-19). (DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019). Association for Computing Machinery, Inc. https://doi.org/10.1145/3358501.3361239