Component Ensemble-based UML/MARTE Extensions for the Design of Dynamic Cyber-Physical Systems

Nissaf Fredj, Yessine Kacem, Olfa Kanoun, Mohamed Abid

2021

Abstract

Cyber-Physical Systems (CPS) are open-ended distributed systems which incorporate autonomous components that interact with clear responsibilities to fulfill a defined objective. They are subject to several issues related to the interaction between components and dynamic behavior of their status as well as real-time constraints. Their design requires effective modeling formalisms for functional verification and real-time analysis of CPS at early stages of development. Unified Modeling languages and especially the Modeling Analysis of Real-Time and Embedded systems (MARTE) profile fail to capture the dynamics of CPS. They focus on individual components and are unable to provide such QoS guarantees. Moreover, they again assume static component architectures, which effectively hinder their direct application in open-ended systems. In this respect, we proposed to extend MARTE profile with the concept of ensemble semantics for the design of a dynamic grouping of CPS components. The objective is to save resources consumption such as battery life and allow for scalable QoS guaranties. Moreover, the present approach proposes designs patterns for the specification of CPS closed-loop concerns which addresses the components composition, adaptation as well as the verification of system constraints.

Paper Citation

in Harvard Style

Fredj N., Kacem Y., Kanoun O. and Abid M. (2021). Component Ensemble-based UML/MARTE Extensions for the Design of Dynamic Cyber-Physical Systems. In Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-523-4, pages 158-166. DOI: 10.5220/0010546401580166

in Bibtex Style

@conference{icsoft21,
author={Nissaf Fredj and Yessine Kacem and Olfa Kanoun and Mohamed Abid},
title={Component Ensemble-based UML/MARTE Extensions for the Design of Dynamic Cyber-Physical Systems},
booktitle={Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2021},
pages={158-166},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010546401580166},
isbn={978-989-758-523-4},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Component Ensemble-based UML/MARTE Extensions for the Design of Dynamic Cyber-Physical Systems
SN - 978-989-758-523-4
AU - Fredj N.
AU - Kacem Y.
AU - Kanoun O.
AU - Abid M.
PY - 2021
SP - 158
EP - 166
DO - 10.5220/0010546401580166