Presentation is loading. Please wait.

Presentation is loading. Please wait.

INFRES/S3 team (System Software Services) Computer science and networks department Team leader : Isabelle Demeure.

Similar presentations

Presentation on theme: "INFRES/S3 team (System Software Services) Computer science and networks department Team leader : Isabelle Demeure."— Presentation transcript:

1 INFRES/S3 team (System Software Services) Computer science and networks department Team leader : Isabelle Demeure

2 2 2 INFRES/S3 within TelecomParisTech Direction ICC Information, Cognition Complexity MIC2 Mathematics of Information, Communication and Calculus... SHSINFRESTSI RMS Networks, Mobility and security S3 Systems, Software, Services Dir. FC Dir. FI About 50 faculties, 50 PhD 50 administratives, interns, postdocs, engineers

3 S3 members (as of october 2007) 11 faculties 11 PhD 4 engineers 3 interns

4 4 4 S3 permanent members Isabelle Demeure, Professor Patrick Busch, Technician Philippe Dax, chief system engineer Bertrand Dupouy, Associate professor Serge Gadret, Lecturer, system engineer Jérôme Hugues, Associate professor Gérard Mouret, Research Engineer Elie Najm, Professor Laurent Pautet, Professor Samuel Tardieu, Associate professor Sylvie Vignes, Associate professor

5 5 5 Hardware C Operating System A HW D OS B MIDDLEWARE SERVICES multimédia, mobile, … Temporal constraints, mobility, heterogeneity … Network ED Topics l Computer systems architecture under various constraints:  Real-time / embedded /distributed /mobile  Self configurable / adaptive / reliable l Middleware design and development:  Components addressing specific requirements  Dedicated middleware and generic solutions l Comportmental and functional modeling to specify, verify, guide development, validate

6 6 6 Publications, budget l Between January 2006 and august 2007, about 50 publications:  3 journals  33 reviewed conferences  2 book chapters  12 contract reports and technical reports l Yearly income about 500Keuros. In 2006 :  European projects : 216 Keuros –IST-ASSERT, IST-POPEYE...  French government (RNRT, ESA, ACI, etc) : 130 Keuros –ACI-EDEMOI, RNRT-Transhumance,...  Direct with companies : 83 Keuros –Alcatel, Adacore, France Telecom R&D, Thales, HP.  PhD funding: 91 Keuros

7 7 7 Subset of S3 research projects l Middleware for critical systems (Ocarina, PolyORB, IST-ASSERT) l Formal techniques applied to aeroports security EDEMOI, ACI (french government funded) l Middleware for Mobile ad hoc networks (RNRT-Transhumance, IST-POPEYE) l Wiki when moving (RNTL-XWIKI concerto) l Service Oriented Architecture for the provision of adaptable composed multimedia documents (PAAM) l CHALLENGERS : beyond GRIDs …

8 Middleware for critical systems Middleware for critical systems

9 9 9 Middleware for critical systems l Middleware are software components:  Reduce costs, reuse extpertise l BUT they remain a « sensitive » element:  Must take into account industry needs, standards, complexity  At the heart of most systems l Objectives  Guide engineers in middleware choice, use and adaptation  Prove the good functioning l Two complementary projects: PolyORB and Ocarina

10 10 PolyORB: “schizophrenic” middleware l Middleware reference model  Reusable, adaptable, configurable and last but not least: analysable l Supports many existing standards (CORBA, DDS, JMS) l Used by industry (AdaCore contract): Eurocontrol, EADS, Indra Neutral Core Layer Middleware functions Application personalities CORBA (DOC)OMG DDS AWS (WEB) DSA (RPC) IIOPSOAP DIOP (UDP) MIOP (multicast) Protocol personalities http://polyorb.objectweb.org &

11 11 AADL: middleware configuration l The use of a middleware remains difficult:  Difficult to learn heavy standards  Difficult to analyse resource needs and usage l Proposal: use models to guide engineers l Solution: SAE AADL  Architecture Analysis & Description Language  Standard (2004), to which we contribute l AADL allows the description of interacting middleware components  Non functional properties (QoS, etc)  To enable analysis and automated system building from system description. l Project: Ocarina, a library for AADL  Parsers and viewers, semantic checking, model transformation  Middleware configuration l Ocarina 1.1  Code generator (Ada/PolyORB and Ada,C /PolyORB-HI)  Verification and validation –scheduling

12 12 Exploitation l 3 PhD thesis, 5 in preparation, 25 publications l Partnership AdaCore & ObjectWeb (middleware), Thales (AADL), ARTIST2, ARTEMIS, SAE (AADL) l Projects  IST-ASSERT (AADL), 2004-2007  ANR Flex-eWare, 2007-2010 l Industrial support  PolyORB: AdaCore provides support to EuroControl, EADS, TechnoServ, …  Ocarina: contacts with Ellidiss

13 13 ASSERT demonstrator l ASSERT: Construction of proved spatial systems  Partners: ESA, MBDA, EADS Astrium, … l Scenario: a satellite sends orders to 2 other satellites l From model to code  Requirements specification  Model refinment  Analysis (resources, etc.)  Code generation: Ocarina  Adapted runtime: PolyORB l Ready to run on LEON platforms  80% code deduced from model. Purely functional modules need to be written (in SDL, SCADE, …) system implementation toy_example.sample_1 subcomponents P1 : processor the_processor; P2 : processor the_processor; GNC : process GNC_Proc; TMTC : process TMTC_Proc; properties Actual_Processor_Binding => reference P1 applies to GNC; Actual_Processor_Binding => reference P2 applies to TMTC; end toy_example.sample_1; +

14 Formel methods applied to aeroport security EDEMOI project, ACI Sylvie Vignes

15 15 Objective l Two key points for airport security:  Compliance to standards  Quality, consistency and completeness of standards l Goal:  Use computer science formal specification and verification techniques to formally specify and verify airports security rules.  Provide a structured and if possible formal referential  Verify / Test absence of errors.  Used by certification authorities –As a support for learning security rules –To identify hidden hypothesis –To enable standards evolution –To show procedures correctness –As a support to verify that a given airport complies to international standards (tests generations -> audit) Credit Photo : FOTAI

16 16 Security properties l The primary security property can be stated as follows:  P1 : Passengers, crew, ground personnel and the general public must be safeguarded against acts of unlawful interference (article 2.1.1, 2nd chapter of Annex 17) l Set of preventive measures to achieve this goal (article 4.1, 4th chapter of Annex 17)  Each Contracting State shall establish measures to prevent weapons, explosives or any dangerous devices which may be used to commit an act of unlawful interference, the carriage or bearing of which is not authorized, from being introduced, by any means whatsoever, on board an aircraft engaged in international civil aviation.

17 17 EDEMOI Process Hierarchy of Security properties Step 1 : Goals are identified as security properties Step 2 : Class diagrams link goals to relevant domain elements UML diagrams (with UML profile) B Formal Specification Step 3 : Class diagrams are linked to formal specifications Test cases Step 4 : Tests are generated from the formal models

18 18 Current Results l A requirements engineering approach based on a specific UML profile l Detection of several NL imprecisions. l 3 models of Annex 17 of ICAO/OACI  UML diagrams  B specification (4 Composants, 827 Lines, 253 Proofs)  Focal specification (16 Modules, 4157 Lines, 35 Proofs) l On-going contacts with the certification authorities ICAO/OACI and ECAC/CEAC

19 Middleware for mobile ad hoc networks Isabelle Demeure 3 PhD students: Hoa Ha Duong, Ludovic Martin, Guilhem Paroux 3 engineers: Francisco Bas, Javier Hernandez, Jaime Biosca 2 projects: RNRT-Transhumance, IST-POPEYE

20 20 Context l MANet – Mobile Ad hoc NETworks  Self configuring network of mobile terminals (no preexisting infrastructure) l Caracteristics  Distributed Network Management  Mobile terminals  Potentially limited resources:energy, cpu, storage, bandwith  Dynamic topology, possible network partitions l Terminals : –PDA or Smartphones (RNRT-Transhumance) –Laptops (IST-POPEYE) l System size  RNRT-Transhumance : human size < 20 nodes  IST-POPEYE : 100 nodes (hierarchical organization)  Pedestrian speed (<8 km/h) l Target is decentralized collaborative applications

21 21 Scenario: collaborative treasure hunting game l 2 teams of 4 players each. Each player holds a PDA (running Transhumance and the game) with a wifi card in ad hoc mode. l Players must locate pictures on a map displayed on the PDA. l Players may lose connection with one another (MANet). l A tree displayed on the right of the screen shows  connections & number of hops to other players, lost connections. l Chat service tolerant to disconnections.

22 22 Topics l Design and prototyping of an integrated middleware for MANets  Fully distributed (no central server)  Energy aware  Offering data sharing services among participants  Offering an event service tolerant to disconnections

23 23 Energy aware MANet l Why manage energy within the middleware ?  PDA = limited battery capability  Energy management already done at the hardware and OS level.  But middleware is a new source of energy consumption l Adaptable middleware:  Tradeoff between level of functionalities offered and energy consumed. l Adaptation = alternative algorithms or adjustable arguments  Transport protocol with or without ack  Adjust level of data replication  Adjust number of hops within which network is monitored  Adjust number of hops within which a service is searched for Routing (OLSR) MIDDLEWARE (groups, events...), Applications (Game, Chat,…) API

24 24 Data sharing over MANET l Goal: enable users to share data within virtual space l Challenges  Don’t use central server –All users participate to the shared space –Users may have a partial view of the shared space  System must be robust to network partitions and node disappearance –Data replication – Persistency – Accessibility –Maintain replica coherence  Take into account energy consumption

25 Wiki when moving (RNTL-XWIKI concerto)

26 26 XWIKI Concerto project l Dates: 2007-2008 l Partners: XPertNet, INRIA, ENST (S. Tardieu), Mandriva, l EISTI XWiki :  Free wiki software logiciel  Designed in a way that makes extensions easy on the server side. l The goal of the XWiki Concerto project is to extend XWiki with the folowing functionalities:  Edit the wiki while disconnected (from laptops or PDAs)  Peer-to-peer exchange  Redundancy in information storing in order to incraese availability and fault tolerance.  Edit Wiki especially when editing on limited capability terminals.

27 Service Oriented Architecture for the provision of adaptable composed multimedia documents (PAAM) Zakia Kazi-Aoul Isabelle Demeure, Jean-Claude Moissinac

28 28 Scenario : « Suzy and her PDA » l PDA : limited screen size and limited battery l Suzy’s preferences :  No video if battery low, text in english l Composed document on «Shakira», made available on the Internet by a Shakira fan  Text in french, AVI Video, GIF Image, format PC 1600x1200 Text in french Video AVI Image GIF 1600x1200 English text Audio MP3 Image JPEG 60x60 Text translation Reduction image size Transmoding Doc analysis Text Image AudioVideo Audio Adapted image Translated text Adapted document reconstruction Image transcoding PAAM Fan’s document Document adapted for Suzy

29 29 PAAM : a system... l … that adapts composed multimedia documents to user context l The adaptors being provided (in a p2p spirit)  By the users themselves (ex: transcoder video AVI  MPEG)  Or by service providers l Challenges:  Analyse composed documents and user context to decide which adaptations must be performed.  Annonce, look for and composed adaptors  The system must scale, be extensible and robust l The system was designed and prototyped within the context of Zakia Kazi Aoul’s thesis defended on January 18 2008.

30 Contribution to Specific Support Action CHALLENGERS funded by the European Commission Beyond GRIDs … Michel Riguidel Sylvie Vignes

31 31 Curent GRIDs... l Emerging e-science applications:  Large scale experiments, simulations  Interconnected detectors …. l Some e-business applications:  finance, commerce … l Requiring very high computing capabilities l Involving huge amounts of data l Numerous experts and resources belonging to various organizations collaborate to aggregate, model, simulate analyse and interpret. Life Sciences Digital Biology Finance: Portfolio analysis Internet & Ecommerce CERN High Energy Physics

32 32 Challenges of ASS CHALLENGERS l Go beyong the success of scientific GRIDs l Horizon 2020 and beyond ! l Involve experts from various fields: sociology, international affairs, lawyers,... And computer scientists  Infrastructure, transaction support, security, trust,... l To prepare future european projects calls regarding:  GRIDs offering every day life services enabling communication and knowledge sharing among virtual communities  Enterprise or VO GRIDs

33 A hardware lab in support of the department reseerch activities Gérard Mouret and Patrick Busch

34 34 An example: SPIF platform l Hadware and software platform for projects on embedded realtime systems. l In 2002, AIRNET project (ENST/Airstar/LIP6), SPIF was embedded in a dirigible balloon. l In ITEA-Ambience project, SPIF was the basis for mobile routers for MANets. l D:\DonneesD\ambienceVideo\gui detoameeting.mpeg D:\DonneesD\ambienceVideo\gui detoameeting.mpeg

Download ppt "INFRES/S3 team (System Software Services) Computer science and networks department Team leader : Isabelle Demeure."

Similar presentations

Ads by Google