Presentation on theme: "INFRES/S3 team (System Software Services) Computer science and networks department Team leader : Isabelle Demeure."— Presentation transcript:
INFRES/S3 team (System Software Services) Computer science and networks department http://www.infres.enst.fr/~demeure/S3 Team leader : Isabelle Demeure email@example.com
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
S3 members (as of october 2007) 11 faculties 11 PhD 4 engineers 3 interns
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 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 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 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 …
Middleware for critical systems Middleware for critical systems
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 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.orghttp://polyorb.objectweb.org & http://libre.adacore.com/polyorbhttp://libre.adacore.com/polyorb
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 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 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; +
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 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 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 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
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 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 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 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 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 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
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.
Service Oriented Architecture for the provision of adaptable composed multimedia documents (PAAM) Zakia Kazi-Aoul Isabelle Demeure, Jean-Claude Moissinac
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 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.
Contribution to Specific Support Action CHALLENGERS funded by the European Commission Beyond GRIDs … Michel Riguidel Sylvie Vignes
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 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
A hardware lab in support of the department reseerch activities Gérard Mouret and Patrick Busch
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