On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment
This paper presents an overview on different research activities that we did in the recent decade for developing reconfigurable discrete-event systems (RDESs) from initial high-level specification according to user requirements until final low-level deployment in target hardware components. A reconf...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2019-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8638514/ |
id |
doaj-7c513e9b86be4ecca9c9620a783fcdd2 |
---|---|
record_format |
Article |
spelling |
doaj-7c513e9b86be4ecca9c9620a783fcdd22021-03-29T22:19:48ZengIEEEIEEE Access2169-35362019-01-017182191823310.1109/ACCESS.2019.28917668638514On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final DeploymentMohamed Khalgui0https://orcid.org/0000-0001-6311-3588Olfa Mosbahi1Zhiwu Li2https://orcid.org/0000-0003-1547-5503School of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai, ChinaNational Institute of Applied Sciences and Technology, University of Carthage, Tunis, TunisiaInstitute of Systems Engineering, Macau University of Science and Technology, Taipa, MacauThis paper presents an overview on different research activities that we did in the recent decade for developing reconfigurable discrete-event systems (RDESs) from initial high-level specification according to user requirements until final low-level deployment in target hardware components. A reconfiguration is any run-time scenario that adapts the system's behavior to any evolution in the related environment by adding or removing services or also configuring their parameters, i.e., their frequency, execution time, or also their location in the considered hardware architecture. Since the development of distributed RDESs under functional and extra-functional constraints is required by experts, we propose a complete methodology that deals first with their initial design with a new general profile named R-UML extending unified modeling language (UML) or also with new specific technology-oriented profiles, the validation of the related models with a new language R-OCL extending object constraint language (OCL), before their transformation to formal formalisms, such as Petri nets, timed automata, or B method for simulation or also formal verification of different properties. The checked models are transformed into OS reconfigurable tasks in the operational level, before applying a co-design methodology under functional, real-time, memory, and energy constraints for minimizing redundancies in tasks and for optimizing the composition of software and hardware parts together. We describe technology-oriented solutions for the scheduling of distributed RDESs by parameterizing tasks and their exchanged messages between multi-speed networked processors. We finish with the real low-level deployment on target hardware devices before applying useful software and hardware tests for checking the delivered system quality. These contributions, published in different journal and conference papers, are applied to different applications in medicine, wireless sensor networks, transportation systems, manufacturing industry, smart grids and microgrids, embedded technologies, and so on. We find significant gains in terms of the system reactivity and flexibility under related constraints.https://ieeexplore.ieee.org/document/8638514/Discrete-event systemmodeling and verificationdesign and validationimplementation and schedulingreal-time and energy aware schedulingtest and simulation |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Mohamed Khalgui Olfa Mosbahi Zhiwu Li |
spellingShingle |
Mohamed Khalgui Olfa Mosbahi Zhiwu Li On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment IEEE Access Discrete-event system modeling and verification design and validation implementation and scheduling real-time and energy aware scheduling test and simulation |
author_facet |
Mohamed Khalgui Olfa Mosbahi Zhiwu Li |
author_sort |
Mohamed Khalgui |
title |
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment |
title_short |
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment |
title_full |
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment |
title_fullStr |
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment |
title_full_unstemmed |
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment |
title_sort |
on reconfiguration theory of discrete-event systems: from initial specification until final deployment |
publisher |
IEEE |
series |
IEEE Access |
issn |
2169-3536 |
publishDate |
2019-01-01 |
description |
This paper presents an overview on different research activities that we did in the recent decade for developing reconfigurable discrete-event systems (RDESs) from initial high-level specification according to user requirements until final low-level deployment in target hardware components. A reconfiguration is any run-time scenario that adapts the system's behavior to any evolution in the related environment by adding or removing services or also configuring their parameters, i.e., their frequency, execution time, or also their location in the considered hardware architecture. Since the development of distributed RDESs under functional and extra-functional constraints is required by experts, we propose a complete methodology that deals first with their initial design with a new general profile named R-UML extending unified modeling language (UML) or also with new specific technology-oriented profiles, the validation of the related models with a new language R-OCL extending object constraint language (OCL), before their transformation to formal formalisms, such as Petri nets, timed automata, or B method for simulation or also formal verification of different properties. The checked models are transformed into OS reconfigurable tasks in the operational level, before applying a co-design methodology under functional, real-time, memory, and energy constraints for minimizing redundancies in tasks and for optimizing the composition of software and hardware parts together. We describe technology-oriented solutions for the scheduling of distributed RDESs by parameterizing tasks and their exchanged messages between multi-speed networked processors. We finish with the real low-level deployment on target hardware devices before applying useful software and hardware tests for checking the delivered system quality. These contributions, published in different journal and conference papers, are applied to different applications in medicine, wireless sensor networks, transportation systems, manufacturing industry, smart grids and microgrids, embedded technologies, and so on. We find significant gains in terms of the system reactivity and flexibility under related constraints. |
topic |
Discrete-event system modeling and verification design and validation implementation and scheduling real-time and energy aware scheduling test and simulation |
url |
https://ieeexplore.ieee.org/document/8638514/ |
work_keys_str_mv |
AT mohamedkhalgui onreconfigurationtheoryofdiscreteeventsystemsfrominitialspecificationuntilfinaldeployment AT olfamosbahi onreconfigurationtheoryofdiscreteeventsystemsfrominitialspecificationuntilfinaldeployment AT zhiwuli onreconfigurationtheoryofdiscreteeventsystemsfrominitialspecificationuntilfinaldeployment |
_version_ |
1724191859735003136 |