TY - GEN
T1 - Modana
T2 - 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015
AU - Cheng, Bei
AU - Wang, Xiao
AU - Liu, Jufu
AU - Du, Dehui
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/9/21
Y1 - 2015/9/21
N2 - Cyber-Physical Systems (CPSs) as advanced embedded systems integrating computation with physical process are increasingly penetrating into our life. Modeling and analysis for such systems closely involved with us are actively researched. A current challenging problem is how to take advantages of existing technologies like SysML/MARTE, Modelica and Statistical Model Checking (SMC) through effective integration. Moreover, the lack of efficient methodologies or tools for modeling and analysis of CPSs makes the gap between design and analysis models hard to bridge. To solve these problems, we present a framework named Modana to achieve an integrated process from modeling with SysML/MARTE to analysis with SMC for CPSs in terms of Non Functional Properties (NFP) such as time, energy, etc. Functional Mock-up Interface (FMI), as a connecting link between modeling and analysis, plays a major role in coordinating various tools for co-simulation to generate traces as the input of statistical model checker. To demonstrate the capability of Modana framework, we model energy-aware buildings as a case study, and discuss the analysis on energy consumption in different scenarios.
AB - Cyber-Physical Systems (CPSs) as advanced embedded systems integrating computation with physical process are increasingly penetrating into our life. Modeling and analysis for such systems closely involved with us are actively researched. A current challenging problem is how to take advantages of existing technologies like SysML/MARTE, Modelica and Statistical Model Checking (SMC) through effective integration. Moreover, the lack of efficient methodologies or tools for modeling and analysis of CPSs makes the gap between design and analysis models hard to bridge. To solve these problems, we present a framework named Modana to achieve an integrated process from modeling with SysML/MARTE to analysis with SMC for CPSs in terms of Non Functional Properties (NFP) such as time, energy, etc. Functional Mock-up Interface (FMI), as a connecting link between modeling and analysis, plays a major role in coordinating various tools for co-simulation to generate traces as the input of statistical model checker. To demonstrate the capability of Modana framework, we model energy-aware buildings as a case study, and discuss the analysis on energy consumption in different scenarios.
KW - Cyber-physical systems
KW - Energy-aware buildings
KW - Functional mock-up interface
KW - Statistical model checking
KW - SysML/MARTE
UR - https://www.scopus.com/pages/publications/84962159386
U2 - 10.1109/COMPSAC.2015.68
DO - 10.1109/COMPSAC.2015.68
M3 - 会议稿件
AN - SCOPUS:84962159386
T3 - Proceedings - International Computer Software and Applications Conference
SP - 127
EP - 136
BT - Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015
A2 - Huang, Gang
A2 - Yang, Jingwei
A2 - Ahamed, Sheikh Iqbal
A2 - Hsiung, Pao-Ann
A2 - Chang, Carl K.
A2 - Chu, William
A2 - Crnkovic, Ivica
PB - IEEE Computer Society
Y2 - 1 July 2015 through 5 July 2015
ER -
