Walid Karamti

College of computer Qassim University · Computer Science

This research proposes a new model for analyzing and correcting non-schedulable partitions in real-time multiprocessor systems, specifically in the context of fault tolerance in distributed networks. The need for such a model arises from current techniques for correcting non-schedulable partitions that must be revised and repartitioning all tasks a...

Standard inspections of buildings are not always possible because of human flaws in prediction. Hence, we need more stable, scalable, and efficient automated processes. Structure Health Monitoring (SHM) is one of the automation systems for forecasting potential losses in building structures. This article suggested how to monitor the strength status...

Anomaly detection in online social networks (OSNs) is an important data mining task that aims to detect unexpected and suspicious users. To enhance anomaly exploration, anomaly ranking is used to assess the degree of user anomaly rather than applying binary detection methods, which depend on identifying users as either anomalous users or normal use...

The prediction of heart failure survivors is a challenging task and helps medical professionals to make the right decisions about patients. Expertise and experience of medical professionals are required to care for heart failure patients. Machine Learning models can help with understanding symptoms of cardiac disease. However, manual feature engine...

Community detection is a crucial challenge in social network analysis. This task is important because it gives leads to study emerging phenomena. Indeed, it makes it possible to identify the different communities representing individuals with common interests and/or strong connections between them. In addition, it allows tracking the transformation...

For several years, real time systems (RTS) have been continuously growing and complex. The time needed for their development is consequently very important and their accuracy is crucial for human and economic disaster prevention. In this vein scheduling analysis and correction at the early stage of RTS application life cycle can effectively reduce...

Satisfying a real-time system (RTS) timing constraints is a serious deal for the prevention or the decreasing of the human and economic possible problems. In this vein, multiprocessor RTS scheduling is increasingly difficult, especially since it became more complex and dynamic. In this context, scheduling correction turns out to be very necessary f...

Satisfying a real-time system (RTS) timing constraints is a serious deal for the prevention or the decreasing of the human and economic possible problems. In this vein, multiprocessor RTS scheduling is increasingly difficult, especially since they became more complex and dynamic. In this context, scheduling correction turns out to be very necessary f...

The real-time system (RTS) design is a major challenge due to the complexity of the considered application and the appearance of multiprocessor architectures. Most of the research in this area is interested in high abstraction level methods to decrease the design convolution. In particular, the Unified Modeling Language (UML) profiles and the Model...

Real-time systems (RTS) are omnipresent in several domains. The trend is to use multiprocessor architecture to satisfy the timing constraints of such systems. The model-checking methods have proven to be useful for making the development process reliable at a high abstraction level. Based on this approach, the present paper proposes a new technique...

In a previous paper [14], we investigated the expressiveness of Time Petri Nets extended with dynamic Priorities and showed that it is able to analyze the schedulability of a partitioned real-time system over a multiprocessor architecture. The scheduling analysis is proven via the Least Laxity First (LLF) policy and a set of independent tasks. In t...

This paper proposes a model driven approach for the schedulability analysis at an early stage of the embedded system development life-cycle. The activity diagram of Unified Modeling Language (UML) annotated with the profile for the Modeling and Analysis of Real-Time and Embedded systems (MARTE) is mapped into Priority Time Petri Net (PTPN) to enhan...

An important key challenge in Embedded Real Time Systems (ERTS) analysis is to provide a seamless scheduling strategy. Formal methods for checking the temporal characteristics and timing constraints at a high abstraction level have proven to be useful for making the development process reliable. In this paper, we present a Petri Net modeling formal...

In order to examine whether the timing constraints of a Real-Time application are met, we propose an extension of Time Petri Nets model that takes into account the scheduling of a set of tasks distributed over a multiprocessor architecture. This paper is concerned with dynamic Priority-driven scheduling, whose policy is known to be supported by a n...

MDE can be used to model and analyze ERTS. However, scheduling problems are not totally covered using this approach. Traditionally, the design of these systems is limited to the characterization of the architecture and the application. Since MDE neglects task scheduling, designers are obliged to use simulation methods. This paper presents a schedul...