BOOK-CHAPTER
MARTE/CCSL for Modeling Cyber-Physical Systems
Keywords:
Computer science Cyber-physical system Unified Modeling Language Variety (cybernetics) Class (philosophy) Computation Physical system Cover (algebra) Software engineering Systems engineering Distributed computing Engineering Programming language Artificial intelligence
Metrics
18
Cited By
4.70
FWCI (Field Weighted Citation Impact)
29
Refs
0.95
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
Parallel Computing and Optimization Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Related Documents
JOURNAL ARTICLE
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems
Dehui DuPing HuangKaiqiang JiangFrédéric Mallet
Journal: Science of Computer Programming Year: 2018 Vol: 166 Pages: 71-88
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
JOURNAL ARTICLE
Combining SysML and Marte/CCSL to Model Complex Electronic Systems
Aamir KhanFrédéric MalletMuhammad Rashid
Year: 2016 Vol: 42 Pages: 12-17