Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking

Autor: Mohamed Khalgui, Georg Frey, Valeriy Vyatkin, Zhiwu Li, Safa Guellouz, Adel Benzina

IEC 61499 provides a standardized approach for the development of distributed control systems. The standard introduces a component architecture, based on function blocks that are event-triggered components processing data and signals. However, it giv

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e51e01ab12541711dbb234dfb720e0a

ECG biometrie template protection based on secure sketch scheme

Autor: Emna Kalai Zaghouani, Rabah Attia, Adel Benzina

Publikováno v: SoftCOM

ElectroCardioGram ECG biometrics has recently been identified as a promising technique to identify subjects. Meanwhile, as ECG related data can reveal other factors like medical disease, the protection of the ECG biometric template is mandatory. The

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::06251cc58928bf9c98213575a4c93d4f
https://doi.org/10.23919/softcom.2017.8115526

Formal methodology for modeling, verifying and optimizing reconfigurable NoC modes

Autor: Hela Ben Salah, Adel Benzina, Mohamed Khalgui

Publikováno v: 2017 International Conference on Advanced Systems and Electric Technologies (IC_ASET).

The paper proposes a formal verification process for reconfigurable Network-on-chip in MPSoC. The reconfiguration of the MPSoC can lead to the addition of messages that can create an overload on the NoC and violate the deadline of messages that have

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::62fa277f978773571e1880a6bd9af60f
https://doi.org/10.1109/aset.2017.7983734

Real-Time Scheduling of Reconfigurable Battery-Powered Multi-Core Platforms

Autor: Adel Benzina, Mohamed Khalgui, Daniel Chillet, Aymen Gammoudi

Publikováno v: 28th International Conference on Tools with Artificial Intelligence
28th International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, United States
ICTAI

International audience; This paper deals with the real-time scheduling in a reconfigurable multi-core platform powered by a rechargeable battery. A reconfiguration scenario is defined as an operation that allows the addition-removal-modification of t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d648404e7b4ded881f848294af45e5c2
https://hal.inria.fr/hal-01401712

New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems

Autor: Aymen Gammoudi, Daniel Chillet, Mohamed Khalgui, Adel Benzina

Publikováno v: International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 15
International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 15, University of Naples "Federico II", ITALY, Sep 2015, Naples, Italy. ⟨10.1007/978-3-319-22689-7_6⟩
Communications in Computer and Information Science ISBN: 9783319226880
SoMeT

International audience; This paper addresses the management of tasks execution for real-time reconfigurable systems powered by battery. In this context, one of major problem concerns the management of battery life between two different recharges. For

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fb000dd1c5e2e5b4e318728ba349b06
https://inria.hal.science/hal-01241877