Real-Time Reconfigurations of Embedded Control Systems

Gharbi, Atef; Gharsellaoui, Hamza; Khalgui, Mohamed

doi:10.4018/ijsda.2016070104

Cited by 4 publications

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work reported in [142] proposes an execution model based on semaphores and the priority ceiling protocol for handling safe dynamic reconfigurations of OS communicating tasks under real-time constraints. The work reported in [143] extended to [30] uses multiobjective optimization approach for improved programming of RDESs with POSIX or RT-Java threads under read-time constraints.…”

Section: A Optimization Of Reconfigurable Codes Under Real-time and mentioning

confidence: 99%

On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment

Khalgui

Mosbahi

2019

IEEE Access

Self Cite

View full text Add to dashboard Cite

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. INDEX TERMS Discrete-event system, modeling and verification, design and validation, implementation and scheduling, real-time and energy aware scheduling, test and simulation, co-design and deployment, application. I. INTRODUCTION Automatic flexibility becomes a required criterion for dynamic system adaptability to any possible evolution in related environment. A reconfigurable system is considered in this paper as a discrete-event system (RDES) that adapts its behavior to recover faults or also improve required performance at run-time. It is a set of wired/wireless networked devices that run independent/dependent control software tasks exchanging messages on the network [1], [2]. These tasks and consequently the related messages should be executed under functional, memory, real-time, and energy constraints described in user requirements [3]-[5]. A reconfi...

show abstract

Section: A Optimization Of Reconfigurable Codes Under Real-time and mentioning

confidence: 99%

On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment

Khalgui

Mosbahi

2019

IEEE Access

Self Cite

View full text Add to dashboard Cite

show abstract

“…Ingeneral,thebatterymodeldescribestherelationshipbetweenitsvoltage,currentandStateof Charge(SoC).WhenthebatteryvoltageishigherthantheLowBatteryVoltage(LBV),theswitch ison,andthepowercanbedeliveredbythebatterywhenitmustsupplypower.Inthisresearchwork, theleadacidbatterysecuringenergysourceforoperatingthemonitoringandcontroldevicesforthe stationduringtheabsenceofthesun.Figure5showstheequivalentcircuitforbattery (Gharbi,et al,2016).Theterminalvoltage V TB ( ) ofthebatteryisgivenbythefollowingequation:…”

Section: Battery Mathematical Modelmentioning

confidence: 99%

Transient Stability Enhancement for 20 MW PV Power Plant via Incremental Conductance Controller

Mohamed

Ebrahim

Bendary

et al. 2017

International Journal of System Dynamics Applications

View full text Add to dashboard Cite

The inherited uncertainties in the Photovoltaic array (PV) system make it one of the most difficult nonlinear problems in the control theory. In this research work, a practical case study for 20 MW Egyptian PV solar power plant with battery backup system connected to the medium voltage distribution network is presented. This power plant installed in Komombo, Aswan, Egypt. The battery is used to provide the necessary power for the station's monitoring and control devices during the absence of the sun. Also, the battery system improves the steady state and dynamic behavior of PV array system. Proportional-Integral (PI) and Fractional Order Proportional-Integral (FOPI) with Incremental Conductance MPPT algorithm (IC)are used for extracting maximum power from PV power plant. The optimal gains of PI and FOPI based MPPT controllers are attained using Grey Wolf Optimizer (GWO). Various types of disturbances are applied to the system to test the robustness of the systems based on the tuned controllers. The performance is promising.

show abstract

On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems

Hafidi

Kahloul

Khalgui

et al. 2020

IEEE Trans. Syst. Man Cybern, Syst.

View full text Add to dashboard Cite

Real-Time Reconfigurations of Embedded Control Systems

Cited by 4 publications

References 21 publications

On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment

On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment

Transient Stability Enhancement for 20 MW PV Power Plant via Incremental Conductance Controller

On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems

Contact Info

Product

Resources

About