Search

Your search keyword '"ARLES (INRIA Rocquencourt) ' showing total 8 results
Start Over Author "ARLES (INRIA Rocquencourt)
8 results on '"ARLES (INRIA Rocquencourt) '

1. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems

Author

ARLES (INRIA Rocquencourt) ; INRIA, Computer Science Department [Dortmund] ; Technische Universitaet Dortmund, Uppsala University ; Uppsala University, Computing Department [Lancaster] ; Lancaster University, Computing Science Laboratory - Oxford University ; University of Oxford, University of L'Aquila [Italy] (UNIVAQ) ; University of L'Aquila, Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI) ; CNR, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Issarny, Valérie, Steffen, Bernhard, Jonsson, Bengt, Blair, Gordon, Grace, Paul, Kwiatkowska, Marta, Calinescu, Radu, Inverardi, Paola, Tivoli, Massimo, Bertolino, Antonia, Sabetta, Antonino, ARLES (INRIA Rocquencourt) ; INRIA, Computer Science Department [Dortmund] ; Technische Universitaet Dortmund, Uppsala University ; Uppsala University, Computing Department [Lancaster] ; Lancaster University, Computing Science Laboratory - Oxford University ; University of Oxford, University of L'Aquila [Italy] (UNIVAQ) ; University of L'Aquila, Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI) ; CNR, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Issarny, Valérie, Steffen, Bernhard, Jonsson, Bengt, Blair, Gordon, Grace, Paul, Kwiatkowska, Marta, Calinescu, Radu, Inverardi, Paola, Tivoli, Massimo, Bertolino, Antonia, and Sabetta, Antonino

Abstract

International audience, The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today's distributed systems. It does so by adopting a revolutionary approach to the seamless networking of digital systems, that is, synthesizing on the fly the connectors via which networked systems communicate. CONNECT investigates formal foundations for connectors together with associated automated support for learning, reasoning about and adapting the interaction behavior of networked systems.

2. On-the-fly Interoperability through Automated Mediator Synthesis and Monitoring?

Author

Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI) ; CNR, Dipartimento di Informatica [Italy] (DI) ; Università degli Studi dell'Aquila, ARLES (INRIA Rocquencourt) ; INRIA, CONNECT, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Bertolino, Antonia, Inverardi, Paola, Issarny, Valérie, Sabetta, Antonino, Spalazzese, Romina, Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI) ; CNR, Dipartimento di Informatica [Italy] (DI) ; Università degli Studi dell'Aquila, ARLES (INRIA Rocquencourt) ; INRIA, CONNECT, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Bertolino, Antonia, Inverardi, Paola, Issarny, Valérie, Sabetta, Antonino, and Spalazzese, Romina

Abstract

International audience, Interoperability is a key and challenging requirement in today's and future systems, which are often characterized by an extreme level of heterogeneity. To build an interoperability solution between the networked systems populating the environment, both their functional and non-functional requirements have to be met. Because of the continuous evolution of such systems, mechanisms that are fixed a-priori are inadequate to achieve interoperability. In such challenging settings, on-the-fly approaches are best suited. This paper presents, as an interoperability solution, an approach that integrates an automated technique for the synthesis of mediator protocols with a monitoring mechanism. The former aims to provide interoperability taking care of functional characteristics of the networked systems, whereas the latter makes it possible to assess the non-functional characteristics of the connected system.

3. Experiment scenarios, prototypes and report - Iteration 2

Author

AMBIENTIC ; Ambientic, ARLES (INRIA Rocquencourt) ; INRIA, Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI) ; CNR, Computing Department [Lancaster] ; Lancaster University, Thales Research and Technology [Palaiseau] ; THALES, Computing Laboratory (OUCL) ; University of Oxford, Uppsala University ; Uppsala University, Dipartimento di Informatica [Italy] (DI) ; Università degli Studi dell'Aquila, Connect, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Andriescu, Emil, Bennaceur, Amel, Bertolino, Antonia, Grace, Paul, Huynh, Trân, Kwiatkowska, Marta, Jonsson, Bengt, Léger, Antoine, Pathak, Animesh, Raverdy, Pierre-Guillaume, Saadi, Rachid, Speicys-Cardoso, Roberto, Sykes, Daniel, Tivoli, Massimo, AMBIENTIC ; Ambientic, ARLES (INRIA Rocquencourt) ; INRIA, Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI) ; CNR, Computing Department [Lancaster] ; Lancaster University, Thales Research and Technology [Palaiseau] ; THALES, Computing Laboratory (OUCL) ; University of Oxford, Uppsala University ; Uppsala University, Dipartimento di Informatica [Italy] (DI) ; Università degli Studi dell'Aquila, Connect, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Andriescu, Emil, Bennaceur, Amel, Bertolino, Antonia, Grace, Paul, Huynh, Trân, Kwiatkowska, Marta, Jonsson, Bengt, Léger, Antoine, Pathak, Animesh, Raverdy, Pierre-Guillaume, Saadi, Rachid, Speicys-Cardoso, Roberto, Sykes, Daniel, and Tivoli, Massimo

Abstract

The task of WP6 is to evaluate the CONNECT technologies under realistic situations. To achieve this goal, WP6 concentrated its 3rd year effort on the development of a main scenario in the context of GMES, which requires the connection of highly heterogeneous and independently built systems provided by the industry partners. The resulting scenario allows the consortium to assess the validity of CONNECT claims and to investigate the exploitation of CONNECT technologies in the context of the integration of real systems. Another objective of this report is to provide a first assessment of CONNECT solutions against the project's objectives stated in the DoW. The proposed assessment spans: (i) the project's overall objective of enabling on-the-fly interoperability among heterogeneous networked systems as well as (ii) the project's specific objectives related to the foundations and associated enablers to be elaborated for learning and reasoning about the interaction behaviours of networked systems and for synthesizing mediators so as to make systems interoperate.

4. Revised CONNECT Architecture

Author

AMBIENTIC ; Ambientic, ARLES (INRIA Rocquencourt) ; INRIA, Computing Department [Lancaster] ; Lancaster University, Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI) ; CNR, School of Electronics Engineering and Computer Science [Beijing] (EECS) ; Peking University, University of Dortmund ; Universität Dortmund, Connect, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Andriescu, Emil, Bennaceur, Amel, S. Blair, Gordon, Calabro, Antonello, Speicys Cardoso, Roberto, Cavallaro, Luca, Georgantas, Nikolaos, Grace, Paul, Issarny, Valerie, Ma, Yun, Merten, Maik, Nostro, Nicola, Nundloll, Vatsala, Guillaume Raverdy, Pierre, Saadi, Rachid, Sykes, Daniel, AMBIENTIC ; Ambientic, ARLES (INRIA Rocquencourt) ; INRIA, Computing Department [Lancaster] ; Lancaster University, Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI) ; CNR, School of Electronics Engineering and Computer Science [Beijing] (EECS) ; Peking University, University of Dortmund ; Universität Dortmund, Connect, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Andriescu, Emil, Bennaceur, Amel, S. Blair, Gordon, Calabro, Antonello, Speicys Cardoso, Roberto, Cavallaro, Luca, Georgantas, Nikolaos, Grace, Paul, Issarny, Valerie, Ma, Yun, Merten, Maik, Nostro, Nicola, Nundloll, Vatsala, Guillaume Raverdy, Pierre, Saadi, Rachid, and Sykes, Daniel

Abstract

Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computing environments. This challenge is exasperated by the highly heterogeneous technologies employed by each of the interacting parties, i.e., in terms of hardware, operating system, middleware protocols, and application protocols. The key aim of the CONNECT project is to drop this heterogeneity barrier and achieve universal interoperability. Here we report on the revised CONNECT architecture, highlighting the integration of the work carried out to integrate the CONNECT enablers developed by the different partners; in particular, we present the progress of this work towards a finalised concrete architecture. In the third year this architecture has been enhanced to: i) produce concrete CONNECTors, ii) match networked systems based upon their goals and intent, and iii) use learning technologies to find the affordance of a system. We also report on the application of the CONNECT approach to streaming based systems, further considering exploitation of CONNECT in the mobile environment.

5. Dynamic connector synthesis: revised prototype implementation

Author

ARLES (INRIA Rocquencourt) ; INRIA, Dipartimento di Informatica [Italy] (DI) ; Università degli Studi dell'Aquila, Connect, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Bennaceur, Amel, Cavallaro, Luca, Inverardi, Paola, Issarny, Valerie, Spalazzese, Romina, Sykes, Daniel, Tivoli, Massimo, ARLES (INRIA Rocquencourt) ; INRIA, Dipartimento di Informatica [Italy] (DI) ; Università degli Studi dell'Aquila, Connect, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Bennaceur, Amel, Cavallaro, Luca, Inverardi, Paola, Issarny, Valerie, Spalazzese, Romina, Sykes, Daniel, and Tivoli, Massimo

Abstract

The CONNECT Integrated Project aims at enabling continuous composition of Networked Systems (NSs) to respond to the evolution of functionalities provided to and required from the networked environment. CONNECT aims at dropping the interoperability barrier by adopting a revolutionary approach to the seamless networking of digital systems, that is, synthesizing on-the-fly the connectors via which networked systems communicate. The resulting emergent connectors are effectively synthesized according to the behavioral semantics of application- down to middleware-layer protocols run by the interacting parties.

6. Consolidated dependability framework

Author

Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI) ; CNR, Istituto di Informatica e Telematica (IIT-CNR) ; Consiglio Nazionale delle Ricerche, Dipartimento di Informatica [Italy] (DI) ; Università degli Studi dell'Aquila, ARLES (INRIA Rocquencourt) ; INRIA, Computing Laboratory (OUCL) ; University of Oxford, Dipartimento di Matematica [Roma TRE] ; Università degli Studi Roma TRE, Connect, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Bertolino, Antonia, Calabro, Antonello, Chiaradonna, Silvano, Costa, Gabriele, Di Giandomenico, Felicita, Di Marco, Antinisca, Fusani, Mario, Issarny, Valerie, Itria, Massimiliano, Lonetti, Francesca, Kwiatkowska, Marta, Marchetti, Eda, Martinelli, Fabio, Masci, Paolo, Matteucci, Ilaria, Morisset, Charles, Nostro, Nicola, Qu, Hongyang, Saadi, Rachid, Vaccarelli, Anna, Wiegand, Luca, Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo" (ISTI) ; CNR, Istituto di Informatica e Telematica (IIT-CNR) ; Consiglio Nazionale delle Ricerche, Dipartimento di Informatica [Italy] (DI) ; Università degli Studi dell'Aquila, ARLES (INRIA Rocquencourt) ; INRIA, Computing Laboratory (OUCL) ; University of Oxford, Dipartimento di Matematica [Roma TRE] ; Università degli Studi Roma TRE, Connect, European Project : 231167, ICT, FP7-ICT-2007-3, CONNECT(2009), Bertolino, Antonia, Calabro, Antonello, Chiaradonna, Silvano, Costa, Gabriele, Di Giandomenico, Felicita, Di Marco, Antinisca, Fusani, Mario, Issarny, Valerie, Itria, Massimiliano, Lonetti, Francesca, Kwiatkowska, Marta, Marchetti, Eda, Martinelli, Fabio, Masci, Paolo, Matteucci, Ilaria, Morisset, Charles, Nostro, Nicola, Qu, Hongyang, Saadi, Rachid, Vaccarelli, Anna, and Wiegand, Luca

Abstract

The aim of CONNECT is to achieve universal interoperability between heterogeneous Networked Systems. For this, the non-functional properties required at each side of the connection going to be established, which we refer to by the one inclusive term "CONNECTability", must be fulfilled. In Deliverable D5.1 we conceived the conceptual models at the foundation of CONNECTability. In D5.2 we then presented a first version of the approaches and of their respective enablers that we developed for assuring CONNECTability both at synthesis time and at run-time. In this deliverables, we present the advancements and contributions achieved in the third year, which include: - a refinement of the CONNECT Property Meta-Model, with a preliminary implementation of a Model-to-Code translator; - an enhanced implementation of the Dependability&Performance analysis Enabler, supporting stochastic verification and state-based analysis, that is enriched with mechanisms for providing feedback to the Synthesis enabler based on monitor's run-time observations; - a fully running version of the Security Enabler, following the Security-by-Contract-with-Trust methodology, for the monitoring and enforcement of CONNECT related security policies; - a complete (XML) definition of the Trust Model Description Language, an editor and the corresponding implementation of supporting tools to be integrated into the Trust Management Enabler.

7. Model-driven engineering of middleware-based ubiquitous services

Author

SeaGroup ; University of L'Aquila, Dipartimento di Elettronica e Informazione ; Politecnico di Milano, ARLES (INRIA Rocquencourt) ; INRIA, European Project : 257178, ICT, FP7-ICT-2009-5, CHOREOS(2010), Autili, Marco, Caporuscio, Mauro, Issarny, Valérie, Berardinelli, Luca, SeaGroup ; University of L'Aquila, Dipartimento di Elettronica e Informazione ; Politecnico di Milano, ARLES (INRIA Rocquencourt) ; INRIA, European Project : 257178, ICT, FP7-ICT-2009-5, CHOREOS(2010), Autili, Marco, Caporuscio, Mauro, Issarny, Valérie, and Berardinelli, Luca

Abstract

International audience

8. A Theory of Mediating Connectors to achieve Interoperability

Author

Spalazzese, Romina, Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), Università degli studi de l'Aquila, Paola Inverardi, CONNECT, and INRIA Rocquencourt (ARLES)

Subjects
Emerging Mediators, Ubiquitous/Pervasive Computing, Patterns of Connectors, Automatic Synthesis of Software Connectors (Mediators), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Mediating Connectors, Protocol Interoperability, Middleware for Ubiquitous Computing, Formal Methods, Software Connectors, Mediators
Abstract

Systems populating the Ubiquitous Computing environment are characterized by an often extreme level of heterogeneity at different layers which prevents their seamless interoperability. In this environment, heterogeneous protocols would cooperate to reach some common goal even though they meet dynamically and do not have a priori knowledge of each other. Although numerous efforts have been done in the literature, the automated and run-time interoperability is still an open challenge for such environment. Therefore, this thesis focuses on overcoming the interoperability problem between heterogeneous protocols in the Ubiquitous Computing. In particular, we aim at providing a means to drop the interoperability barriers by automatically eliciting a way for the protocols to interact. The solution we propose is the automated synthesis of emerging mediating connectors (also called mediators or connectors). Specifically, we concentrate our efforts to: (i) devising AMAzING, a process to synthesize mediators, (ii) characterizing protocol mismatches and related mediator patterns, and (iii) designing MediatorS, a theory of mediating connectors. The theory, and the process, are put in practice by applying them to a real world application, and have been adopted by the European Research Project CONNECT.

Published
2011

Catalog

Books, media, physical & digital resources
See catalog results