loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Nissaf Fredj 1 ; Yessine Hadj Kacem 1 ; Olfa Kanoun 2 and Mohamed Abid 1

Affiliations: 1 CES Laboratory, ENIS, University of Sfax, Tunisia ; 2 Chair of Measurement and Sensor Technology, Chemnitz University of Technology, Germany

Keyword(s): Open-ended CPS, MARTE, Component Ensemble, Closed-loop.

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 objecti ve 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.145.94.251

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ICSOFT; ISBN 978-989-758-523-4; ISSN 2184-2833, SciTePress, pages 158-166. DOI: 10.5220/0010546401580166

@conference{icsoft21,
author={Nissaf Fredj. and Yessine Hadj 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 - ICSOFT},
year={2021},
pages={158-166},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010546401580166},
isbn={978-989-758-523-4},
issn={2184-2833},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic