MARTE/CCSL for Modeling Cyber-Physical Systems - Archive ouverte HAL Access content directly
Book Sections Year : 2015

MARTE/CCSL for Modeling Cyber-Physical Systems

(1)
1

Abstract

Cyber Physical Systems (CPS) combine digital computational systems with surrounding physical processes. Computations are meant to control and monitor the physical environment, which in turn affects the computations. The intrinsic heterogeneity of CPS demands the integration of diverse models to cover the different aspects of systems. The UML proposes a great variety of models and is very commonly used in industry even though it does not prescribe a particular way of using those models together. The MARTE profile proposes a set of extensions to UML in a bid to allow for the modeling of real-time and embedded systems (RTES). Yet CPS are a wider class of systems than mere RTES. Hence a legitimate question arises as whether MARTE can be used for CPS as well. This paper illustrates some possible uses of MARTE to model CPS and uses logical clocks as a way to bring together the different models.
Not file

Dates and versions

hal-01258084 , version 1 (18-01-2016)

Identifiers

Cite

Frédéric Mallet. MARTE/CCSL for Modeling Cyber-Physical Systems. Formal Modeling and Verification of Cyber-Physical Systems, Springer Fachmedien Wiesbaden, pp.26-49, 2015, 978-3-658-09993-0. ⟨10.1007/978-3-658-09994-7_2⟩. ⟨hal-01258084⟩
220 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More