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

Dehui Du 1 Ping Huang Kaiqiang Jiang 1 Frédéric Mallet 2
2 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
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-01898202
Contributor : Frédéric Mallet <>
Submitted on : Thursday, October 18, 2018 - 10:56:19 AM
Last modification on : Wednesday, November 7, 2018 - 1:17:28 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

211