Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-38121
Volltext verfügbar? / Dokumentlieferung
Titel: Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499
VerfasserIn: Fkaier, Soumoud
Khalgui, Mohamed
Frey, Georg
HerausgeberIn: Ali, Raian
Kaindl, Hermann
Maciaszek, Leszek
Sprache: Englisch
Titel: ENASE 2021 : proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering : online streaming, April 26-27, 2021
Seiten: 221-230
Verlag/Plattform: SCITEPRESS - Science and Technology Publications, Lda.
Erscheinungsjahr: 2021
Erscheinungsort: [Setúbal]
Konferenzort: Online
Freie Schlagwörter: Methodology
Modeling
Model Transformation
Microgrid
UML
GR-TNCES
IEC 61499
DDC-Sachgruppe: 600 Technik
Dokumenttyp: Konferenzbeitrag (in einem Konferenzband / InProceedings erschienener Beitrag)
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 transformation 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.
DOI der Erstveröffentlichung: 10.5220/0010422102210230
URL der Erstveröffentlichung: https://www.scitepress.org/Link.aspx?doi=10.5220/0010422102210230
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-381218
hdl:20.500.11880/34638
http://dx.doi.org/10.22028/D291-38121
ISBN: 978-989-758-508-1
Datum des Eintrags: 5-Dez-2022
Fakultät: NT - Naturwissenschaftlich- Technische Fakultät
Fachrichtung: NT - Systems Engineering
Professur: NT - Prof. Dr. Georg Frey
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Es gibt keine Dateien zu dieser Ressource.


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.