Loading [MathJax]/extensions/MathZoom.js
Leïla Kloul - IEEE Xplore Author Profile

Showing 1-11 of 11 results

Results

Due to advancements in sensing technologies, enhanced IoT architectures, and expanded connectivity options, predictive maintenance has emerged as a compelling solution within the context of Industry 4.0 for industrial systems. However, within this landscape, such as in Smart Buildings (SBs), the lack of failure data poses a significant challenge for implementing traditional data-based approaches d...Show More
The efficiency of the transport system depends on the planning and control strategies applied. The satisfaction of both the operator and the passenger in transport systems is challenging and determines the level of service of the system. In order to adapt to disruptions in the transport system which influence the traveled time by the buses, the stop skipping control strategy is adopted. The goal i...Show More
New technologies development has led to a rapid increase of computing and communication capabilities provided by Data Centers (DC). Thus, maximizing the performance and robustness to failures becomes a competitive factor among companies. In this paper, we investigate a combined study of reliability and performance of a DC network using Production Trees, a new modeling methodology for dealing with ...Show More
In this article, we analyze the availability and reliability of a data center's system using Production Trees, a new modeling methodology for dealing with availability issues of production systems. Several factors affect the data center availability, among them the power energy production and temperature variations within the data center room. This paper proposes an approach to analyze the differe...Show More
Safety Instrumented Systems (SIS) act as important safety barriers in industrial systems for preventing hazardous accidents. It is therefore significant to study the reliability issues of SIS. As a matter of fact, SIS have common behaviors such as periodic test policies to discover dangerous undetected failures. Modeling patterns capitalize the experience from modeling SIS. By reusing modeling pat...Show More
Safety analysis of railway CBTC systems aims at finding and validating failure scenarios. In this article we present a scenario-based FMEA method based on ScOLA, a scenario oriented modeling language dedicated to the analysis and formalization of complex systems. The specifications of such systems are usually spread in documents of thousands of pages written in a natural language. These documents ...Show More
Actual mobile operators are facing capacity issues of their networks and the growth of their energy consumption. This paper presents two strategies to control the assignment of mobile users in heterogeneous LTE networks. The objective of controlling is to improve the offered QoS while reducing the energy consumption of serving base stations. The control proposed in these strategies is local; both ...Show More
“Traditional” risk modeling formalisms (e.g. FMEA, Fault Trees, Markov Processes, etc.) are well mastered by safety analysts. Efficient algorithms and tools are available. However, models designed with these formalisms are far from the specifications of the systems under study. They are consequently hard to design and to maintain throughout the life cycle of systems. The high-level modeling langua...Show More
In this paper we propose a new approach for mobility prediction. It is based on the notion of mobile-user profile which corresponds to frequent similar movements of a user. Such a profile is defined, in the neighbourhood graph of a cellular network, as a set of similar sequences of crossed cells from one source cell to one destination cell. We propose an algorithmic approach to identify such profi...Show More
We show how UML2.0 together with PEPA nets can be used to model dynamic aspects of mobile applications. UML2.0 provides a new form of high-level description of interactions called interaction overview diagram. The combination of interaction overview diagrams and sequence diagrams is naturally translated into PEPA nets, a performance modelling language. In this way, the designers using UML can anal...Show More
We consider multiple class G-networks of processor sharing queues with negative customers which destroy all the customers in a queue. We prove that these networks have a product form solution for steady-state distribution. These networks may have some applications in reliability or performability as the negative customers may clearly model breakdown of computer or communication systems. We also sh...Show More