9th European Congress

FROM JANUARY 31st TO FEBRUARY 2nd / TOULOUSE, FRANCE

PIERRE BAUDIS CONGRESS CENTER

EMBEDDED REAL TIME
SOFTWARE AND SYSTEMS

Intelligent Systems & Smart Vehicles Formal Methods
Certification, Safety, Security, Fault-tolerance Platforms and Networks
Model Based System Engineering Software Engineering
Multi-core (intensive computing) Virtual Engineering and Simulation

Pierre Bieber

ONERA, France

Thursday 1 February

15:00 - 16:00

Room Guillaumet

Th.2.B

Safety and Dependability Assessment

Th.2.B.215:30

Download Th.2.B.2

Model-Based Safety Analysis for co-assessment of operation and system safety: application to specific operations of unmanned aircraft

16:30 - 18:00

Room Guillaumet

Th.3.B

Formal Requirements

Th.3.B.317:30

Download Th.3.B.3

Formal architecture modeling for documenting and assessing Aeronautics Maintenance: A case study

16:30 - 18:00

Room Ariane 1

Th.3.C

Design for Multicore

Th.3.C.317:30

Download Th.3.C.3

A model based certification approach for multi/many-core embedded systems

ORGANISED BY


ERTS 2020 - SAVE THE DATE

January 2020, Wednesday 29 -31
Pierre Baudis Congress Center, Toulouse France

sponsors

  • ADACORE

    ADACORE
  • AIRBUS

    AIRBUS
  • CONTINENTAL

    CONTINENTAL
  • GROUPE RENAULT

    GROUPE RENAULT
  • SIEMENS - MENTOR GRAPHICS

    SIEMENS - MENTOR GRAPHICS
  • Institute of Technology Antoine de Saint Exupéry

    Institute of Technology Antoine de Saint Exupéry
  • ANSYS

    ANSYS
  • QA SYSTEMS

    QA SYSTEMS

 

partners

  • AEROSPACE VALLEY

    AEROSPACE VALLEY
  • ONERA

    ONERA
  • TOULOUSE METROPOLE

    TOULOUSE METROPOLE
  • REGION OCCITANIE / PYRENEES - MEDITERRANEE

    REGION OCCITANIE  / PYRENEES - MEDITERRANEE

 

media partners

  • L'embarqué

    L'embarqué