- Associate professor at the Computer Science Department, Biskra University. A full researcher at the LINFI Laboratory.... moreAssociate professor at the Computer Science Department, Biskra University. A full researcher at the LINFI Laboratory. Intersted to fondamental informatics, theoritcal computer science, formal methods, software engineering, modeling, verification, new technologies, ...edit
With the explosive growth of Web of Things (WoT) and social web, it is becoming hard for device owners and users to find suitable web Application Programming Interface (API) that meet their needs among a large amount of web APIs.... more
With the explosive growth of Web of Things (WoT) and social web, it is becoming hard for device owners and users to find suitable web Application Programming Interface (API) that meet their needs among a large amount of web APIs. Social-aware and collaborative filtering-based recommender systems are widely applied to recommend personalized web APIs to users and to face the problem of information overload. However, most of the current solutions suffer from the dilemma of accuracy- diversity where the prediction accuracy gains are typically accompanied by losses in the diversity of the recommended APIs due to the influence of popularity factor on the final score of APIs (e.g., high rated or high-invoked APIs). To address this problem, the purpose of this paper is developing an improved recommendation model called (Personalized Web API Recommendation) PWR, which enables to discover APIs and provide personalized suggestions for users without sacrificing the recommendation accuracy. To v...
Research Interests:
Research Interests:
In the era of ICT, our way of learning has known several improvements and changes. The objective of new educational systems is not delivering the learning materials through Internet or electronic devices, but they aim to use many technics... more
In the era of ICT, our way of learning has known several improvements and changes. The objective of new educational systems is not delivering the learning materials through Internet or electronic devices, but they aim to use many technics and methods to enhance our learning process. Recently, increasing attention is given to these aspects such as: learning styles, learner profile, adaptive learning and their impact on learning, and how the individual characteristics and features may be supported in learning systems. These investigations are motivated by pedagogical theories that claim if we provide courses that meet the individual characteristics of learners, then it makes learning easier for them and increases the progression of their learning. Personalized learning takes into account the abilities, preferences, backgrounds, intellectual capacities, needs of learners, and learning styles, that helps the educational system to provide the appropriate activities and learning content for a particular learner. In this paper, we propose an ontological approach for the representation of learner profile and learning styles to simply use them for a personalized E-learning and to allow greater flexibility and reusability. In addition, the ontological representation of learners’ profiles and learning styles gives a detailed description about them which allows the delivery of the pertinent content for each learner according to his preferences and characteristics.
Research Interests:
Research Interests:
There has been a rapid growth in the need to support mobile nodes in Wireless Sensor Networks (WSNs). This may lead to several uncertainties and stochastic events such as messages loss, collisions on medium and even loss of nodes.... more
There has been a rapid growth in the need to support mobile nodes in Wireless Sensor Networks (WSNs). This may lead to several uncertainties and stochastic events such as messages loss, collisions on medium and even loss of nodes. Therefore, it is essential to ensure the efficiency of mobility based wireless sensor protocols. A lot of protocols have been proposed to consider mobility in the MAC layer as well as in the network layer. We opt to study formally one of these protocols using Statistical Model Checking (SMC). The chosen protocol is CFMA (Collision Free Mobility Adaptive) MAC protocol, for WSNs. This protocol performs well in both static and mobile scenarios. In this paper, we make a formal study for its principal algorithms by modeling, first, its work-flow using probabilistic timed automata. This stochastic formalism leads to consider several random events with more realism. Furthermore, a performance analysis is performed by verifying the qualitative and quantitative pro...
The design and the evaluation of communication protocols in WSNs is a crucial issue. Generally, researchers use simulation methods to evaluate them. However, formal modelling and analysis techniques are an efficient alternative to... more
The design and the evaluation of communication protocols in WSNs is a crucial issue. Generally, researchers use simulation methods to evaluate them. However, formal modelling and analysis techniques are an efficient alternative to simulation methods. Indeed, these techniques allow performance evaluation and model verification. In this paper, a formal approach is proposed to modelling and to evaluating the Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) MAC protocol with a star topology. Moreover, the proposed approach deals with some properties that are not stated in most existing works. The approach uses Hierarchical Timed Coloured Petri Nets (HTCPNs) formalism to model the protocol and exploits the CPN-Tools to analyse the generated models. HTCPNs provide timed aspect which facilitates the consideration of time constraints inherent to the CSMA/CA protocol.
Research Interests:
In their basic form, Petri nets face several shortcomings in the design/analysis of reconfigurable discrete-event systems. Hence, researchers have enriched Petri nets with dynamic structure. Such formalisms allow explicitly modeling... more
In their basic form, Petri nets face several shortcomings in the design/analysis of reconfigurable discrete-event systems. Hence, researchers have enriched Petri nets with dynamic structure. Such formalisms allow explicitly modeling system features and its structure evolution in two separate levels. To reuse available tools in verifying dynamic-structure Petri nets, several formalisms flatten dynamic nets into basic Petri nets. To the best of our knowledge, this kind of approaches copes only with dynamic topology, i.e. sets of places and transitions cannot be changed. However, this restriction limits severely the modeling power of these formalisms. In this paper, we propose a new formalism, called dynamic generalized stochastic Petri nets (D-GSPNs), that allows modeling dynamic sets of places and transitions, as well as, keeping the possibility to transform D-GSPNs into semantic-equivalent GSPNs that preserve their stochastic behaviors. Hence, D-GSPNs preserve the property decidability of GSPNs, as well as, the panoply of available verification tools of GSPNs is still usable in D-GSPNs analysis. The feasibility of the proposed formalism is demonstrated on an illustrative example of a reconfigurable manufacturing system.
Research Interests:
Biskra University 07000 Biskra, Algeria Abstract—The Internet of things is the integration of information space and physical space, becoming more and more popular in several places. A number of approaches to IoT’s service composition have... more
Biskra University 07000 Biskra, Algeria Abstract—The Internet of things is the integration of information space and physical space, becoming more and more popular in several places. A number of approaches to IoT’s service composition have been proposed. In this paper, we will present a review of existing approaches for IoT’s service composition; it describes and compares them among each other with respect to some key requirements. This paper also presents some basic concepts to introduce IoT challenges with a comparison between traditional Web service composition and IoT service composition. This paper represents a support for researchers to focus on their efforts and to deliver lasting solutions in this field.
Reconfigurable manufacturing systems (RMSs) are a new manufacturing approach which allows these systems to have changeable physical structure during their behavior. This new class of responsive systems achieves new manufacturing... more
Reconfigurable manufacturing systems (RMSs) are a new manufacturing approach which allows these systems to have changeable physical structure during their behavior. This new class of responsive systems achieves new manufacturing requirements such as: multi-ability, scalability, improvement of product quality, and optimization of time and cost of production. The paper deals with problem of selecting the optimal sequence of reconfigurable machines. This problem is a multi-objective problem because it aims simultaneously to minimize both of the total time of production and the total cost. In the present paper, to get the optimal machines sequence we have adapted a well known multi-objective genetic algorithm called non-dominated sorting genetic algorithm (NSGA-II) which returns a set of the optimal solutions (i.e, Pareto front) based on the product characteristics and a set of reconfigurable machines data. In order to help the company to take the right decision about selecting the best solution among solutions of the Pareto front, a multi-objective decision making approach known as “technique for order of preference by similarity to ideal solution” (TOPSIS) is exploited in this article.
Research Interests:
Research Interests:
The creation of learning content is a main task in any E-learning environment. The constraints of minimizing the time required for developing a learning content and for increasing its scientific quality, have been a principal aim, in the... more
The creation of learning content is a main task in any E-learning environment. The constraints of minimizing the time required for developing a learning content and for increasing its scientific quality, have been a principal aim, in the last decade. Thus, several approaches and methods were proposed to reach this aim. Moreover, the intellectual and social characteristics, as well as the learning styles of individuals, can be very different. These differences lead persons to adapt the learning content by taking into account the learners profiles and their objectives. It is indispensable to annotate the learning content using additional information about the learner and the learning content. Therefore, we develop a cooperative system, where several authors work in a cooperative manner, to create and edit educational content using multi-agent system. The contribution of our system is the hybridization of adaptation techniques with those of cooperation and indexing (annotation) of the ...
Research Interests:
Research Interests:
The use of formal methods in the development of software aims to guarantee the software reliability. However, these formal methods stay limited at the specification and high level stages in the development cycle. The critical last step... more
The use of formal methods in the development of software aims to guarantee the software reliability. However, these formal methods stay limited at the specification and high level stages in the development cycle. The critical last step which translates the formal specification into source code stays manual and error prone. The formalisation and the automation of the translation from high level specification towards source code is an ambitious idea. In this paper, a general framework for an automated model transformation system is presented. The code-generator tool is intended for WSNs applications. It demonstrates that a correct source code of WSNs application can be synthesis from formal specification, automatically. The proposed framework accepts a formal specification of the WSNs system written in Timed Automata and generates the corresponding source code written in NesC language. The code-generator is based on a set of transformation rules. In this paper, we present the transfor...
The knowledge transmitting process from the author to learners does not require only the providing of a simple learning content, but also a set of information about the content (metadata) to ensure an accurate learning process. In... more
The knowledge transmitting process from the author to learners does not require only the providing of a simple learning content, but also a set of information about the content (metadata) to ensure an accurate learning process. In addition, the huge amount of educational material exists in a distance learning environment usually confuses learners and does not help to choose the pertinent content for each learner. In the field of E-Learning, the Semantic Web is considered as a promising technology to make the educational content easily accessible and interpretable by software agents. Moreover, it allows communication according to a semantic basis between human agents and machines. In this paper, we propose an ontological approach for the organization of courses around small pieces of semantically annotated learning objects. This annotation of learning content facilitates the organization and understanding of these contents by the machine, and accelerates the delivery of relevant docu...
Research Interests:
Reconfigurable Manufacturing Systems (RMS) allows the system to update itself in order to treat new requirements or to avoid accidental damages. This reconfiguration offers more efficiency and power to manufacturing systems. However... more
Reconfigurable Manufacturing Systems (RMS) allows the system to update itself in order to treat new requirements or to avoid accidental damages. This reconfiguration offers more efficiency and power to manufacturing systems. However reconfigurability brings new challenges to designer and developers of this kind of systems. Insuring the reliability of the system will be a hard task. The use of formal methods is a solution to prove correctness and so to satisfy the reliability question. In the present work, we are interested in the use of high level Petri nets (Reconfigurable Object Nets) to specify reconfigurations in reconfigurable Manufacturing Systems (RMS). This high level formal tool allows catching the dynamicity aspect inherent to RMS, to simulate their behaviour, and to verify their properties.
The Internet of Things as global information architecture emerges on the Internet by facilitating the exchange of services is gradually developing. At that time, the technology of Internet of Things is still under discussion.... more
The Internet of Things as global information architecture emerges on the Internet by facilitating the exchange of services is gradually developing. At that time, the technology of Internet of Things is still under discussion. Internet-of-Things envisions a future in which digital and physical entities can be linked, through information technology and appropriate communication. In this paper, we present a study of technologies, applications and research challenges for the Internet of Things. Keywords— Web, Internet of Things, web service research, security.
Research Interests:
Realizing a specific product at a very high rate and with short time is contemporary market demand. Reconfigurable manufacturing systems (RMSs) represent a modern manufacturing paradigm. RMSs are capable of modifying their behavior when... more
Realizing a specific product at a very high rate and with short time is contemporary market demand. Reconfigurable manufacturing systems (RMSs) represent a modern manufacturing paradigm. RMSs are capable of modifying their behavior when needed in hardware and software components. This paper tackles a multi-objective optimization problem which is the optimal process planning for maximizing throughput of RMS. To deal with this problem, we propose a multi-objective optimization model for achieving high throughput of RMS based on three objectives: minimum completion time of all operations of a product, minimum lateness time of reconfigurable machine tools (RMTs) availability, and minimum RMTs failure correctness time. We adapt a recent multi-objective genetic algorithm (i.e., NSGA-III) for getting a set of optimal process plans (i.e., Pareto set) based on the proposed customized genetic operators (mutation and crossover) and a labeled precedence graph (LPG). Then a multi-objective decis...
Currently, the context management solutions for the Internet of Things are the subject of numerous studies which are achieved through the expansion of the context manager for ambient environments. In literature, there are different... more
Currently, the context management solutions for the Internet of Things are the subject of numerous studies which are achieved through the expansion of the context manager for ambient environments. In literature, there are different approaches enabling the context management for internet of things (IoT). This paper studies these approaches, which are well known according to our defined criteria such as heterogeneity, mobility, the influence of the physical world, scalability, security, privacy, quality of context, autonomous deployment of entities, characterization multi scales, and interoperability.
In the era of ICT, our way of learning has known several improvements and changes. The objective of new educational systems is not delivering the learning materials through Internet or electronic devices, but they aim to use many technics... more
In the era of ICT, our way of learning has known several improvements and changes. The objective of new educational systems is not delivering the learning materials through Internet or electronic devices, but they aim to use many technics and methods to enhance our learning process. Recently, increasing attention is given to these aspects such as: learning styles, learner profile, adaptive learning and their impact on learning, and how the individual characteristics and features may be supported in learning systems. These investigations are motivated by pedagogical theories that claim if we provide courses that meet the individual characteristics of learners, then it makes learning easier for them and increases the progression of their learning. Personalized learning takes into account the abilities, preferences, backgrounds, intellectual capacities, needs of learners, and learning styles, that helps the educational system to provide the appropriate activities and learning content f...
in the 21 st century, Manufacturing Systems (MSs) will face serious challenges. To stay competitive, to survive in the current context and to fulfill the unpredictable and frequent market changes driven by global competition represent... more
in the 21 st century, Manufacturing Systems (MSs) will face serious challenges. To stay competitive, to survive in the current context and to fulfill the unpredictable and frequent market changes driven by global competition represent some of these challenges. This paper deals with the new concept of manufacturing systems which address these challenges known as Reconfigurable Manufacturing Systems (RMS). RMSs launched firstly in 1999 at University of Michigan, have been widely studied in many scientific publications with or without industrial applications. The objective of the current paper is to make an overview highlighting the core characteristics of RMSs, presenting a comparison between different manufacturing system paradigms and finally illustrating the use of genetic algorithms in RMSs optimization. Keywords—reconfigurable manufacturing system; reconfigurability; genetic algorithm; RMT; DMS; FMS
Nowadays, manufacturing companies integrate several advanced technologies such as Internet of things, cyber-physical systems, smart factories, etc. to adapt themselves, as soon as possible, to the volatile market demands as well as to... more
Nowadays, manufacturing companies integrate several advanced technologies such as Internet of things, cyber-physical systems, smart factories, etc. to adapt themselves, as soon as possible, to the volatile market demands as well as to increase their throughput and profit. At the design level, the use of classical formal approaches such as Petri nets (either low or high-level) becomes neither convenient nor useful in the modeling and verification of modern manufacturing systems due to their rigid structure that cannot handle the reconfigurability of such systems. In this paper, we introduce configuration-dependent stochastic reward nets formalism that allows designers to study the reconfiguration in smart factories. The proposed formalism transforms configuration-dependent stochastic reward nets into stochastic reward nets in order to use the existing tools proposed for stochastic reward nets.
Research Interests:
The evolution in software and hardware systems from classical systems with rigid structures to open, dynamic, and flexible structures has inspired the extension of Petri nets to reconfiguration. The idea of reconfiguring Petri nets was... more
The evolution in software and hardware systems from classical systems with rigid structures to open, dynamic, and flexible structures has inspired the extension of Petri nets to reconfiguration. The idea of reconfiguring Petri nets was launched in the early nineties and since then has been developed by several researchers at different levels of formalization. Researchers in this field have achieved a large amount of theoretical results and of practical applications. The aim of this paper is to present an overview of reconfigurable Petri nets dealing with several aspects including: the fundamental, theoretical basis, application domains, results at the verification/analysis level as well as practical tools. The paper finally discusses some future research directions.
Research Interests:
In this paper, we propose a novel, secure, and intelligent IoT approach based on agent, we have implemented in the health care domain, where we developed an intelligent patient monitoring system for monitoring the patients heart rate... more
In this paper, we propose a novel, secure, and intelligent IoT approach based on agent, we have implemented in the health care domain, where we developed an intelligent patient monitoring system for monitoring the patients heart rate automatically. Our system is more intelligent that can anticipate the critical condition before it even happens, send a message to the patient family, doctors, nurses, as well as hospital in-charge personal, and launch an alarm to be assisted by the nearest people in place. Also, our architecture ensures the authentication, authorization, and data sensing confidentiality. Hospitals and medical clinics can utilize our system to monitor their outpatients who are in danger of unpredictable health conditions. The approach presented in the paper can also be applied to other IoT domains.
Research Interests:
The Internet of things (IoT) is the integration of information space and physical space, becoming more and more popular in several places. In this paper, we will present QoS service composition approach based on multi-population genetic... more
The Internet of things (IoT) is the integration of information space and physical space, becoming more and more popular in several places. In this paper, we will present QoS service composition approach based on multi-population genetic algorithm based on Fog-IoT computing, IoT-cloud architecture problems led us to use the 5-layared architecture implemented on a Fog computing system especially the transport layer. Our work was focus on this transport layer where we divided it into four sub-layers (security, storage, pre-processing & monitoring), it allows us to have promising advantages. Secondly, we implemented a multi-population genetic algorithm (MPGA) based on a QoS model, we considered seven QoS dimensions, i.e. Cost, response time, reliability, reputation, location, security and availability. Experimental results show the excellent results of MPGA in terms of fitness value and execution time to handle our ambulance emergency study case.
This paper presents the formal modeling and performance analysis of one of Internet of Things (IoT) protocols. The Internet of Things is among the subjects best financed in the industry and studied in the academic world. The rapid... more
This paper presents the formal modeling and performance analysis of one of Internet of Things (IoT) protocols. The Internet of Things is among the subjects best financed in the industry and studied in the academic world. The rapid evolution of mobile Internet, the manufacture of mini hardware, microcomputer, and machine-to-machine (M2M) enabled IoT technologies to be at the top of media subjects. These technologies allow things or devices that are not computers to act intelligently and to make collaborative decisions that are beneficial for certain applications. Hence, the intelligent decision making, the self configuration and the ad hoc networking are from the main characteristics of IoT. Therefore, the implementation of protocols for IoT must comply the standards and satisfy the good properties. Using formal methods in the study of developed protocols ensure these conditions. In this paper, we use probabilistic timed automata for the formal modeling of Message Queue Telemetry Transport (MQTT) and we use further statistical model checking of UPPAAL SMC tool-set for the performance evaluation of the protocol.
The era of Information and Communication Technology (ICT) allows people to learn without any limits “anywhere and anytime”. Mobile learning is considered as new and interesting form of learning due to the high spread and development of... more
The era of Information and Communication Technology (ICT) allows people to learn without any limits “anywhere and anytime”. Mobile learning is considered as new and interesting form of learning due to the high spread and development of mobile technologies. In E-learning, the educational content is delivered through electronic technologies such as internet (mobility of learning content). Whereas, in M-learning, the mobility covers learning content, learners, and learning process. So, The M -learning is known as learning using mobile devices: smartphones, tablet computer∆ etc. However, the mobile learning systems have some challenges or difficulties in term of the design, development and the technology usability. In this paper we develop a mobile system that enhances the learning process of the students of computer science. Moreover, our system provides several adaptation strategies to meet the needs of heterogeneous learners. The results of the tested system (on a group of second year license students) show the improvement in learning achievement of students and the big influence of our Mobile learning system on the degree of understanding of the courses
Multi-agent systems (MASs) represent a suitable model for open, dynamic and flexible systems (as the case of Reconfigurable Wireless Sensor networks, Reconfigurable Manufacturing Systems, etc). Indeed, the nature of multi-agent systems... more
Multi-agent systems (MASs) represent a suitable model for open, dynamic and flexible systems (as the case of Reconfigurable Wireless Sensor networks, Reconfigurable Manufacturing Systems, etc). Indeed, the nature of multi-agent systems allows them to model systems where the number of components and their interconnection change over time. However, MAS models are often informal without mathematical background. On the other hand, Stochastic Petri Nets (SPNs) are among the popular formalism in modelling and verification of a various types of systems. Nevertheless, their rigid structure restricts their use in the analysis of reconfigurable systems. Despite the fact that many works introduce dynamic changes in PN, there exist few preliminary researchers that have tackled the reconfiguration in SPN. The aim of this work is to propose an extension to reconfigurable Petri net, called reconfigurable SPN (R-SPN) in order to provide a suitable tool for the formal modelling and verification of reconfigurable systems. The R-SPN consists of a SPN model, a set of reconfiguration rules and an algorithm used to transform R-SPN into an equivalent SPN, such that one can reuse and apply classical verification methods proposed for SPN on R-SPN. Thus, both structural and behavioural analysis can be carried out. A demonstration is given to illustrate the feasibility of the proposed extension on a reconfigurable manufacturing systems.
Research Interests:
Research Interests:
This article deals with improved formal verification of reconfigurable discrete-event systems (DESs) modeled by reconfigurable timed net condition event systems (R-TNCESs). An R-TNCES consists of a set of timed net condition event... more
This article deals with improved formal verification of reconfigurable discrete-event systems (DESs) modeled by reconfigurable timed net condition event systems (R-TNCESs). An R-TNCES consists of a set of timed net condition event systems, each of which represents a particular behavior of a DES, and a reconfiguration scenario is a switching mode from a timed net condition event system to another. However, the verification with the classical computation tree logic (CTL) as well as the related extensions increases the number of properties for complete verification of a complex R-TNCES. We propose reconfigurable CTL as a new extension of CTL to reduce such a number. New connectors of reconfigurable CTL are proposed, with their formal syntax and semantics, and a set of new algorithms is proposed to control the complexity of model checking. We use a benchmark production system for the performance evaluation of the proposed approach. Reduction in the number of properties to be checked is shown, and consequently, the related validation time is reduced. Note to Practitioners—This research represents a new orientation for guiding efficiently the model checking of reconfigurable discrete-event systems. A classification of properties described in computation tree logic (CTL), according to their dominance and equivalence relations, allows one to conduct an efficient verification by avoiding inefficient calculation due to redundant properties. In this case, giving a verification order for these properties allows one to shorten their verification time. An extension named reconfigurable CTL describes the new syntax of the proposed classification. This approach can be applied in modeling and verification of advanced reconfigurable systems arising from smart grids, adaptive sensor networks, intelligent transportation, reconfigurable manufacturing, and embedded systems.
Research Interests:
Research Interests:
In this paper, we propose a novel, secure, and intelligent IoT approach based on agent, we have implemented in the health care domain, where we developed an intelligent patient monitoring system for monitoring the patients heart rate... more
In this paper, we propose a novel, secure, and intelligent IoT approach based on agent, we have implemented in the health care domain, where we developed an intelligent patient monitoring system for monitoring the patients heart rate automatically. Our system is more intelligent that can anticipate the critical condition before it even happens, send a message to the patient family, doctors, nurses, as well as hospital in-charge personal, and launch an alarm to be assisted by the nearest people in place. Also, our architecture ensures the authentication, authorization, and data sensing confidentiality. Hospitals and medical clinics can utilize our system to monitor their outpatients who are in danger of unpredictable health conditions. The approach presented in the paper can also be applied to other IoT domains.
Research Interests: Computer Science, Artificial Intelligence, Structural Health Monitoring, Health, Artifial Intellegence, and 15 more(Multi-) Agent Technology, Encryption, Cloud Computing, Intelligent Agents, Software Agents, Multi Agent Systems, IEEE, Monitoring, Data Encryption, IOT, ElGamal Encryption Scheme, Encryption Algorithms, Sensor Networks and IoT, IoT Security, and IoT Authentication
Research Interests:
Research Interests:
Abstract Reconfigurable manufacturing system (i.e., RMS) is a recent class of manufacturing systems which is featured by six basic characteristics (i.e., modularity, integrability, customization, convertibility, scalability, and... more
Abstract Reconfigurable manufacturing system (i.e., RMS) is a recent class of manufacturing systems which is featured by six basic characteristics (i.e., modularity, integrability, customization, convertibility, scalability, and diagnosability). These characteristics allow RMS to be responsive and cost-effective. However, their complex structure and the complex design of modern products make the creation of a supply-chain process plan as an important task to get the final product. This paper deals with a bi-objective minimization problem which is getting the optimal supply-chain process plan (i.e., SCPP) for RMSs. To solve this problem, we propose a new bi-objective optimization model which is based on two objectives (i.e., minimum cost and minimum time) and seven steps (i.e., customer and company specifications, harness the raw materials, production environment preparation, production planning, testing the final product, packaging and distribution, and delivery to customer). A responsive and effective SCPP is provided according to the company preferences and the adaptation of two multi-objective optimization techniques, which are the non-dominated sorting genetic algorithm (i.e., NSGA-II) and technique for order of preference by similarity to ideal solution (i.e., TOPSIS).
Research Interests:
In this paper, a new hybrid, flexible, scalable and fine-grained model, fine-grained role-attribute access control (FRABAC) is proposed. FRABAC combines the benefits of the two most popular basic models: role-based access control (RBAC)... more
In this paper, a new hybrid, flexible, scalable and fine-grained model, fine-grained role-attribute access control (FRABAC) is proposed. FRABAC combines the benefits of the two most popular basic models: role-based access control (RBAC) and attribute-based access control (ABAC). The new proposed model overcomes the shortcomings of both models RBAC and ABAC known as combinatorial explosion in rules and roles when the security policy becomes complicated. Besides avoiding the combinatorial explosion, the new proposed model provides a role permission agreement (APA) to handle inter organisational access decision in collaborative cloud services cases. The proposed model is applied to define the security policies in realistic case studies and results are compared to previous existing models. On the other hand, the consistency and the correctness of the built policies are analysed through a formal modelling/analysis approach. This formal approach uses hierarchical coloured Petri nets (HCPNs) to model the policy and the CPN-tools to analyse the generated models.
Research Interests:
Research Interests:
Abstract Nowadays, a wide range of systems are becoming structurally dynamic, variably interconnected, and highly complex. The use of classical formal approaches, such as Petri nets, in the design of such systems becomes neither... more
Abstract Nowadays, a wide range of systems are becoming structurally dynamic, variably interconnected, and highly complex. The use of classical formal approaches, such as Petri nets, in the design of such systems becomes neither convenient nor sufficient. Indeed, they cannot handle, in a natural way, the dynamic structure and the growing complexity of modern systems. Introducing reconfigurability in Petri nets, as well as generalized stochastic Petri nets increases the modeling power, but decreases the applicability of analysis techniques. In fact, several properties become undecidable In this paper, we extend generalized stochastic Petri nets to a reconfigurable formalism, while maintaining verifiability with reduced complexity. The proposed approach identifies a set of properties that are preserved after reconfiguration. These properties are decidable with reduced time and space complexity. The use of the proposed formalism is illustrated through a running example.
Research Interests:
Research Interests:
Research Interests:
The internet of things (IoT) is the integration of information space and physical space, becoming more and more popular in several places. In order to answer the complicated user request, most IoT devices do not work alone, a multiple... more
The internet of things (IoT) is the integration of information space and physical space, becoming more and more popular in several places. In order to answer the complicated user request, most IoT devices do not work alone, a multiple service composition must be made, and it is defined as the services composition. A number of approaches to IoT's service composition have been proposed in the literature. We have noticed a lack of studies that review the different works of the service composition in IoT. Thereby, in this paper, we present a review of existing approaches for service composition in IoT. It describes and compares them among each other with respect to some criteria, which we have defined based on the different challenges of service composition in IoT. Finally, we conclude by discussing open research issues and avenues for further work.
Research Interests:
Abstract The integration of the Internet of Things (IoT) paradigm into web services and cloud computing allows us to handle thousands of sensors and their data. In this regard, sensing as a service model has recently emerged and the data... more
Abstract The integration of the Internet of Things (IoT) paradigm into web services and cloud computing allows us to handle thousands of sensors and their data. In this regard, sensing as a service model has recently emerged and the data generated by these sensors can be reused by different users and applications within IoT middleware solutions. With the huge number of sensors available in the IoT environment, the crucial challenge is how to efficiently search and select the best sensors depending on the users’ requirements. This paper aims to exploit the power of a dynamic skyline operator in the field of multi-criteria decision making, to reduce the search space for the purpose of improving the efficiency of context-awareness and selecting the best sensors following the users’ request. The architecture adopted in this proposition is composed by several gateways distributed in the network and connected with a server, where each gateway must respond to user requests locally. Hereafter, the server will aggregate the results of all gateways and give the final answer. The experimentation shows the efficiency of our method in comparison to existing ones.
Research Interests:
The long use of a system in a manufacturing environment causes its degradation, thus the maintenance activity is required in this environment to keep and to improve the efficiency of the system. The new development in networking... more
The long use of a system in a manufacturing environment causes its degradation, thus the maintenance activity is required in this environment to keep and to improve the efficiency of the system. The new development in networking technologies enhances maintenance strategies and gives birth to remote maintenance (tele-maintenance, e-maintenance, m-maintenance). This maintenance makes information available anywhere/anytime and provides maintenance-personnel with the necessary information at the suitable time. This new type of maintenance reduces the maintenance costs and solves the problem of the unavailability of experts. Mobile agent as a rich design concept brings many facilities in the development of m-maintenance, however few works are elaborated in this stage. The objective of this work is both: 1) the proposition of a based mobile multi-agent architecture dedicated for m-maintenance in manufacturing systems; 2) the exploitation of high level petri nets in the specification, simulation and verification phases of the architecture development.
Research Interests:
This paper deals with the formal verification of reconfigurable discrete event control systems (RDECSs) using reconfigurable timed net condition/event systems (R-TNCESs) formalism. A reconfigurable system switches from a mode to another... more
This paper deals with the formal verification of reconfigurable discrete event control systems (RDECSs) using reconfigurable timed net condition/event systems (R-TNCESs) formalism. A reconfigurable system switches from a mode to another during its working process to adapt its behavior to the related environment. By including such a feature, RDECSs become complex and their verification is often expensive in terms of computation time and memory. In this paper, a new methodology for formal verification of RDECSs is proposed in order to ensure the correctness of these systems with a reduced cost (decreasing the verification time and memory occupation). The proposed contribution includes an improved modeling and verification of RDECSs. The modeling with R-TNCESs is enriched with all reconfiguration forms, and the verification involves an improvement method that avoids any redundancy and cancels unnecessary calculations. In addition, a visual tool called Rec-AG based on the proposed methodology is developed. The performance evaluation of this paper is achieved by measuring computation time and memory for several systems and different sizes of the problem. This paper’s contribution is applied to the benchmark production system FESTO.