@inproceedings{5391df23c7aa44aa826ab8b163ee5116,
title = "MARTE/pCCSL: Modeling and refining stochastic behaviors of CPSs with probabilistic logical clocks",
abstract = "Cyber-Physical Systems (CPSs) are networks of heterogeneous embedded systems immersed within a physical environment. Several ad-hoc frameworks and mathematical models have been studied to deal with challenging issues raised by CPSs. In this paper, we explore a more standard-based approach that relies on SysML/MARTE to capture different aspects of CPSs, including structure, behaviors, clock constraints, and non-functional properties. The novelty of our work lies in the use of logical clocks and MARTE/CCSL to drive and coordinate different models. Meanwhile, to capture stochastic behaviors of CPSs, we propose an extension of CCSL, called pCCSL, where logical clocks are adorned with stochastic properties. Possible variants are explored using Statistical Model Checking (SMC) via a transformation from the MARTE/pCCSL models into Stochastic Hybrid Automata. The whole process is illustrated through a case study of energy-aware building, in which the system is modeled by SysML/MARTE/pCCSL and different variants are explored through SMC to help expose the best alternative solutions.",
keywords = "Cyber-physical systems, Energy-aware building, MARTE, Statistical model checking, Stochastic hybrid automata, pCCSL",
author = "Dehui Du and Ping Huang and Kaiqiang Jiang and Fr{\'e}d{\'e}ric Mallet and Mingrui Yang",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 13th International Conference on Formal Aspects of Component Software, FACS 2016 ; Conference date: 19-10-2016 Through 21-10-2016",
year = "2017",
doi = "10.1007/978-3-319-57666-4\_8",
language = "英语",
isbn = "9783319576657",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "111--133",
editor = "Ramtin Khosravi and Olga Kouchnarenko",
booktitle = "Formal Aspects of Component Software - 13th International Conference, FACS 2016, Revised Selected Papers",
address = "德国",
}