Skip to Main content Skip to Navigation
Journal articles

pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems

Dehui Du 1 Ping Huang 2 Kaiqiang Jiang 1 Frédéric Mallet 3
3 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Cyber-Physical Systems (CPSs) are networks of heterogeneous embedded systems immersed within a physical environment, thus combining discrete and continuous processes. As for any complex systems, the global system behavior is difficult to predict, in an analytical way, from the individual behaviors of its parts. A global analysis can only be done through a holistic process, via simulation for instance, requiring precise models of the parts and of their interactions. While the subsystems are usually expected to be fully deterministic, their interactions with the uncertain environment can be difficult to characterize precisely. We propose an approach to characterize the environment and its interactions through stochastic properties, while the discrete part remains fully determined. The novelty of our work is that we explore a more standard-based approach relying on SysML/MARTE. CCSL and logical clocks are used to identify synchronization points in the various heterogeneous UML diagrams. A CCSL specification expresses a set of possible behaviors. Refinement is performed by adding new constraints and thus reducing the set of possible behaviors. The classical MARTE/CCSL-based process explores the remaining solutions through simulation by applying a simulation policy. To help exploring the solution state-space, we propose a stochastic extension of CCSL, called pCCSL, to characterize the likelihood of different configurations to occur. Then, we use Statistical Model Checking to explore alternative solutions and drive the refinement process. We illustrate our proposition by modeling an energy-aware building, with different control strategies and occupant energy usage models. We explore the impact on the energy footprint of the different variants and control strategies.
Document type :
Journal articles
Complete list of metadatas
Contributor : Frédéric Mallet <>
Submitted on : Thursday, October 18, 2018 - 10:56:19 AM
Last modification on : Monday, October 12, 2020 - 10:30:41 AM




Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet. pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems. Science of Computer Programming, Elsevier, 2018, 166, pp.71 - 88. ⟨10.1016/j.scico.2018.05.005⟩. ⟨hal-01898202⟩



Record views