Abstract | ||
---|---|---|
Over the past decade, the design of embedded systems has come to rely on models as electronic artifacts that are both analysable and executable. Such executable models are at the core of Model-Based Design. Simulink® is a popular Model-Based Design tool that supports simulation of models in various stages of design. While Simulink supports relating the various different models used in design, the technology to do so relies on the underlying Simulink code base. Instead, this paper employs explicit models of the relations between the various different design models. In particular, a rule-based approach is presented for model-to-model transformations. The abstraction from the code base provides benefits such as a more intuitive representation and the ability to more effectively reason about the transformations. The transformation rules and schedules are designed by augmenting standard Simulink model elements (e.g., blocks) for use in model transformation based on the structured RAMification approach. The approach is illustrated by the transformation of a continuous-time model, part of an adaptive controller, to a disrete-time counterpart, which is consecutively optimized for simulation. |
Year | Venue | Keywords |
---|---|---|
2014 | SpringSim (TMS-DEVS) | model validation and analysis,design,model-transformation,experimentation,model development,model-driven engineering,model-based design,measurement,simulink,simulation theory,performance,model driven engineering,model based design |
Field | DocType | Citations |
Model transformation,Rule-based system,Control theory,Model-driven architecture,Computer science,Design tool,Model-based design,Theoretical computer science,Schedule,Executable | Conference | 1 |
PageRank | References | Authors |
0.40 | 9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joachim Denil | 1 | 118 | 22.44 |
Pieter J. Mosterman | 2 | 429 | 53.18 |
Hans Vangheluwe | 3 | 1174 | 114.42 |