Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems
Compositional Systems Lab
|Title||Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems|
|Publication Type||Conference Paper|
|Year of Publication||2014|
|Authors||Whitsitt, S, Sprinkle, J, Lysecky, R|
|Conference Name||The 14th Workshop on Domain-Specific Modeling|
Cyber physical systems by definition involve design constraints addressing the computation and communication necessary to control physical systems. These systems have been modeled using domain specific modeling languages, but some limitations exist in the continued application of such a modeling approach to more complex, or safety-critical, systems. Specifically, it is well known how to formulate constraints in a domain-specific modeling language in order to prevent users from building invalid structures, but existing constraint-based techniques do not take into consideration design requirements that may require analysis in the physical domain (i.e. dynamic constraints). Those analysis results, when interpreted by a domain expert, can inform changes to the model: unfortunately, this process does not scale. This paper presents an approach to integrating dynamic constraints that cannot be enforced using structural model constraints. The technique uses expert blocks to analyze systems and generates model transformations specific to the system using the results of those analyses to fix constraint violations. The paper describes a Dynamic Constraint Feedback (DCF) methodology for integrating this technique into existing systems from a generic perspective. Specific examples in this paper are derived from the domain of data adaptable reconfigurable embedded systems (DARES).