MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks

Dehui Du 1 Ping Huang 1 Kaiqiang Jiang 1 Frédéric Mallet 2 Mingrui Yang 1
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
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.
Type de document :
Communication dans un congrès
FACS 2016 - The 13th International Conference on Formal Aspects of Component Software, Oct 2016, Besançon, France
Liste complète des métadonnées


https://hal.inria.fr/hal-01394769
Contributeur : Frédéric Mallet <>
Soumis le : jeudi 8 décembre 2016 - 08:16:30
Dernière modification le : jeudi 20 juillet 2017 - 09:29:00
Document(s) archivé(s) le : jeudi 23 mars 2017 - 05:24:15

Fichier

main of Spring-0912.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01394769, version 1

Collections

Citation

Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang. MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks. FACS 2016 - The 13th International Conference on Formal Aspects of Component Software, Oct 2016, Besançon, France. <hal-01394769>

Partager

Métriques

Consultations de
la notice

279

Téléchargements du document

58