A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation

Compositional Systems Lab

TitleA Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation
Publication TypeConference Paper
Year of Publication2014
AuthorsZhang, K, Sprinkle, J
Conference NameThe 14th Workshop on Domain-Specific Modeling
Pagination1-6
Date Published2014
Abstract

Domain-specific modeling languages effectively constrain struc- tural concepts, but constraints that are not easily captured with structural constraints are still important to fix at design time. In practice these kinds of constraints are implicitly left to be carried out by the domain modelers. This paper explores the process of in- corporating system behavioral (not just structural) constraints into a DSML, and studies the way of generating feasible transformation solutions if those constraints fail, based on a transformation library constructed in advance. Our approach is to carry out the verifica- tion process through code generation, but utilize the results of veri- fication as an input to a model transformation generator. The output transformation then operates on the original model. As a case study, we applied the approach to finite state machine (FSM) models that control a cyber-physical system.

URLhttp://dx.doi.org/10.1145/2688447.2688448
DOI10.1145/2688447.2688448
Citation Keysprinkle250