DMCA
Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and
BibTeX
@MISC{Tariq_designspecification,
author = {Muhammad Umer Tariq and Jacques Florence and Marilyn Wolf},
title = {Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. In this paper, we propose a domain-specific modeling lan-guage for specifying the design of cyber-physical systems. The proposed domain-specific modeling language can capture the control, comput-ing, and communication aspects of a cyber-physical system design in an integrated manner. The concrete syntax of the proposed domain-specific modeling language has been implemented as an extension of standard blocks available in Simulink. The meta-model for the proposed domain-specific modeling language has been defined using the Ecore meta-modeling language, which was originally developed as a part of Eclipse Modeling Framework project. We have also implemented an ini-tial version of a parser that converts Simulink models, employing the proposed domain-specific modeling language, into corresponding Eclipse Modeling Framework instance models, which can then serve as input to model transformation tools. The proposed domain-specific model-ing language builds on the concepts introduced by Giotto programming paradigm for platform-independent specification of control law, imple-mented by the controller in a cyber-physical system.
Keyphrases
cyber-physical system domain-specific modeling language design specification eclipse modeling framework simulink model ecore meta-modeling language communication aspect ini-tial version integrated manner cyber-physical system design standard block domain-specific modeling lan-guage transformation tool eclipse modeling framework project domain-specific model-ing language build control law eclipse modeling framework instance model platform-independent specification concrete syntax
