OASIS OASIS Active Objects, Semantics, Internet, and Security Team: 30 persons Research Themes: Grid Computing Objects and Components Practice and Theory.

Slides:



Advertisements
Similar presentations
Adoption. Premise We have a sufficient corpus of specifications and profiles to realize (implement) identified use cases in computing and data. Customer.
Advertisements

1 (OASIS) INRIAs Interests in Grids: programming Grids OASIS (Objets Actifs, Semantique et Securite) team Others INRIA teams (high perf. Networking, P2P.
European Research Network on Foundations, Software Infrastructures and Applications for large scale distributed, GRID and Peer-to-Peer Technologies Grid.
1 From Grids to Service-Oriented Knowledge Utilities research challenges Thierry Priol.
CoreGRID European Research Network on Foundations, Software Infrastructures and Applications for large scale distributed, GRID and Peer-to-Peer Technologies.
European Commission Directorate-General Information Society Unit F2 – Grid Technologies INSERT PROJECT ACRONYM HERE BY EDITING THE MASTER SLIDE (VIEW /
Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,
Christian Delbe1 Christian Delbé OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis November Automatic Fault Tolerance in ProActive.
European Commission Directorate-General Information Society Unit F2 – Grid Technologies INSERT PROJECT ACRONYM HERE BY EDITING THE MASTER SLIDE (VIEW.
Topics in Grid Computing Orientation Sathish Vadhiyar.
Denis Caromel1 Joint work with Ludovic Henrio – Eric Madelaine et. OASIS members OASIS Team INRIA -- CNRS - I3S – Univ. of Nice Sophia-Antipolis, IUF.
Denis Caromel 1 Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis, IUF September 4.
Session 2: task 3.2 GCM, Kracow, June l Current status of GCM Denis Caromel (10 mn each talk) l Wrapping CCA Components as GCM Components Maciej.
WP3 plenary meeting London, Jan 17-18, 2006 Roadmap of the Virtual Institute Marco Danelutto Workpackage leader University of Pisa - Italy.
Denis Caromel1 Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis, IUF 3 rd ProActive User Group, Nov Model.
CSC Grid Activities Arto Teräs HIP Research Seminar February 18th 2005.
Globus Ian Foster and Carl Kesselman Argonne National Laboratory and University of Southern California
The Open Grid Service Architecture (OGSA) Standard for Grid Computing Prepared by: Haoliang Robin Yu.
Tunis, Tunisia, June 2012 Cloud Research Activities Pr. Mohamed JEMNI Computing Center Al Khawarizmi (CCK) Research Laboratory LaTICE
 Separating system’s concerns from programmer’s concerns  Language constructs for programming distributed systems  Transparency to various system dependent.
Optimisation of behaviour of component-based distributed systems INRIA - I3S - CNRS – University of Nice Sophia-Antipolis EPC SCALE Galyna Zholtkevych.
Computer Science Perspective Ludek Matyska Faculty of Informatics, Masaryk University, Brno and also CESNET, Prague.
Denis Caromel1 Institut universitaire de France (IUF) OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis REUNA, Santiago, May 2004 GRID.
1 Secure Distributed Objects for Grid Applications Laurent Baduel, Arnaud Contes, Denis Caromel OASIS team ProActive
Cloud Computing 1. Outline  Introduction  Evolution  Cloud architecture  Map reduce operation  Platform 2.
DISTRIBUTED COMPUTING
McGraw-Hill/Irwin © The McGraw-Hill Companies, All Rights Reserved BUSINESS PLUG-IN B17 Organizational Architecture Trends.
The Grid Component Model: an Overview “Proposal for a Grid Component Model” DPM02 “Basic Features of the Grid Component Model (assessed)” -- DPM04 CoreGrid.
Introduction to DISTRIBUTED COMPUTING Tran, Van Hoai Department of Systems & Networking Faculty of Computer Science & Engineering HCMC University of Technology.
EGEE-III INFSO-RI Enabling Grids for E-sciencE EGEE and gLite are registered trademarks Steven Newhouse EGEE’s plans for transition.
McGraw-Hill/Irwin Copyright © 2013 by The McGraw-Hill Companies, Inc. All rights reserved. Business Plug-In B17 Organizational Architecture Trends.
Denis Caromel1 Troisieme partie Cours EJC 2003, AUSSOIS, Denis Caromel OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis.
Resource Brokering in the PROGRESS Project Juliusz Pukacki Grid Resource Management Workshop, October 2003.
Introduction The network is the computer By Waseem Anwar Chaudhri.
Distributed Computing Systems CSCI 4780/6780. Distributed System A distributed system is: A collection of independent computers that appears to its users.
Chapter 5 McGraw-Hill/Irwin Copyright © 2011 by The McGraw-Hill Companies, Inc. All rights reserved. Enterprise Architectures.
Scenarios for a Learning GRID Online Educa Nov 30 – Dec 2, 2005, Berlin, Germany Nicola Capuano, Agathe Merceron, PierLuigi Ritrovato
Distributed Computing Systems CSCI 4780/6780. Geographical Scalability Challenges Synchronous communication –Waiting for a reply does not scale well!!
Denis Caromel1 OASIS, Univ. of Nice Sophia-Antipolis, INRIA -- CNRS - I3S -- IUF October Web Services Resource Framework 2. Grid scalability.
Asynchronous Components with Futures: Semantics, Specification, and Proofs in a Theorem Prover Components (Distributed) Futures Formalisations (and proofs)
Grid Computing & Semantic Web. Grid Computing Proposed with the idea of electric power grid; Aims at integrating large-scale (global scale) computing.
Grid programming with components: an advanced COMPonent platform for an effective invisible grid © GridCOMP Grids Programming with components.
Authors: Ronnie Julio Cole David
1October 9, 2001 Sun in Scientific & Engineering Computing Grid Computing with Sun Wolfgang Gentzsch Director Grid Computing Cracow Grid Workshop, November.
1. 2 Objects to Distributed Components (1) Typed Group Java or Active Object ComponentIdentity Cpt = newActiveComponent (params); A a = Cpt ….getFcInterface.
Middleware Camp NMI (NSF Middleware Initiative) Program Director Alan Blatecky Advanced Networking Infrastructure and Research.
Distributed Computing Systems CSCI 6900/4900. Review Distributed system –A collection of independent computers that appears to its users as a single coherent.
A visualisation and debugging tool for multi-active objects Ludovic Henrio, Justine Rochas LAMHA, Nov 2015.
Distributed Computing Systems CSCI 4780/6780. Scalability ConceptExample Centralized servicesA single server for all users Centralized dataA single on-line.
An Overview of Scientific Workflows: Domains & Applications Laboratoire Lorrain de Recherche en Informatique et ses Applications Presented by Khaled Gaaloul.
1 OASIS Team, INRIA Sophia-Antipolis/I3S CNRS, Univ. Nice Christian Delbé Data Grid Explorer 15/09/03 Large Scale Emulation Mobility in ProActive.
RESECO - Montevideo - 22 nov 2007Reseco, Montevideo, 22 nov 2007 Eric Madelaine - OASIS Team1 Specifying and Generating Safe GCM Components INRIA – Sophia.
A Theory of Distributed Objects Toward a Foundation for Component Grid Platforms Ludovic HENRIO l A Theory of Distributed Objects l Components l Perspectives.
Eric MADELAINE -- GridComp -- OASIS 1 E. Madelaine (A. Cansado) GridComp project OASIS team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis GridComp.
ITEA S4ALL project, 20th June 2007 S4ALL: Services For ALL ITEA S4ALL Demonstration 4 and 5 Deploying any ITEA S4ALL Infrastructure Automatically Nicolas.
Distributed Computing Systems CSCI 6900/4900. Review Definition & characteristics of distributed systems Distributed system organization Design goals.
2. CALCULUS: A S P. A Theory of Distributed Objects D. Caromel, L. Henrio, Springer 2005, Monograph A Calculus: ASP: Asynchronous Sequential Processes.
CERN News on Grid and openlab François Fluckiger, Manager, CERN openlab for DataGrid Applications.
Update on CHEP from the Computing Speaker Committee G. Carlino (INFN Napoli) on behalf of the CSC ICB, October
Denis Caromel1 OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis -- IUF IPDPS 2003 Nice Sophia Antipolis, April Overview: 1. What.
DutchGrid KNMI KUN Delft Leiden VU ASTRON WCW Utrecht Telin Amsterdam Many organizations in the Netherlands are very active in Grid usage and development,
ASYNCHRONOUS AND DETERMINISTIC OBJECTS ASP: Asynchronous Sequential Processes l Distributed objects l Asynchronous method calls l Futures and Wait-by-necessity.
VKSF 423 System Administration III Service Deployment and the Virtualization of Services.
Grid programming with components: an advanced COMPonent platform for an effective invisible grid © GridCOMP Grids Programming with components.
Grid Institute Scientific Council, September 10, 2008
Bob Jones EGEE Technical Director
Clouds , Grids and Clusters
NEGST January 2006-(may 2007)-December 2008 Serge G. Petiton, CNRS/LIFL The objective of the NEGST project is to promote the collaborations of Japan and.
1st International Conference on Semantics, Knowledge and Grid
offers for junior researchers in its research teams
Presentation transcript:

OASIS OASIS Active Objects, Semantics, Internet, and Security Team: 30 persons Research Themes: Grid Computing Objects and Components Practice and Theory Denis Caromel

OASIS Current Collaboration Satoshi Matsuoka, Tokyo Inst. of Tech & NII/NAREGI Post Doc Researcher at TIT: Laurent Baduel

OASIS Active Objects, Semantics, Internet, and Security RESEARCH THEMES  Specifications, programming environments and verification  Formal study of models, and distributed object- oriented languages APPLICATIONS Design and Transformation of Programs and Components Secure Software for IT Distributed, Parallel, and Collaborative, for the Grid COLLABORATIONS IBM, HP, ORACLE, Sun Microsystems, BULL, ATOS, NOKIA, EADS, ANR, EU … OASIS GRID Computing SOFTWARE: Vercors

OASIS Load Balancing in Grid+Desktop P2P (1)

OASIS Load Balancing in Grid+Desktop P2P (2) Deals with Heterogeneity of: Machines, Applications, and Network

OASIS A Theory of Distributed Objects D. Caromel, L. Henrio, Springer 2005, Monograph A Calculus: ASP: Asynchronous Sequential Processes Based on Sigma-Calculus (Abadi-Cardelli) Formal Proofs of determinism Releases a few important constraints  OPTIMIZATIONS THEORY

OASIS PRACTICE : Peer-to-Peer for Computational Grids: Mixing Clusters and Desktop Machines Deploying a communicating application, Flow-Shop, on a large grid. Using the P2P infrastructure of the ObjectWeb ProActive middleware. Grid’5000: –National infrastructure –Widely spread clusters –Large number of CPUs –Close of what is the Grid

OASIS 628 CPUs 5 Sites + Desktop Grid Potential for collaborations with NEGST: GRID NAREGI Using GRID 5000:

OASIS EU New Project -- Just Started

OASIS Objectives: EU Standard Grid Component Model (GCM) for Programming the Grids with Components EU New Project -- Just Started Scientific Coordinator: D. Caromel INRIA Administrative Coordinator: B. Le Dantec, ERCIM Potential for collaborations with NEGST, especially in: 1) Instant Grid and virtualization of grid computing resources 3) Grid Interoperability and Applications

OASIS GridCOMP Partners

OASIS