Retour au site du LAAS-CNRS

Laboratoire d’analyse et d’architecture des systèmes

Publications personnelle

Choisir la langue : FR | EN

77documents trouvés

17033
01/02/2017

A Bigraphical multi-scale modeling methodology for system of systems

A.GASSARA, I.BOUASSIDA, M.JMAIEL, K.DRIRA

ReDCAD Laboratory, SARA

Revue Scientifique : Computers and Electrical Engineering, Vol.58, pp.113-125, Février 2017 , N° 17033

Lien : https://hal.laas.fr/hal-01471315

Diffusable

Plus d'informations

Abstract

In this paper, we present a multi-scale modeling methodology for software System of Systems (SoS) using the formal technique of Bigraphical Reactive System. This methodology provides a correct by design approach ensuring the correctness of the SoS architectures. A first scale is defined by the designer. Then, it is refined by successively adding lower scale details. The transition between scales is implemented following a rule-oriented refinement process. The executed rules respect the system constraints ensuring, in this way, the correctness of the obtained scale architectures. Moreover, we address the dynamic aspect of SoS by providing model-based rules of reconfiguration actions. We illustrate our approach with a Smart Buildings case study.

139253
16561
01/12/2016

Editorial : Adaptive and reconfigurable software systems and architectures

S.KALLEL, I.BOUASSIDA, K.DRIRA

ReDCAD Laboratory, SARA

Rédacteur invité : Journal of Systems and Software, Décembre 2016, Vol.122, pp.342-343 , N° 16561

Lien : https://hal.laas.fr/hal-01476340

Diffusable

Plus d'informations

Abstract

Adaptation is a key requirement for many software systems, such as cloud-based, cyber-physical and mobile systems. These systems are designed to satisfy different needs and expectations of users, in particular the need to take advantage of a service permanently. Such system should be able to adapt its structure and/or behaviour at runtime to cope with changes in their operating environment and user needs.

139320
16427
01/11/2016

Encoding bigraphical reactive systems into graph transformation systems

A.GASSARA, I.BOUASSIDA, M.JMAIEL, K.DRIRA

ReDCAD Laboratory, SARA

Revue Scientifique : Electronic Notes in Discrete Mathematics, Vol.55, pp.207-210, Novembre 2016, doi 10.1016/j.endm.2016.10.051 , N° 16427

Lien : https://hal.archives-ouvertes.fr/hal-01399477

Diffusable

Plus d'informations

Abstract

In this paper, we present a solution for executing bigraphical reactive systems based on an investigation on graph transformation systems. For this, we encode a bigraph into a ranked graph. This encoding is ensured, formally, by defining a faithful functor that allows to move from bigraph category to ranked graph category. Then, we show that reaction rules can be simulated with graph rules.

139892
16427
06/06/2016

Encoding bigraphical reactive systems into graph transformation systems

A.GASSARA, I.BOUASSIDA, M.JMAIEL, K.DRIRA

ReDCAD Laboratory, SARA

Manifestation avec acte : Cologne-Twente Workshop on Graphs and Combinatorial Optimization ( CTW ) 2016 du 06 juin au 08 juin 2016, Gargnano (Italie), doi 10.1016/j.endm.2016.10.051, Juin 2016, pp.216-219 , N° 16427

Lien : https://hal.archives-ouvertes.fr/hal-01399477

Diffusable

Plus d'informations

Abstract

In this paper, we present a solution for executing bigraphical reactive systems based on an investigation on graph transformation systems. For this, we encode a bigraph into a ranked graph. This encoding is ensured, formally, by defining a faithful functor that allows to move from bigraph category to ranked graph category. Then, we show that reaction rules can be simulated with graph rules.

138335
15750
01/06/2015

A Formal method for modeling deployment architectures based on bigraphs

A.GASSARA, I.BOUASSIDA, M.JMAIEL, K.DRIRA

ReDCAD Laboratory, SARA

Revue Scientifique : ACM SIGAPP Applied Computing Review, Vol.15, N°2, pp.8-16, Juin 2015 , N° 15750

Diffusable

Plus d'informations

Abstract

Software deployment is executed according a deployment architecture which describes the allocation of software components to its hardware hosts. In this paper, we tackle the issue of constructing correct deployment architectures for large distributed systems. Actually, such architectures should satisfy various constraints related to the software components and the target environment such as the hierarchical description of components , their connections and the resource constraints. We present a formal method for constructing deployment architectures using a formal language called BRS (Bigraphical Reactive System). This method provides a correct by design approach based on multi-scale modeling ensuring the correctness of the obtained deployment architectures. Following our approach, the designer starts by modeling the first scale architecture which is refined automatically by successively adding smaller scale components until obtaining the last scale deployment architecture.

139762
13179
15/04/2015

Threshold-based context analysis approach for ubiquitous systems

N.KHABOU, I.BOUASSIDA

ReDCAD Laboratory, SARA

Revue Scientifique : Concurrency and Computation: Practice and Experience, Vol.27, N°6, pp.1378-1390, Avril 2015, DOI: 10.1002/cpe.3047 , N° 13179

Lien : http://hal.archives-ouvertes.fr/hal-00812341

Diffusable

Plus d'informations

Abstract

In ubiquitous computing systems, applications must be able to respond to dynamic context changes in order to provide suitable services to users. A promising solution consists of developing context aware applications which automatically change their behavior according to the user needs, the user preferences, the available resources and the surrounding environment. Furthermore, a context aware application is characterized by a closed feed back loop (MAPE) with four phases: Monitoring, Analysis, Planning and Execution. In this paper, we focus on the second phase of the MAPE loop. We elaborate a layered approach composed of a context capture layer, a context management layer and a context adaptation layer. Our approach enables systems to become pervasive in a transparent manner handling context monitoring and context analysis. We focus our work on the second layer (i.e context management). We propose first a context classification which takes into acount the context parameters evolution behavior. Then, we propose a context analysis approach for ubiquitous systems which aims at analyzing context information and detecting significant changes. The proposed approach uses a threshold based technique in order to detect context changes. When relevant context changes are detected, the context aware application will be notified to trigger its suitable process dynamically in order to deal with the changes.

134455
15163
13/04/2015

A multi-scale modeling approach for software architecture deployment

A.GASSARA, I.BOUASSIDA, M.JMAIEL

ReDCAD Laboratory, SARA

Manifestation avec acte : Annual ACM Symposium on Applied Computing ( ACM-SAC ) 2015 du 13 avril au 17 avril 2015, Salamanque (Espagne), Avril 2015, 7p. , N° 15163

Lien : https://hal.archives-ouvertes.fr/hal-01145339

Diffusable

Plus d'informations

Abstract

For large component-based applications, identifying a valid deployment architecture has emerged as a major challenge. Actually, this deployment architecture (i.e, allocation of software components to its hardware hosts) should satisfy various constraints related to the software components and the target environment such as the hierarchical description of components, their connections and the resource constraints. The numerous constraints make hard to construct manually the correct deployment architecture. In this work, we propose a formal method based on a formal language called BRS (Bigraphical Reactive System) in order to guarantee the correctness of the deployment architecture. Furthermore , in order to support its automatic construction, our proposed method follows a multi-scale modeling. In fact, the designer starts by modeling the first scale architecture which is refined automatically by successively adding smaller scale components until obtaining the deployment architecture at the last scale. This refinement is ensured by applying a set of rules. In this paper, we address communicating systems as a study domain.

134597
15194
01/02/2015

Self-adaptive communication for collaborative mobile entities in ERCMS

I.BOUASSIDA, J.LACOUTURE, K.DRIRA

SARA, IRIT

Revue Scientifique : International Journal of Autonomous and Adaptive Communications Systems, Vol.8, N°1, pp.1-22, Février 2015 , N° 15194

Lien : https://hal.archives-ouvertes.fr/hal-01145312

Diffusable

Plus d'informations

Abstract

Adaptation of communication is required for maintaining the connectivity and the quality of communication in group-wide collaborative activities. This becomes challenging to handle when considering mobile entities in a wireless environment, requiring responsiveness and availability of the communication system. We address these challenges in the context of the ROSACE project where mobile ground and flying robots have to collaborate with each other and with remote human and artificial actors to save and rescue in case of disasters such as forest fires. This paper aims to expose a communication component architecture allowing to manage a cooperative adaptation which is aware of the activity and resource context into pervasive environment. This allows to provide the appropriate adaptation of the activity in response to evolutions of the activity requirements and the changes in relation with the communication resource constraints. In this paper, we present a simulation of a ROSACE use case. The results show how ROSACE entities collaborate to maintain the connectivity and to enhance the quality of communications.

134751
14671
01/12/2014

Guest Editorial of the Special Issue on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures of the International Journal of Autonomous and Adaptive Communications Systems

I.BOUASSIDA, F.OQUENDO, S.KALLEL

SARA, Univ Bretagne Sud, ReDCAD Laboratory

Rédacteur invité : International Journal of Autonomous and Adaptive Communications Systems, Décembre 2014 , N° 14671

Lien : https://hal.archives-ouvertes.fr/hal-01114153

Non disponible

134112
14670
01/12/2014

Special Issue on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures

I.BOUASSIDA, S.KALLEL, F.OQUENDO

SARA, ReDCAD Laboratory, Univ Bretagne Sud

Ouvrage (éditeur) : International Journal of Autonomous and Adaptive Communications Systems, Décembre 2014 , N° 14670

Lien : https://hal.archives-ouvertes.fr/hal-01114149

Non disponible

134110
Les informations recueillies font l’objet d’un traitement informatique destiné à des statistiques d'utilisation du formulaire de recherche dans la base de données des publications scientifiques. Les destinataires des données sont : le service de documentation du LAAS.Conformément à la loi « informatique et libertés » du 6 janvier 1978 modifiée en 2004, vous bénéficiez d’un droit d’accès et de rectification aux informations qui vous concernent, que vous pouvez exercer en vous adressant à
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de dysfonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/