Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs

Bei Cheng; Xiao Wang; Jufu Liu; Dehui Du

doi:10.1109/COMPSAC.2015.68

Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs

Bei Cheng
, Xiao Wang
, Jufu Liu
, Dehui Du^*

^*Corresponding author for this work

Software Engineering Institute

East China Normal University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

10 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015
Editors	Gang Huang, Jingwei Yang, Sheikh Iqbal Ahamed, Pao-Ann Hsiung, Carl K. Chang, William Chu, Ivica Crnkovic
Publisher	IEEE Computer Society
Pages	127-136
Number of pages	10
ISBN (Electronic)	9781467365635
DOIs	https://doi.org/10.1109/COMPSAC.2015.68
State	Published - 21 Sep 2015
Event	39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015 - Taichung, Taiwan, Province of China Duration: 1 Jul 2015 → 5 Jul 2015

Publication series

Name	Proceedings - International Computer Software and Applications Conference
Volume	2
ISSN (Print)	0730-3157

Conference

Conference	39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015
Country/Territory	Taiwan, Province of China
City	Taichung
Period	1/07/15 → 5/07/15

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 7 Affordable and Clean Energy

Keywords

Cyber-physical systems
Energy-aware buildings
Functional mock-up interface
Statistical model checking
SysML/MARTE

Access to Document

10.1109/COMPSAC.2015.68

Cite this

Cheng, B., Wang, X., Liu, J., & Du, D. (2015). Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. In G. Huang, J. Yang, S. I. Ahamed, P.-A. Hsiung, C. K. Chang, W. Chu, & I. Crnkovic (Eds.), Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015 (pp. 127-136). Article 7273610 (Proceedings - International Computer Software and Applications Conference; Vol. 2). IEEE Computer Society. https://doi.org/10.1109/COMPSAC.2015.68

Cheng, Bei ; Wang, Xiao ; Liu, Jufu et al. / Modana : An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015. editor / Gang Huang ; Jingwei Yang ; Sheikh Iqbal Ahamed ; Pao-Ann Hsiung ; Carl K. Chang ; William Chu ; Ivica Crnkovic. IEEE Computer Society, 2015. pp. 127-136 (Proceedings - International Computer Software and Applications Conference).

@inproceedings{195a1c71ebf648c2b68227a37d31b1d2,

title = "Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs",

abstract = "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.",

keywords = "Cyber-physical systems, Energy-aware buildings, Functional mock-up interface, Statistical model checking, SysML/MARTE",

author = "Bei Cheng and Xiao Wang and Jufu Liu and Dehui Du",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015 ; Conference date: 01-07-2015 Through 05-07-2015",

year = "2015",

month = sep,

day = "21",

doi = "10.1109/COMPSAC.2015.68",

language = "英语",

series = "Proceedings - International Computer Software and Applications Conference",

publisher = "IEEE Computer Society",

pages = "127--136",

editor = "Gang Huang and Jingwei Yang and Ahamed, \{Sheikh Iqbal\} and Pao-Ann Hsiung and Chang, \{Carl K.\} and William Chu and Ivica Crnkovic",

booktitle = "Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015",

address = "美国",

}

Cheng, B, Wang, X, Liu, J & Du, D 2015, Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. in G Huang, J Yang, SI Ahamed, P-A Hsiung, CK Chang, W Chu & I Crnkovic (eds), Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015., 7273610, Proceedings - International Computer Software and Applications Conference, vol. 2, IEEE Computer Society, pp. 127-136, 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, Taichung, Taiwan, Province of China, 1/07/15. https://doi.org/10.1109/COMPSAC.2015.68

Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. / Cheng, Bei; Wang, Xiao; Liu, Jufu et al.
Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015. ed. / Gang Huang; Jingwei Yang; Sheikh Iqbal Ahamed; Pao-Ann Hsiung; Carl K. Chang; William Chu; Ivica Crnkovic. IEEE Computer Society, 2015. p. 127-136 7273610 (Proceedings - International Computer Software and Applications Conference; Vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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

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 -

Cheng B, Wang X, Liu J, Du D. Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. In Huang G, Yang J, Ahamed SI, Hsiung PA, Chang CK, Chu W, Crnkovic I, editors, Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015. IEEE Computer Society. 2015. p. 127-136. 7273610. (Proceedings - International Computer Software and Applications Conference). doi: 10.1109/COMPSAC.2015.68

Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this