JOURNAL ARTICLE
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems
Dehui DuPing HuangKaiqiang JiangFrédéric Mallet
Year: 2018 Journal: Science of Computer Programming Vol: 166 Pages: 71-88 Publisher: Elsevier BV
Keywords:
Computer science Extension (predicate logic) Cyber-physical system Software engineering Theoretical computer science Calculus (dental) Programming language Operating system
Metrics
22
Cited By
2.98
FWCI (Field Weighted Citation Impact)
83
Refs
0.89
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Embedded Systems Design Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Real-Time Systems Scheduling
Physical Sciences → Computer Science → Hardware and Architecture
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL
Ping HuangKaiqiang JiangChunlin GuanDehui Du
Year: 2018 Pages: 264-269
JOURNAL ARTICLE
Review of Cyber-Physical Systems Modeling With UML, SysML, and MARTE
Veronica OpranescuAnca Daniela Ioniţă
Journal: IEEE Access Year: 2025 Vol: 13 Pages: 47132-47145
BOOK-CHAPTER
Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems
Xiaohong ChenLing YinYijun YuZhi Jin
Lecture notes in computer science Year: 2017 Pages: 54-70