Thierry Lecomte.

Size: px
Start display at page:

Download "Thierry Lecomte. thierry.lecomte@clearsy.com"

Transcription

1 Thierry Lecomte

2 A quick summary of the last 15 years 4.0 METEOR 2000 Clic n prove ROISSY PEKIN Bart COPPILOT PARIS, SAO PAULO 2

3 3

4 4 Some implementations (B) L1 Paris L1 Algiers NY Flushing SHUTTLE ROISSY AIRPORT Paris L2 L3 Sao Paulo Mexico New York Canarsie L3 Paris Lyon Airport Express Hong Kong L9 Seoul L9 Barcelona Instanbul Madrid L2 Budapest Toronto KVB 6000 trains France San Juan Metro L10 Beijing Circle Line Singapore L1 L2 Malaga METEOR L14 Paris Delhi Metro Lausanne L5 Milano 4

5 Current picture: «B inside» metros 5

6 Some (external) experimentations Automotive: Diagnosis (Peugeot) Contactless keycard (Renault) Banking: Reconciliation (Société Générale) Space: Ariane 5 flight software (EADS) Microelectronics Smartcard (STMicroelectronics) Nuclear Control System Design (EDF) Industry Pneumatic Press (CNAM) 6

7 Some (external) experimentations: REX Automotive: Diagnosis (Peugeot) Contactless keycard (Renault) Banking: Reconciliation (Société Générale) Space: Microelectronics Nuclear Ariane 5 flight software (EADS) Smartcard (STMicroelectronics) Control System Design (EDF) Industrial application Industry Pneumatic Press (CNAM) 7

8 Some implementations (microelectronics) Secure microcontroler ST19WR08 ST19WR66 ST19NR66 EAL5+ ST Microcircuits ST19WP ST19WL EAL5+ ST Microcircuit ST22L128 EAL5+ ST Secure microcontrolers ATS90SC6404 ATS90SC12872 EAL5+ Atmel Secure microcontroler ST19NA18 ST19NT66A EAL5+ ST Secure microcontrolers ATS90SC6404A ATS90SC12872A EAL5+ Atmel Secure microcontroler ST23YL80 ST23YL18 EAL5+ ST Secure microcontrolers ATS90SC12872R ATS90SC12836R EAL5+ Atmel Secure microcontroler ST23YR80 SA23YR80 EAL5+ ST Secure microcontrolers AT90SC20818 AT90SC13612 AT90SC24036 EAL5+ Atmel

9 Some (internal) experimentations Platform screen doors Safety critical systems (SIL3/SIL4) Opening and closing doors Event-B system level specification PLC code generated Specific to a PLC (Siemens S7) 9

10 Development cycle Qualified for SIL3/SIL4 systems 10

11 Some implementations PSD L2 L3 Sao Paulo Platform Screen Doors Demonstrator L13 Paris PSD L1 Paris Platform Screen Doors L13 Paris L13 Automatic Gap Filler Paris Metro L3 Cairo 2011?

12 12

13 R & D Event-B applied to Microelectronics Code generator specific to smartcard Atelier Deployment B nativelyof supporting Event-B in AutomaticEvent-B industry refinement, as developed by Development of the Siemens TS Rodin platform in Atelier B First definition of Event-B First attempt Development to of the Apply Event-B Rodin platform to supporting Event-B microelectronics 13

14 14

15 15

16 16

17 Tooling Convention B Automatic Prover Automatic Prover Predicate Prover Predicate Prover 17

18 Tooling Rodin Automatic Prover Automatic Prover Predicate Prover Predicate Prover Brama Animator Brama Animator 18

19 Tooling ANR Rimel Automatic Prover Automatic Prover Predicate Prover Predicate Prover Bart Automatic Refiner Brama Animator Brama Animator 19

20 Tooling RNTL BOM Automatic Prover Automatic Prover Predicate Prover Predicate Prover ComenC Code Generator Bart Automatic Refiner Brama Animator Brama Animator 20

21 Tooling Forcoment Automatic Prover Automatic Prover B 4 SYN Code Generator Predicate Prover Predicate Prover ComenC Code Generator Bart Automatic Refiner Brama Animator Brama Animator 21

22 Downloads # downloads (samples) Rodin 1.0: 608 Rodin 1.3: 449 Atelier B 4.0: monthly downloads since January

23 Specific Events: B Dissemination Days Rodin Industry Day Aix en Provence Apr 2006 Rodin Industry day Paris Sep 2007 B Dissemination day Salvador de Bahia Aug 2008 Satellite event of SMBF conference B Dissemination day Sao Paulo Aug 2008 First technical workshop organised by IPT new lab on Requirements 23

24 Specific Events: B Dissemination Days RIAB Eindhoven Nov 2009 Satellite event of FM conference B Dissemination Day Tokyo Mar 2010 Satellite event of GRACE symposium on advanced software engineering An original book on SW development in B 24

25 Specific Events: B Dissemination Days Satellite event of SBMF 2010 Day 1: DEPLOY speakers Day 2: external papers (Cfp) 25

26 26

27 Courses «Applications industrielles de B» IRIT Toulouse master 2 «Spécification et conception sécurisées» ENSI Bourges 3 ème année option sécurité logicielle «Méthodes formelles» ENSMSE Gardanne 3 ème année «Développement de logiciels critiques» ESIL Marseille 3 ème année 27

28 Courses Specification in B and Event-B Design and software development in B Examples issued from/inspired by industrial applications: Smartcard security policy Railway Switch Fuel level Block Virtual machine Stack Event-B specification B specification and design B specification and design B specification B specification and design B specification and design 28

29 Smartcard security policy Donnée disponible CPU Bus d adresses Memory Protection unit Mémoire interruption Bus de données Security property MEMORY_TYPE(currentCell)=ROM_SECURE & currentoperation = OP_READ & currentmode = USER => currentresult = NOT_GRANTED RAM read access control executeram = SELECT MEMORY_TYPE(currentCell) = RAM & MEMORY_CONTENT(currentCell) = CODE & currentoperation = OP_EXECUTE THEN currentresult := GRANTED END 29

30 Fuel level Services: compute_initial_level, estimate_remaining_fuel safety property: «make the pilot aware of any fuel shortage» Complete development: specification, design, implementation (including context machine), basic machine, code generation (ComenC) and execution 30

31 Fuel level ctx sees fuel0 VARIABLES estimated_level, estimated_consumption, status ctx_i fuel_i CONCRETE_VARIABLES sees estimated_level, estimated_consumption, status imports measure utils utils_i 31

32 Block 32

33 Block 33

34 Block 34

35 Block Services: Simplification: specify which blocks are occupied and which are free, according to (faulty) sensors no switch Unmask_blocks: This function unmasks some blocks (for TDL alarm). Blocks which do not become unmasked remain unchanged. A block is unmasked when the block is free or when all of the following conditions are true: 1) The upward block has a free trackside detector or the upward block is free. 2) The downward block has a free trackside detector or the downward block is free. mb := mb - (d_free_b u (cfg_b2b_up -1 [d_free_td u d_free_b] i cfg_b2b_down -1 [d_free_td u d_free_b])) 35

36 Return of experience Easier to teach B when code is generated First exercice was guided, following almost unguided Students admit that proof is valuable When discovering errors, even if a.k.o. black box but are puzzled when a 100% model is faulty Miracles, copy/paste specification and design Model animation Data or algorithmic refinement difficult to handle 36

37 37

38 Future directions Dedicated modelling environments PLC based system development Safety critical products Tool qualification Automatic refinement Code generation Test case generation Microelectronics Smartcard domain Automatic refinement Code generation 38

39 Future directions (cnt d) Improvements Provers (last major step in 1999) ProB fine-grain integration Distributed processing (cloud) Code generation C (without safety critical constraints) VHDL, Ladder Support for real numbers & floating point Generic proof obligation generator Required for new application domains 39

40 C L E A R S Y System Engineering

41 Tools 41

MANAGEMENT. Improving Service Delivery. Robert Johnston Graham Clark and Michael Shulver. Fourth Edition SERVICE OPERATIONS PEARSON

MANAGEMENT. Improving Service Delivery. Robert Johnston Graham Clark and Michael Shulver. Fourth Edition SERVICE OPERATIONS PEARSON Fourth Edition SERVICE OPERATIONS MANAGEMENT Improving Service Delivery Robert Johnston Graham Clark and Michael Shulver PEARSON Harlow, England London New York Boston San Francisco Toronto Sydney Auckland

More information

CNC 8037. The solution for simple machines

CNC 8037. The solution for simple machines CNC 8037 The solution for simple machines CNC 8037 The solution for simple machines Fagor Automation has been characterized in history for providing tailored solutions to their customers.it offers high-end

More information

A Global Rating Agency >

A Global Rating Agency > A Global Rating Agency > Who We Are > Fitch Ratings is committed to providing the world s credit markets with reliable, timely and prospective credit opinions. Built on a foundation of organic growth and

More information

Synopsis: In the first September TripCase product release there will be several big updates.

Synopsis: In the first September TripCase product release there will be several big updates. TripCase Document Delivery 15.09 Implementation: 10 nd Sep2015 SIN time Synopsis: In the first September TripCase product release there will be several big updates. 1) Frontline agents will have access

More information

of business Leadership development at the pace The Leadership Express Series Calgary, AB

of business Leadership development at the pace The Leadership Express Series Calgary, AB at the pace Leadership development of business The Leadership Express Series Calgary, AB Join other successful and like-minded leaders committed to becoming their absolute best. Learn powerful ways to

More information

Miami KeyCenter Empowering you to do more

Miami KeyCenter Empowering you to do more Miami KeyCenter Empowering you to do more Telefónica Global Solutions Beijing Telefónica Global Solutions Connecting all parts of your global business We ve been building secure, reliable telecommunications

More information

Growth in the Cognitive Era Global Business Services Bridget van Kralingen

Growth in the Cognitive Era Global Business Services Bridget van Kralingen Growth in the Cognitive Era Global Business Services Bridget van Kralingen IBM Investor Briefing 2016 Senior Vice President, Global Business Services Global Business Services $17.2B $2.6B Revenue Mix 30%

More information

Achieving Export Sales Growth

Achieving Export Sales Growth Achieving Export Sales Growth How Enterprise Ireland and its overseas network works with Irish exporting companies Angela Byrne Marketing & Sales Strategy Adviser Enterprise Ireland Finance 4 Growth Workshop

More information

Designing Interactive Systems

Designing Interactive Systems THIRD EDITION Designing Interactive Systems A comprehensive guide to HCl, UX and interaction design David Benyon PEARSON Harlow, England London * New York Boston San Francisco Toronto Sydney * Auckland

More information

ENERGY ENERGY CALENDAR ENERGY TRAINING CALENDAR OF EVENTS 2015 PUBLISHED JANUARY 2015. www.euromoneytraining.com/energy

ENERGY ENERGY CALENDAR ENERGY TRAINING CALENDAR OF EVENTS 2015 PUBLISHED JANUARY 2015. www.euromoneytraining.com/energy ENERGY CALENDAR ENERGY TRAINING CALENDAR OF EVENTS 2015 PUBLISHED JANUARY 2015 www.euromoneytraining.com/energy 2015 CALENDAR We are pleased to release our 2015 dates for energy training courses taking

More information

at the pace of business Leadership development In-house programs available! The Leadership Express Series Ottawa, ON

at the pace of business Leadership development In-house programs available! The Leadership Express Series Ottawa, ON Africa Cape Town Johannesburg Pretoria Asia Bangkok Beijing Ho Chi Minh City Hong Kong Jakarta Kuala Lumpur Mumbai New Delhi Seoul Shanghai Shenzhen Singapore Tokyo Europe Amsterdam Athens Barcelona Berlin

More information

Enterprise Ireland - Accelerating the growth of Irish companies in world markets

Enterprise Ireland - Accelerating the growth of Irish companies in world markets Unlocking the Middle East Enterprise Ireland - Accelerating the growth of Irish companies in world markets Thursday 23 rd, April, 2009. Enterprise Ireland is the Irish government s lead agency in the development

More information

Anders Johansson, Senior Account Manager Sweden E mail anders.johansson@booking.com Mats Kullenberg, Account Manager Sweden

Anders Johansson, Senior Account Manager Sweden E mail anders.johansson@booking.com Mats Kullenberg, Account Manager Sweden Anders Johansson, Senior Account Manager Sweden E mail anders.johansson@booking.com Mats Kullenberg, Account Manager Sweden HISTORIA Booking.com grundades 1996 i Holland Köptes av Priceline.com 2005 Huvudkontor

More information

What Makes Cities Successful Randstad on the World Stage

What Makes Cities Successful Randstad on the World Stage What Makes Cities Successful Randstad on the World Stage 1966 7 World Cities London Moscow New York Paris Randstad Rhein-Ruhr Tokyo Today: JLL City Commercial Attraction Index Top 20 Population Economic

More information

Service Operations Management

Service Operations Management Third Edition Robert Johnston and Graham Clark Service Operations Management Improving Service Delivery Prentice Hall FINANCIAL TIMES An imprint of Pearson Education Harlow, England London New York Boston

More information

STREAMLINE YOUR TRADING COMMUNITY TRADING COMMUNITY SERVICES

STREAMLINE YOUR TRADING COMMUNITY TRADING COMMUNITY SERVICES STREAMLINE YOUR TRADING COMMUNITY TRADING COMMUNITY SERVICES Etrali Trading Solutions CONNECTING YOU TO THE WORLD S FINANCIAL MARKETS Electronic trading is revolutionising our industry, but its impact

More information

Telefónica Global Solutions. Channel Partner Program Expand your limits through our global scale

Telefónica Global Solutions. Channel Partner Program Expand your limits through our global scale Telefónica Global Solutions Channel Partner Program Expand your limits through our global scale We invite you to partner with us By becoming our Channel Partner you will enjoy being part of one of the

More information

A Summary Map to explain your itinerary is absolutely necessary!! Here are some examples of ways to execute it; and some maps are obviously better

A Summary Map to explain your itinerary is absolutely necessary!! Here are some examples of ways to execute it; and some maps are obviously better A Summary Map to explain your itinerary is absolutely necessary!! Here are some examples of ways to execute it; and some maps are obviously better than others; some are very difficult to follow the order

More information

Miami KeyCenter Empowering you to do more

Miami KeyCenter Empowering you to do more Miami KeyCenter Empowering you to do more Telefónica Global Solutions Beijing Telefónica Global Solutions Connecting all parts of your global business We ve been building secure, reliable telecommunications

More information

SMART CITIES And ENERGY. Finding new markets in a changing world

SMART CITIES And ENERGY. Finding new markets in a changing world SMART CITIES And ENERGY Finding new markets in a changing world 1 Today s Session Smart City introduction Growth Success Story - Smart Grid, Smart City Josh Gerber of SDG&E Growth Success Story - Blueprint

More information

Company Presentation. July 2015

Company Presentation. July 2015 Company Presentation Infineon plus International Rectifier: A Powerful Combination As of January 2015, International Rectifier is an Infineon Technologies company Combined pro-forma revenue of ~ 5,150m*

More information

Global Real Estate Outlook

Global Real Estate Outlook Global Real Estate Outlook August 2014 The Hierarchy of Economic Performance, 2014-2015 China Indonesia India Poland South Korea Turkey Australia Mexico United Kingdom Sweden United States Canada South

More information

WHITEPAPER Workforce Planning Pitfalls

WHITEPAPER Workforce Planning Pitfalls WHITEPAPER Workforce Planning Pitfalls Six tips for delivering the workforce of the future for consistent business success Executing talent management activities before they re needed is an earmark of

More information

A380 Commercial Update for JP Morgan

A380 Commercial Update for JP Morgan Jean-Pierre Dambrine A380 Marketing Director Commercial Update for JP Morgan 9 th Own the Sky All around the world All around the world The most efficient way to grow Network optimiser, yield booster The

More information

New Media for Transit Opportunities and challenges

New Media for Transit Opportunities and challenges New Media for Transit Opportunities and challenges Jean COSTANTINI Oslo, Oct 2011 Transportation Systems Agenda Background Ticketing vs. payment NFC Google Wallet Bank cards Open questions 2 Thales, 40

More information

Business Finance. Theory and Practica. Eddie McLaney PEARSON

Business Finance. Theory and Practica. Eddie McLaney PEARSON Business Finance Theory and Practica Eddie McLaney PEARSON Harlow, England London New York Boston San Francisco Toronto Sydney Auckland Singapore Hong Kong Tokyo Seoul Taipei New Delhi Cape Town Säo Paulo

More information

/ / WORLDWIDE HEADQUARTERS NORTH AMERICA W. R. Grace & Co. Conn. 62 Whittemore Avenue Cambridge, MA 02140-1692 USA Tel. 617-876-1400 Fax 617-498-2643 Grace supplies products to more than 120 countries

More information

Opportunities for Action in Consumer Markets. The Antidote to Mismanaged CRM Initiatives

Opportunities for Action in Consumer Markets. The Antidote to Mismanaged CRM Initiatives Opportunities for Action in Consumer Markets The Antidote to Mismanaged CRM Initiatives The Antidote to Mismanaged CRM Initiatives Most companies don t know who their best customers are. They enjoy the

More information

Virtualization in Enterprise Environment. Krisztian Egi

Virtualization in Enterprise Environment. Krisztian Egi Virtualization in Enterprise Environment Krisztian Egi Session Outline Virtualization technology overview Challenges in enterprise environment Q & A 2 Virtualization technology overview What s virtualization

More information

http://www.cervantes.es/ave

http://www.cervantes.es/ave Instituto Cervantes Centers Albuquerque Alexandria Amman Algiers Athens Beirut Belgrade Belo Horizonte Berlin Boston Brasilia Bratislava Bremen Brussels Bucharest Budapest Bordeaux Calgary Casablanca Chicago

More information

Denied Boarding Eligibility

Denied Boarding Eligibility Option 1 Denied Boarding Compensation voucher may be used for a single Emirates operated two sector return journey between Dubai and the adjoining list of cities. (OR) Between Australia & New Zealand or

More information

Computer Organization

Computer Organization Computer Organization and Architecture Designing for Performance Ninth Edition William Stallings International Edition contributions by R. Mohan National Institute of Technology, Tiruchirappalli PEARSON

More information

SAS CLOUD ANALYTICS MAY 2015

SAS CLOUD ANALYTICS MAY 2015 SAS CLOUD ANALYTICS MAY 2015 SAS SOLUTIONS ONDEMAND HISTORY Established in 2000 Formed as the Application Service Provider Group HP ES40 6/833: Tru64 Unix V5.1 TruCluster. 4 CPU s, 8 GB Memory 2 SAS CLOUD

More information

THE PSYCHOLOGY OF INVESTING

THE PSYCHOLOGY OF INVESTING Fourth Edition THE PSYCHOLOGY OF INVESTING John R. Nofsinger Washington State University Prentice Hall Boston Columbus Indianapolis New York San Francisco Upper Saddle River Amsterdam Cape Town Dubai London

More information

RATP safety approach for railway signalling systems

RATP safety approach for railway signalling systems RATP safety approach for railway signalling systems ReSIST summer School 007 Pierre CHARTIER Summary. Introduction. Hardware fault detection. 6 Introduction Global railway system Rolling stock Environment

More information

Relationship marketing

Relationship marketing Relationship marketing WBIbliothek Exploring relational strategies in marketing FOURTH EDITION JOHN EGAN London South Bank University Financial Times Prentice Hall is an imprint of Harlow, England London

More information

Changes to Cambridge English: Advanced, Cambridge English: First and Cambridge English: First for Schools

Changes to Cambridge English: Advanced, Cambridge English: First and Cambridge English: First for Schools Changes to Cambridge English: Advanced, Cambridge English: First and Cambridge English: First for Schools Changes to the specification for examinations from January 2015 Cambridge Assessment A leading

More information

Case 2:08-cv-02463-ABC-E Document 1-4 Filed 04/15/2008 Page 1 of 138. Exhibit 8

Case 2:08-cv-02463-ABC-E Document 1-4 Filed 04/15/2008 Page 1 of 138. Exhibit 8 Case 2:08-cv-02463-ABC-E Document 1-4 Filed 04/15/2008 Page 1 of 138 Exhibit 8 Case 2:08-cv-02463-ABC-E Document 1-4 Filed 04/15/2008 Page 2 of 138 Domain Name: CELLULARVERISON.COM Updated Date: 12-dec-2007

More information

Global business needs a global partner

Global business needs a global partner Global business needs a global partner Bespoke business banking on an international scale Corporate Banking The global business experts Riga Saint Petersburg Moscow London Amsterdam Minsk Warsaw Brussels

More information

seeing the whole picture HAY GROUP JOB EVALUATION MANAGER

seeing the whole picture HAY GROUP JOB EVALUATION MANAGER seeing the whole picture SM HAY GROUP JOB EVALUATION MANAGER for organizations of any size, job evaluation can be a complex task. hay group job evaluation manager sm (jem) builds hay group s class-leading

More information

AN974 APPLICATION NOTE

AN974 APPLICATION NOTE AN974 APPLICATION NOTE Real time clock with ST7 Timer Output Compare By MCD Application Team 1 INTRODUCTION The purpose of this note is to present how to use the ST7 Timer output compare function. As an

More information

Rents continue to recover. Global Office Index Q2 2014

Rents continue to recover. Global Office Index Q2 2014 Rents continue to recover Global Office Index Q2 2014 2 Global Office Index, Q2 2014 JLL Global Office Index Q2 2014 Rents continue to recover Steady improvement in both leasing activity and corporate

More information

CASE STUDY: NORTHSIDE INDEPENDENT SCHOOL DISTRICT SAN ANTONIO, TX

CASE STUDY: NORTHSIDE INDEPENDENT SCHOOL DISTRICT SAN ANTONIO, TX CASE STUDY: NORTHSIDE INDEPENDENT SCHOOL DISTRICT SAN ANTONIO, TX CASE STUDY: NORTHSIDE INDEPENDENT SCHOOL DISTRICT San Antonio, TX 1. Client Profile Northside Independent School District is the premier

More information

WHAT MAKES A SUSTAINABLE CITY? CITIES OF THE FUTURE CONFERENCE, DRAMMEN, 2 NOVEMBER 2010

WHAT MAKES A SUSTAINABLE CITY? CITIES OF THE FUTURE CONFERENCE, DRAMMEN, 2 NOVEMBER 2010 WHAT MAKES A SUSTAINABLE CITY? CITIES OF THE FUTURE CONFERENCE, DRAMMEN, 2 NOVEMBER 2010 Mark Watts, Director, Arup mark.watts@arup.com OVE ARUP & PARTNERS LTD THE C40 Chicago Toronto New York Los Angeles

More information

We create, plan, buy & monitor international communication campaigns since 1993.

We create, plan, buy & monitor international communication campaigns since 1993. ComKeys Group is an independent and international communication group active in more than 45 countries. We create, plan, buy & monitor international communication campaigns since 1993. 24.03.2012 COMKEYS

More information

Case- draft: American Management Association AMA, Content Provider for Executive Education and Training Solutions

Case- draft: American Management Association AMA, Content Provider for Executive Education and Training Solutions WP1 MuMuMeSe DELIVERABLE 1.2.1.3 Case- draft: American Management Association AMA, Content Provider for Executive Education and Training Solutions Taideteollinen korkeakoulu Riikka Siuruainen, Laurea Case

More information

DHL Global Energy Conference 2015 Outsourcing logistics Enhancing innovation or increasing risk?

DHL Global Energy Conference 2015 Outsourcing logistics Enhancing innovation or increasing risk? DHL Global Energy Conference 2015 Outsourcing logistics Enhancing innovation or increasing risk? Introduction to panel discussion Houston, October 13 th What has happened since the last DHL conference?

More information

metro TOMORROW S SOLUTIONS TODAY

metro TOMORROW S SOLUTIONS TODAY TOMORROW S SOLUTIONS TODAY FT Melbourne Melbourne +61 3 8638 2300 Australia + FT Belgium Zaventem +32 2 759 79 12 Belgium + FT do Brasil São Paulo +55 (11) 6889 6000 Brasil + Shanghai Faiveley Railway

More information

The Data Center of the Future: Creating New Jobs in Europe

The Data Center of the Future: Creating New Jobs in Europe The Data Center of the Future: Creating New Jobs in Europe New data centers will create hundreds of thousands of new jobs for Europe by 2020. But there is work to be done to capture this opportunity fully.

More information

International Atomic Energy Agency (IAEA)

International Atomic Energy Agency (IAEA) International Atomic Energy Agency (IAEA) IAEA was founded in 1957, and has been headquartered in Vienna, Austria since that time. The supreme body of IAEA is the General Conference which meets annually.

More information

Improved Outlook? French Manufacturing Competitiveness Radar 2014/2015. Paris, March 2015

Improved Outlook? French Manufacturing Competitiveness Radar 2014/2015. Paris, March 2015 Improved Outlook? French Manufacturing Competitiveness Radar /2015 Paris, March 2015 Roland Berger's manufacturing Competitiveness Radar We are proud to present you the third edition of our survey on French

More information

ENGINEERING PROBLEM SOLVING WITH C++

ENGINEERING PROBLEM SOLVING WITH C++ ENGINEERING PROBLEM SOLVING WITH C++ Third Edition Delores M. Etter Electrical Engineering Department Southern Methodist University, Dallas, TX Jeanine A. Ingber Accurate Solutions in Applied Physics,

More information

Customer Relationship. Management. Ed Peelen and Rob Beltman

Customer Relationship. Management. Ed Peelen and Rob Beltman Customer Relationship Management Ed Peelen and Rob Beltman PEARSON Harlow, England London New York Boston San Francisco Toronto Sydney Auckland Singapore Hong Kong Tokyo Seoul Taipei New Delhi Cape Town

More information

Improving Railway Data Validation with ProB

Improving Railway Data Validation with ProB Chapter 1 Improving Railway Data Validation with ProB Jérôme Falampim, Hung Le-Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge Abstract In this chapter, we describe the successful application of

More information

F root anycast: What, why and how. João Damas ISC

F root anycast: What, why and how. João Damas ISC F root anycast: What, why and how João Damas ISC Overview What is a root server? What is F? What is anycast? F root anycast. Why? How does ISC do it? What is f.root-servers.net? One the Internet s official

More information

2015 City RepTrak The World s Most Reputable Cities

2015 City RepTrak The World s Most Reputable Cities REPUTATION LEADERS NETWORK 2015 City RepTrak The World s Most Reputable Cities The World s View on Cities: An Online Study of the Reputation of 100 Cities RepTrak is a registered trademark of Reputation

More information

Denied Boarding Eligibility

Denied Boarding Eligibility Option 1 Denied Boarding Compensation voucher may be used for a single Emirates operated two sector return journey between Dubai and the adjoining list of cities. (OR) Between Australia & New Zealand or

More information

Real Time Network Server Monitoring using Smartphone with Dynamic Load Balancing

Real Time Network Server Monitoring using Smartphone with Dynamic Load Balancing www.ijcsi.org 227 Real Time Network Server Monitoring using Smartphone with Dynamic Load Balancing Dhuha Basheer Abdullah 1, Zeena Abdulgafar Thanoon 2, 1 Computer Science Department, Mosul University,

More information

Colombia is good with words. See it for yourself in the Frankfurt Book Fair 2011.

Colombia is good with words. See it for yourself in the Frankfurt Book Fair 2011. Colombia is good with words. See it for yourself in the Frankfurt Book Fair 2011. TOURISM, FOREIGN INVESTMENT AND EXPORTS PROMOTION EDITORA CULTURAL INTERNACIONAL Editora Cultural Internacional S.A.S was

More information

CITY OF CHICAGO BUILDING ENERGY USE BENCHMARKING AND TRANSPARENCY

CITY OF CHICAGO BUILDING ENERGY USE BENCHMARKING AND TRANSPARENCY California Energy Commission Nonresidential Building Energy Use Disclosure Workshop CITY OF CHICAGO BUILDING ENERGY USE BENCHMARKING AND TRANSPARENCY Jamie Ponce Chicago City Director, C40 Cities Climate

More information

Trainguard Sirius CBTC

Trainguard Sirius CBTC siemens.com/mobility Trainguard Sirius CBTC For efficient mass transit operation Trainguard Sirius CBTC Trainguard Sirius communication based train control (CBTC) is Siemens Rail Automation s solution

More information

Health Care Viewpoint

Health Care Viewpoint Global Penetration: Growth and Competitive Advantage Health Care Viewpoint Number 6 Bain health care expertise As the year 2000 approaches, the health care industry is still turbulent. Customer requirements

More information

3rd Party Audited Cloud Infrastructure SOC 1, Type II SOC 2, Type II ISO 27001. Annual 3rd party application Pen Tests.

3rd Party Audited Cloud Infrastructure SOC 1, Type II SOC 2, Type II ISO 27001. Annual 3rd party application Pen Tests. THE BRIGHTIDEA CLOUD INFRASTRUCTURE INTRODUCTION Brightidea s world-class cloud infrastructure is designed and certified to handle the most stringent security, reliability, scalability, and performance

More information

AT&T Global Network Client for Windows Product Support Matrix January 29, 2015

AT&T Global Network Client for Windows Product Support Matrix January 29, 2015 AT&T Global Network Client for Windows Product Support Matrix January 29, 2015 Product Support Matrix Following is the Product Support Matrix for the AT&T Global Network Client. See the AT&T Global Network

More information

Smart Cards a(s) Safety Critical Systems

Smart Cards a(s) Safety Critical Systems Smart Cards a(s) Safety Critical Systems Gemplus Labs Pierre.Paradinas Paradinas@gemplus.com Agenda Smart Card Technologies Java Card TM Smart Card a specific domain Card Life cycle Our Technical and Business

More information

Motivation and Contents Overview

Motivation and Contents Overview Motivation and Contents Overview Software Engineering Winter Semester 2011/2012 Department of Computer Science cs.uni-salzburg.at Dr. Stefan Resmerita 2 Course Contents Goals Learning about commonly used

More information

Smart Transport ITS Norway

Smart Transport ITS Norway www.steria.com Smart Transport ITS Norway Intelligent Transport Systems for all users Pierre Basquin Steria Steria Delivering IT and business process outsourcing services We provide a full range of IT

More information

Alvarez & Marsal Global Forensic and Dispute Services. 2015 Asia Pacific Regional Meeting (APRM) Tokyo, Japan 23-25 April 2015

Alvarez & Marsal Global Forensic and Dispute Services. 2015 Asia Pacific Regional Meeting (APRM) Tokyo, Japan 23-25 April 2015 Alvarez & Marsal Global Forensic and Dispute Services 2015 Asia Pacific Regional Meeting (APRM) Tokyo, Japan 23-25 April 2015 A&M OVERVIEW GLOBAL REACH NEW YORK (GLOBAL HQ) LONDON (EUROPE HQ) HONG KONG

More information

Customer Service. A Practical Approach. Elaine K. Harris

Customer Service. A Practical Approach. Elaine K. Harris F I F T H E D I T Customer Service A Practical Approach Elaine K. Harris Pearson Education Boston Columbus Indianapolis New York San Francisco Upper Saddle River Amsterdam Cape Town Dubai London Madrid

More information

Internet of Things, a key lever to reduce CO 2 emissions

Internet of Things, a key lever to reduce CO 2 emissions COP21 Internet of Things, a key lever to reduce CO 2 emissions November 13 th, 2015 Exponential technologies combined with Internet global model drive a new industrial revolution: the Internet of Thing

More information

An Introduction to Fraunhofer Gesellschaft and Fraunhofer USA Patrick Bressler

An Introduction to Fraunhofer Gesellschaft and Fraunhofer USA Patrick Bressler An Introduction to Fraunhofer Gesellschaft and Fraunhofer USA Patrick Bressler The Fraunhofer-Gesellschaft at a Glance The Fraunhofer-Gesellschaft undertakes applied research of direct utility to private

More information

Opportunities for Action in Industrial Goods. The Price Is Right: Optimizing Industrial Companies Pricing of Services

Opportunities for Action in Industrial Goods. The Price Is Right: Optimizing Industrial Companies Pricing of Services Opportunities for Action in Industrial Goods The Price Is Right: Optimizing Industrial Companies Pricing of Services The Price Is Right: Optimizing Industrial Companies Pricing of Services Industrial companies

More information

Opportunities for Action in Industrial Goods. Winning by Understanding the Full Customer Experience

Opportunities for Action in Industrial Goods. Winning by Understanding the Full Customer Experience Opportunities for Action in Industrial Goods Winning by Understanding the Full Customer Experience Winning by Understanding the Full Customer Experience The old adage What gets measured gets done is fine

More information

Cargo Sales & Service Presentation

Cargo Sales & Service Presentation Cargo Sales & Service Presentation Who is Air Logistics Group? Established in 1994 One of the world s leading cargo sales and service companies 55 offices spanning 32 countries and over 200 employees worldwide

More information

Indian E-Retail Congress 2013

Indian E-Retail Congress 2013 The Retail Track The Omni Channel Retail Supply Chain Indian E-Retail Congress 2013 Subhendu Roy Principal Consumer Industries and Retail Practice 15 February, 2013 Disclaimer This document is exclusively

More information

EADS The Step Beyond. Presentation at the Arctic Conference: Challenges and Opportunities for Norway

EADS The Step Beyond. Presentation at the Arctic Conference: Challenges and Opportunities for Norway EADS The Step Beyond Presentation at the Arctic Conference: Challenges and Opportunities for Norway Hans Lüken General Manager EADS Scandinavian Office, Aker Brygge May 10 th 2012 EADS - The Step Beyond

More information

OGCIO Seminar on PSI/Data.One. PSI and Big Data. Jiannong Cao Department of Computing Hong Kong Polytechnic University

OGCIO Seminar on PSI/Data.One. PSI and Big Data. Jiannong Cao Department of Computing Hong Kong Polytechnic University OGCIO Seminar on PSI/Data.One PSI and Big Data Jiannong Cao Department of Computing Hong Kong Polytechnic University Big Data TB (10 12 bytes) PB (10 15 bytes) EB (10 18 bytes) ZB (10 21 bytes)... The

More information

Health Care Viewpoint

Health Care Viewpoint Using Mergers and Acquisitions to Secure Strategic Position and Profitable Growth Health Care Viewpoint Number 11 Bain health care expertise As the year 2000 approaches, the health care industry is still

More information

Supplemental Information First Quarter 2011 Earnings Call

Supplemental Information First Quarter 2011 Earnings Call Supplemental Information First Quarter 2011 Earnings Call Market & Financial Overview s Q1 2010 Q1 2011 growth slowing growth accelerating falling bottoming out Shanghai Washington DC London, Hong Kong

More information

Opportunities for Action in Financial Services. Sales Force Effectiveness: Moving Up the Middle and Managing New Prospects

Opportunities for Action in Financial Services. Sales Force Effectiveness: Moving Up the Middle and Managing New Prospects Opportunities for Action in Financial Services Sales Force Effectiveness: Moving Up the Middle and Managing New Prospects Sales Force Effectiveness: Moving Up the Middle and Managing New Prospects Good

More information

DO WE NEED MORE STORAGE IN EUROPE?

DO WE NEED MORE STORAGE IN EUROPE? DO WE NEED MORE STORAGE IN EUROPE? 25-26 April 212 Dr Thierry Bros Phone: 33 ()1 58 98 11 7 Important Notice: The circumstances in which this publication has been produced are such that it is not appropriate

More information

Full Foreign Ownership of E-commerce Businesses Permitted in the Shanghai FTZ: But is It a Breakthrough?

Full Foreign Ownership of E-commerce Businesses Permitted in the Shanghai FTZ: But is It a Breakthrough? Full Foreign Ownership of E-commerce Businesses Permitted in the Shanghai FTZ: But is It a Breakthrough? Contents Backgroud E-commerce Business Shanghai FTZ's Continuing Liberalisation in Telecommunications

More information

INSTRUCTIONS FOR USE I-GUCCI WATCHES

INSTRUCTIONS FOR USE I-GUCCI WATCHES INSTRUCTIONS FOR USE I-GUCCI WATCHES Instructions for use General information Main functions: Double time zone, see "List of cities" table - world time with selected city indicator - local time Display

More information

Mobile Monetization Scenario Design & Big Data. Arther Wu Senior Director of Monetization and Business Operation

Mobile Monetization Scenario Design & Big Data. Arther Wu Senior Director of Monetization and Business Operation Mobile Monetization Scenario Design & Big Data Arther Wu Senior Director of Monetization and Business Operation Agenda Quick update of Cheetah Mobile Ad Scenario Design Big Data / Relation with Advertising

More information

1999 COMMUNICATIONS STUDY LINKING COMMUNICATIONS WITH STRATEGY TO ACHIEVE BUSINESS GOALS

1999 COMMUNICATIONS STUDY LINKING COMMUNICATIONS WITH STRATEGY TO ACHIEVE BUSINESS GOALS W A T S O N W Y A T T 1999 COMMUNICATIONS STUDY LINKING COMMUNICATIONS WITH STRATEGY TO ACHIEVE BUSINESS GOALS A CLOSE TIE between business and communications strategies will align the workforce with

More information

BENEFITS OF SERVERLESS COMPUTING

BENEFITS OF SERVERLESS COMPUTING BENEFITS OF SERVERLESS COMPUTING A Frost & Sullivan Market Insight INTRODUCTION TO SERVERLESS COMPUTING Serverless Computing is an integrated NVR/SAN platform that runs video management software directly

More information

India. Doorway to opportunities

India. Doorway to opportunities India Doorway to opportunities We have the key India s development plays an increasingly active role in the global economy and presents significant business opportunities. As clients manage and explore

More information

BUSINESS INTELLIGENCE

BUSINESS INTELLIGENCE SECOND EDITION BUSINESS INTELLIGENCE A MANAGERIAL APPROACH INTERNATIONAL EDITION Efraim Turban University of Hawaii Ramesh Sharda Oklahoma State University Dursun Deleii Oklahoma State University David

More information

Guide. Axis Webinar. User guide

Guide. Axis Webinar. User guide Guide Axis Webinar User guide Table of contents 1. Introduction 3 2. Preparations 3 2.1 Joining the visual part 3 2.2 Joining the conference call 3 2.3 Providing feedback and asking questions during a

More information

Associate Professor in Computer Science, IUT Sénart Fontainebleau Member of the LACL research lab, Université Paris-Est

Associate Professor in Computer Science, IUT Sénart Fontainebleau Member of the LACL research lab, Université Paris-Est Frédéric GERVAIS Ph.D. frederic.gervais@u-pec.fr http://fredericgervais.com SHORT BIO Associate Professor in Computer Science, IUT Sénart Fontainebleau Member of the LACL research lab, Université Paris-Est

More information

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL Using B as a High Level Programming Language in an Industrial Project: Roissy VAL ClearSy and Siemens Transportation Systems Abstract. In this article we would like to go back on B used to design software,

More information

DEC Networks and Architectures

DEC Networks and Architectures DEC Networks and Architectures Carl Malamud Intertext Publications McGraw-Hill Book Company New York St. Louis San Francisco Auckland Bogota Hamburg London Madrid Mexico Milan Montreal New Delhi Panama

More information

IBM Cloud Computing Case Studies Jinzy Zhu/ Executive, IBM Cloud Labs & HiPODS-Greater China

IBM Cloud Computing Case Studies Jinzy Zhu/ Executive, IBM Cloud Labs & HiPODS-Greater China Cloud Labs & HiPODS IBM Cloud Computing Case Studies Jinzy Zhu/ Executive, IBM Cloud Labs & HiPODS-Greater China As the world gets smarter, demands on the infrastructure will grow. Smart traffic systems

More information

Meeting the Future with a Converged Infrastructure:

Meeting the Future with a Converged Infrastructure: 50 Years of Growth, Innovation and Leadership Meeting the Future with a Converged Infrastructure: Delivering Applications for the 21st Century A Frost & Sullivan White Paper www. Frost & Sullivan Introduction...

More information

ROLE SPECIFICATION INTERNATIONAL FINANCE CORPORATION

ROLE SPECIFICATION INTERNATIONAL FINANCE CORPORATION ROLE SPECIFICATION for the position of with GENERAL COUNSEL INTERNATIONAL FINANCE CORPORATION AMSTERDAM ATHENS ATLANTA BARCELONA BEIJING BERLIN BOGOTÁ BOSTON BRUSSELS BUDAPEST BUENOS AIRES CALGARY CHICAGO

More information

The Crossroads of Accounting & IT

The Crossroads of Accounting & IT The Crossroads of Accounting & IT Donna Kay, MBA, PhD, CPA, CITP Maryville University of Saint Louis Ali Ovlia, MS, DM Webster University Pearson Boston Columbus- Indianapolis New York San Francisco Upper

More information

ECONOMICS AND THE BUSINESS ENVIRONMENT

ECONOMICS AND THE BUSINESS ENVIRONMENT ECONOMICS AND THE BUSINESS ENVIRONMENT Third edition John Sloman and Elizabeth Jones Financial Times Prentice Hall is an imprint of Harlow, England London New York Boston San Francisco Toronto Sydney Tokyo

More information

ANSYS SCADE Model-Based Development Solutions for RAIL TRANSPORTATION. Critical Systems & Software Development Solutions

ANSYS SCADE Model-Based Development Solutions for RAIL TRANSPORTATION. Critical Systems & Software Development Solutions ANSYS SCADE Model-Based Development Solutions for RAIL TRANSPORTATION Critical Systems & Software Development Solutions Rail Transportation Applications Automatic Train Control and Protection Systems:

More information

M2M For industrial and automotive

M2M For industrial and automotive M2M For industrial and automotive Content ST at a glance... 4 Where to find us... 5 The value chain... 5 Secure MCU... 6 Focus on ST33 secure microcontrollers... 6 M2M fields of application... 7 What is

More information

Software Project Management (Second Edition)

Software Project Management (Second Edition) Software Project Management (Second Edition) Bob Hughes and Mike Cotterell, School of Information Management, University of Brighton The McGraw-Hill Companies London Burr Ridge, IL New York St Louis San

More information