French & American Educational System. Collaboration between Rutgers & Paris 6. M.S. : Distributed Systems & Applications

Size: px

Start display at page:

Download "French & American Educational System. Collaboration between Rutgers & Paris 6. M.S. : Distributed Systems & Applications"

Clinton Clark
5 years ago
Views:

French & American Educational System French system American system Doctorat Ph.D Collaboration between Rutgers & Paris 6 22-23 Master Master s degree 21-22 Supervised by : Prof. Liviu Iftode - Univ.

renault@etu.upmc.fr) Jean-Baptiste Voron (jean-baptiste.voron@etu.upmc.fr) 19-20 18-19 General studies Licence Undergraduate Associate degree 17-18 Baccalauréat v 1.7b - 27/04/2006 1 Age 2 M.S.

1 French & American Educational System French system American system Doctorat Ph.D Collaboration between Rutgers & Paris Master Master s degree Supervised by : Prof. Liviu Iftode - Univ. of Rutgers - (iftode@cs.rutgers.edu) Prof. Fabrice Kordon - Univ. Pierre & Marie Curie (UPMC) (fabrice.kordon@lip6.fr) Bachelor s degree M.S. Students from UPMC : Xavier Renault (xavier.renault@etu.upmc.fr) Jean-Baptiste Voron (jean-baptiste.voron@etu.upmc.fr) General studies Licence Undergraduate Associate degree Baccalauréat v 1.7b - 27/04/ Age 2 M.S. : Distributed Systems & Applications University Pierre & Marie Curie Courses : Based in the Latin Quarter, in Paris! Operating System aspects :! Linux Kernel and Posix systems One of the largest university of science and medicine in France, and indeed in Europe! Embedded and Real Time " teaching academics / researchers ( staffs)! Middleware internals! Distributed aspects :! Algorithms : Proof & Complexity! Interoperability with middlewares! Modeling aspect! Modeling Theory, Verification, Performances...! Development transversal approach OS Distributed Modeling 3 " 180 laboratories " students (including in PhD)! About 15 campus all over France (10 around Paris)! 6 Centers of Excellence selected by the European Commission! Major strengths :! Mathematics (first university in the world - source : SourceWatch)! Computer science (top-3 in France)! Physics 4

Our laboratory : : Thematics Departments Administrative

D students + 30 engineers! Budget : 8 millions euros / year!

..! 36 softwares " Integrated Systems " Integrated Circuits!

Thematics Departments : Thematics Departments DESIR!

Operational Research " Multi-Agent Systems!

2 Our laboratory : : Thematics Departments Administrative aspect (some statistics...):! 150 academics Ph.D students + 30 engineers! Budget : 8 millions euros / year! 9 start-up : Ucopia, Avertec, Surf Technology...! 36 softwares " Integrated Systems " Integrated Circuits! Active participation in numerous European Projects 5 6 : Thematics Departments : Thematics Departments DESIR! Decision! Intelligent Systems! Operational Research " Multi-Agent Systems! Animats DESIR Data & Automatic Learning " Distributed Database " Symbolic learning! Textual & Multimedia informations research 7 8

3 : Thematics Departments : Thematics Departments DESIR Data & Automatic Learning Scientific Computing! Parallel calculus! Digital picture processing! Cryptography and large numbers DESIR Data & Automatic Learning Scientific Computing Networks & Distributed Systems 9 10 The Network & Distributed Systems department MoVe Team (Modeling and Verification) Overview " Problems : Interoperability, heterogeneous environment, adaptability, QoS Presentation! Scientific Head : Fabrice Kordon (fabrice.kordon@lip6.fr) " Goal : Development and design of future networks and systems! 21 faculty members " 4 Teams (head : Bertil Folliot):! MoVe (Modeling and verification) - F.Kordon! 17 Ph. D.! about 10 M.S. students/engineers/post-doc! Regal (Distributed algorithms and large scale applications) - P.Sens! Focus : Modeling & Analysis of Distributed Systems! NPA (Networks and Performance analysis) - S.Fdida! Phare (Networks infrastructures for mobility) - G.Pujolle! ~ 105 members : 41 teaching academics / researchers ~9 staff 3 Post Doc. 52 PhD 11! interoperable components! execution infrastructure (middleware)! Goal : Ensure reliability on software development using models! Context : MDD (Model Driven Development)! Applied to distributed systems and applications 12

MoVe : Projects & Cooperations MoVe : Research axes Internal Projects! ModFact! Spot! MetaScribe! CPN-AMI! PolyORB! ITS! Industrial cooperations!

University of Rutgers " etc...! International consortiums and organizations " ObjectWeb, OMG, ISO 13!

Model Engineering " Meta-Model " Advance Programing Techniques Verification Theory MoVe Modeling / Programing Model Engineering 14 CPN-AMI!

Embedded tools and other partners contributions CPN-AMI Computation of Structural Properties Simulation PolyOrb : A schizophrenic middleware (with Telecom Paris)!

4 MoVe : Projects & Cooperations MoVe : Research axes Internal Projects! ModFact! Spot! MetaScribe! CPN-AMI! PolyORB! ITS! Industrial cooperations! Academic cooperations " University of Geneve " University of Zaragoza " University of Turin " University of Luxembourg " Naval Postgraduate School " University of Québec " University of Rutgers " etc...! International consortiums and organizations " ObjectWeb, OMG, ISO 13! Modeling / Programing " Languages / Modeling techniques " Paradigms " Infrastructures! Verification Theory! Petri nets! Structural verification! Model-checking! Model Engineering " Meta-Model " Advance Programing Techniques Verification Theory MoVe Modeling / Programing Model Engineering 14 CPN-AMI! Petri net based CASE environment Model-Checking Modeling facilities! Groups tools suitable for Petri net modeling and verification! Embedded tools and other partners contributions CPN-AMI Computation of Structural Properties Simulation PolyOrb : A schizophrenic middleware (with Telecom Paris)! A polymorphic, reusable infrastructure for building or prototyping new middleware adapted to specific application needs.! Provides middleware-to-middleware interoperability (M2M) State Space Distributed System IP Results Programming model Programming model Petri net model Tools Analysis! " Middleware Interoperability Middleware Modeling facilities Computation of Structural properties Model-Checking 15 16

A polymorphic, reusable infrastructure for building or prototyping new middleware adapted to specific application needs.

5 PolyOrb : A schizophrenic middleware (with Telecom Paris) PolyOrb : A schizophrenic middleware (with Telecom Paris)! A polymorphic, reusable infrastructure for building or prototyping new middleware adapted to specific application needs.! Provides middleware-to-middleware interoperability (M2M)! A polymorphic, reusable infrastructure for building or prototyping new middleware adapted to specific application needs.! Provides middleware-to-middleware interoperability (M2M) Model A App personality A µ-broker verify using CPN-AMI Model B App personality B Model A App Model X App App personality A Neutral PolyORB Layer Protocol personality C Protocol C Protocol personality C App personality B PolyORB Neutral Layer Protocol personality C App. Perso. A Neutral PolyORB Layer App. Perso. X Protocol personality C Intelligent Transportation Services (ITS) analysis:! Context : Automated motorways (to provide driver assistance).! Approach centered on communication between cars (P2P organization).! Use of the motorway infrastructure. ITS (Intelligent Transportation Services) :! Context : Automated motorways (to provide driver assistance).! Approach centered on communication between cars (P2P organization).! Use of the motorway infrastructure.! Needs : How to design and analyze such systems! Needs : How to design and analyze such systems CPN-AMI Magnetic Loop A Magnetic Loop B Minimum safe distance Properties to verify Use of Formal Methods Prevent Blue car from stopping in the entrance way Road-side center Magnetic Loop E 19 Complex system 20

6 Stage about outdoor computing Approach! Vehicular computing, ad-hoc networks System Constraints models A.I (Agents) Network Theory! Smart Messages (and Spatial Programming paradigm) Help design Problem! Avoid traffic congestion! Find out a distributed algorithm Behavior Specification Refine Distributed Algorithm!How to use formal methods? Verification Behavior Model Roadmap Identify scenarii to help the behavior s specification Hypothesis (to make the work feasible)! Use of Smart Messages Platform! Data about other cars are available (no data aggregation) Constrains : informations available, threshold, etc... Verification may be a problem, according to the complexity Future work :! Intrusion Detection System (IDS) Detection Misuse Detection Anomaly Detection Specification-Based Use of signatures Behavior Analysis! Handle data aggregation, relax some other hypothesis,... Standalone Cooperative 23 Default behavior Source prescription 24

7 ! Intrusion Detection System (IDS) Detection! Intrusion Detection System (IDS) Detection Misuse Detection Anomaly Detection Specification-Based Misuse Detection Anomaly Detection Specification-Based Uses signatures to recognize attack! Low false positive rate " Less effective against new attacks Describe normal behavior and check differences! Learning Step " Prone to false positive 25 26! Intrusion Detection System (IDS) Detection Misuse Detection Anomaly Detection Specification-Based Specifications of intended behaviors! Low false positive rate & flexibility " Specification is not easy 27 Specification & Verification aspects! Specification :! How to define a behavior?! Which system parameters do we have to monitor?! What kind of responses do we propose to block or stop an attack?! Use of a Domain Specific Language (DSL)? (high level language)! Verification : # Give guaranties on program behavior before execution #Give guaranties on program behavior while running # Ensure responses are let to reach a correct system behavior 28

System design Behavior Model Modeling Monitor A close & wide approach Petri Net model DSL Expression of monitoring strategies using a DSL Refinement Specification Program Verification Inputs replay

8 System design Behavior Model Modeling Monitor A close & wide approach Petri Net model DSL Expression of monitoring strategies using a DSL Refinement Specification Program Verification Inputs replay of selected inputs! Short term! Long term Refinement Code Generation Runtime Conclusion Questions The beginning of a cooperation between our two universities Any questions? Each university brings its own knowledge Two projects - Use of formal methods! Outdoor computing! Online-monitoring Workshop : June 2006! First results? 31 32

The Ocarina Tool Suite. Thomas Vergnaud

The Ocarina Tool Suite. Thomas Vergnaud The Ocarina Tool Suite Motivation 2 ENST is developing a middleware architecture: PolyORB generic, configurable, interoperable enables middleware verification create a tool chain