INFRES/S3 teamINFRES/S3 team(System Software Services)(System Software Services)

Computer science and networks Computer science and networks departmentdepartment

http://www.infres.enst.fr/~demeure/Shttp://www.infres.enst.fr/~demeure/S33

Team leader : Isabelle DemeureTeam leader : Isabelle Demeure

isabelle.demeure@telecom-paristech.frisabelle.demeure@telecom-paristech.fr

22

INFRES/S3 within TelecomParisTech

Direction

ICCInformation, Cognition

Complexity

MIC2Mathematics of Information,Communication and Calculus

...SHSINFRESTSI

RMSNetworks, Mobility

and security

S3Systems, Software,

Services

Dir. FCDir. FI

About 50 faculties, 50 PhD50 administratives,interns, postdocs, engineers

S3 members (as of october 2007)S3 members (as of october 2007)

11 faculties11 faculties

11 PhD11 PhD

4 engineers4 engineers

3 interns3 interns

44

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

55

Hardware C

OperatingSystem A

HW D

OS B

MIDDLEWARE

SERVICES multimédia, mobile, …

Temporal constraints, mobility, heterogeneity …

NetworkNetwork

E D

Topics

Computer systems architecture under various constraints: Real-time / embedded /distributed /mobile Self configurable / adaptive / reliable

Middleware design and development: Components addressing specific requirements Dedicated middleware and generic solutions

Comportmental and functional modeling to specify, verify, guide development, validate       

66

Publications, budget

Between January 2006 and august 2007, about 50 publications: 3 journals 33 reviewed conferences 2 book chapters 12 contract reports and technical reports

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

77

Subset of S3 research projects

Middleware for critical systems (Ocarina, PolyORB, IST-ASSERT)

Formal techniques applied to aeroports security EDEMOI, ACI (french government funded)

Middleware for Mobile ad hoc networks (RNRT-Transhumance, IST-POPEYE)

Wiki when moving (RNTL-XWIKI concerto)

Service Oriented Architecture for the provision of adaptable composed multimedia documents (PAAM)

CHALLENGERS : beyond GRIDs …

Middleware for critical systemsMiddleware for critical systems

99

Middleware for critical systems

Middleware are software components: Reduce costs, reuse extpertise

BUT they remain a « sensitive » element: Must take into account industry needs, standards, complexity At the heart of most systems

Objectives Guide engineers in middleware choice, use and adaptation Prove the good functioning

Two complementary projects: PolyORB and Ocarina

1010

PolyORB: “schizophrenic” middleware

Middleware reference model Reusable, adaptable, configurable and last but not least:

analysable Supports many existing standards (CORBA, DDS, JMS) Used by industry (AdaCore contract): Eurocontrol, EADS,

Indra

Neutral Core Layer Middlewarefunctions

Application personalitiesCORBA (DOC) OMG DDS

AWS (WEB)

DSA (RPC)

IIOP SOAP

DIOP (UDP)

MIOP (multicast)Protocolpersonalities

http://polyorb.objectweb.org & http://libre.adacore.com/polyorb

1111

AADL: middleware configuration

The use of a middleware remains difficult: Difficult to learn heavy standards Difficult to analyse resource needs and usage

Proposal: use models to guide engineers Solution: SAE AADL

Architecture Analysis & Description Language Standard (2004), to which we contribute

AADL allows the description of interacting middleware components Non functional properties (QoS, etc) To enable analysis and automated system building from system

description. Project: Ocarina, a library for AADL

Parsers and viewers, semantic checking, model transformation Middleware configuration

Ocarina 1.1 Code generator (Ada/PolyORB and Ada,C /PolyORB-HI) Verification and validation

– scheduling

1212

Exploitation

3 PhD thesis, 5 in preparation, 25 publications

Partnership AdaCore & ObjectWeb (middleware), Thales (AADL), ARTIST2, ARTEMIS, SAE (AADL)

Projects IST-ASSERT (AADL), 2004-2007 ANR Flex-eWare, 2007-2010

Industrial support PolyORB: AdaCore provides support to EuroControl, EADS,

TechnoServ, … Ocarina: contacts with Ellidiss

1313

ASSERT demonstrator

ASSERT: Construction of proved spatial systems Partners: ESA, MBDA, EADS

Astrium, … Scenario: a satellite sends

orders to 2 other satellites From model to code

Requirements specification Model refinment Analysis (resources, etc.) Code generation: Ocarina Adapted runtime: PolyORB

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_1subcomponents 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;

+

Formel methods applied to aeroport Formel methods applied to aeroport securitysecurity

EDEMOI project, ACIEDEMOI project, ACI

Sylvie VignesSylvie Vignes

1515

Objective

Two key points for airport security: Compliance to standards Quality, consistency and completeness of standards

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)

Cre

dit P

hoto

: FO

TA

I

1717

EDEMOI Process

Hierarchy ofSecurity properties

Step 1 : Goals are identifiedas security properties

Step 2 : Class diagrams link goals to relevant domain elements

UML diagrams(with UML profile)

B FormalSpecification

Step 3 : Class diagrams

are linked to formal specifications

Test cases

Step 4 : Tests are generated from

the formal models

1818

Current Results

A requirements engineering approach based on a specific UML profile

Detection of several NL imprecisions. 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)

On-going contacts with the certification authorities ICAO/OACI and ECAC/CEAC

Middleware for mobile ad hoc Middleware for mobile ad hoc networksnetworks

Isabelle DemeureIsabelle Demeure3 PhD students: Hoa Ha Duong, Ludovic Martin, 3 PhD students: Hoa Ha Duong, Ludovic Martin,

Guilhem ParouxGuilhem Paroux3 engineers: Francisco Bas, Javier Hernandez, Jaime 3 engineers: Francisco Bas, Javier Hernandez, Jaime

BioscaBiosca2 projects: RNRT-Transhumance, IST-POPEYE2 projects: RNRT-Transhumance, IST-POPEYE

2020

Context

MANet – Mobile Ad hoc NETworks Self configuring network of mobile terminals (no preexisting

infrastructure) Caracteristics

Distributed Network Management Mobile terminals Potentially limited resources:energy, cpu, storage, bandwith Dynamic topology, possible network partitions

Terminals :– PDA or Smartphones (RNRT-Transhumance)– Laptops (IST-POPEYE)

System size RNRT-Transhumance : human size < 20 nodes IST-POPEYE : 100 nodes (hierarchical organization) Pedestrian speed (<8 km/h)

Target is decentralized collaborative applications

2121

Scenario: collaborative treasure hunting game

2 teams of 4 players each. Each player holds a PDA (running Transhumance and the game) with a wifi card in ad hoc mode.

Players must locate pictures on a map displayed on the PDA. Players may lose connection with one another (MANet). A tree displayed on the right of the screen shows

connections & number of hops to other players, lost connections. Chat service tolerant to disconnections.

2222

Topics

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

2323

Energy aware MANet

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

Adaptable middleware: Tradeoff between level of

functionalities offered and energy consumed.

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

2424

Data sharing over MANET

Goal: enable users to share data within virtual space

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

Sharing space

A B C

d1 d2 d3d4 d5

View of A & B

A B C

d1d2 d3

d4

j memory

d5d1

d4

View of C

dA3

dA2dA

1

j memory

dB4

dB3dB

2

j memory

dC5dC

4dC1

Wiki when moving (RNTL-XWIKI Wiki when moving (RNTL-XWIKI concerto)concerto)

2626

XWIKI Concerto project

Dates: 2007-2008 Partners: XPertNet, INRIA, ENST (S. Tardieu), Mandriva, EISTI XWiki :

Free wiki software logiciel Designed in a way that makes extensions easy on the server

side. 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 Service Oriented Architecture for the provision of adaptable composed provision of adaptable composed

multimedia documents (PAAM)multimedia documents (PAAM)

Zakia Kazi-AoulZakia Kazi-Aoul

Isabelle Demeure, Jean-Claude MoissinacIsabelle Demeure, Jean-Claude Moissinac

2828

Scenario : « Suzy and her PDA »

PDA : limited screen size and limited battery Suzy’s preferences :

No video if battery low, text in english 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 frenchVideo AVIImage GIF 1600x1200

English textAudio MP3Image 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

2929

PAAM : a system ...

… that adapts composed multimedia documents to user context

The adaptors being provided (in a p2p spirit) By the users themselves (ex: transcoder video AVI MPEG) Or by service providers

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

The system was designed and prototyped within the context of Zakia Kazi Aoul’s thesis defended on January 18 2008.

Contribution to Contribution to Specific Support Action CHALLENGERS Specific Support Action CHALLENGERS funded by the European Commissionfunded by the European Commission

Beyond GRIDs …Beyond GRIDs …

Michel RiguidelMichel Riguidel

Sylvie VignesSylvie Vignes

3131

Curent GRIDs ...

Emerging e-science applications: Large scale experiments, simulations Interconnected detectors ….

Some e-business applications: finance, commerce …

Requiring very high computing capabilities Involving huge amounts of data

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

3232

Challenges of ASS CHALLENGERS

Go beyong the success of scientific GRIDs

Horizon 2020 and beyond !

Involve experts from various fields: sociology, international affairs, lawyers, ... And computer scientists Infrastructure, transaction support, security, trust, ...

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 A hardware lab in support of the department reseerch activitiesdepartment reseerch activities

Gérard Mouret and Patrick BuschGérard Mouret and Patrick Busch

3434

An example: SPIF platform

Hadware and software platform for projects on embedded realtime systems.

In 2002, AIRNET project (ENST/Airstar/LIP6), SPIF was embedded in a dirigible balloon.

In ITEA-Ambience project, SPIF was the basis for mobile routers for MANets.

D:\DonneesD\ambienceVideo\guidetoameeting.mpeg