标题:MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocksl
作者:Du, DH[1];Huang, P[1];Jiang, KQ[1];Mallet, F[1,2,3];Yang, MR[1]
作者全称:Du, Dehui[1];Huang, Ping[1];Jiang, Kaiqiang[1];Mallet, Frederic[1,2,3];Yang, Mingrui[1]
通讯作者:Du, Dehui(dhdu@sei.ecnu.edu.cn)
通讯作者地址:Du, DH (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.
出版年:2017
卷:10231
页码:111-133
关键词:Cyber-physical systems; Energy-aware building; MARTE; pCCSL; Statistical model checking; Stochastic hybrid automata
摘要:Cyber-Physical Systems (CPSs) are networks of heterogeneous embedded systems immersed within a physical environment. Several ad-hoc frameworks and mat 更多
收录类别:SCOPUS;EI;CPCI-S
资源类型:外文期刊论文;外文会议论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
相关成果:
TOP