loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Soumoud Fkaier 1 ; 2 ; 3 ; Mohamed Khalgui 2 ; 3 and Georg Frey 1

Affiliations: 1 Chair of Automation and Energy Systems, Saarland University, Saarbruecken, Germany ; 2 INSAT LISI Lab, Carthage University, Tunis, Tunisia ; 3 Tunisia Polytechnic School, Carthage University, Tunis, Tunisia

Keyword(s): Methodology, Modeling, Model Transformation, Microgrid, UML, GR-TNCES, IEC 61499.

Abstract: As today’s reconfigurable distributed control systems become more and more complex, the modelling of its controlling applications becomes more difficult. The Unified Modelling Language (UML) is considered as a standard language for modelling software and systems. However, UML does not provide formal semantics that allow correctness verification. It also has no semantics to design probabilistic scenarios running under energy and memory constraints. Moreover, despite its numerous assets when used to model Distributed Control Systems (DCS), UML still do not allow the simulation of models in some DCS hardware platforms. To overcome these limitations, we propose in this paper a new UML profile called GR-UML (Generalized Reconfigurable-UML) to model the mentioned features. Then, we introduce a modeling methodology that allows to use GR-UML, formal verification, and models deployment according to the IEC 61499 DCS standard. The paper presents also the rules responsible for automatic transfo rmation of GR-UML to GR-TNCES (a Petri net formalism used for formal verification) and to function blocks (the elementary unit of the IEC 61499 standard). These transformations are implemented in a software tool. The contributions of the paper are proved using an example of microgrid control application example. (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.93.59.171

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:
Fkaier, S.; Khalgui, M. and Frey, G. (2021). Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499. In Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-508-1; ISSN 2184-4895, SciTePress, pages 221-230. DOI: 10.5220/0010422102210230

@conference{enase21,
author={Soumoud Fkaier. and Mohamed Khalgui. and Georg Frey.},
title={Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499},
booktitle={Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2021},
pages={221-230},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010422102210230},
isbn={978-989-758-508-1},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499
SN - 978-989-758-508-1
IS - 2184-4895
AU - Fkaier, S.
AU - Khalgui, M.
AU - Frey, G.
PY - 2021
SP - 221
EP - 230
DO - 10.5220/0010422102210230
PB - SciTePress