Programme
Embedded Computing Platforms and Networks Systems
Processes, Methods and Tools
Dependability: Safety, Security, Quality of Service, Fault Tolerance
Software Verification/Validation/Certification
Model Driven Engineering
Application Domain
| Wednesday 27 January | ||||
|---|---|---|---|---|
| Auditorium St Exupery | Guillaumet | Ariane 1 | Ariane 2 | |
| 09:00 | Opening Allocutions (St Exupery Room) | |||
| 09:15 | Opening Session - Invited Talks of the Conference President | |||
| 10:30 | Exibition visit & Refreshment break (Concorde Room, level -1) | |||
| 11:00 | We.1.A Avionic Certification |
We.1.B Multicore |
We.1.C Model Checking |
We.1.D Applicative Domain |
| 12:30 | Lunch (Caravelle Room, level 0) | |||
| 14:00 | Keynote Address 1 | |||
| 14:45 | We.2.A Certification |
We.2.B Network |
We.2.C Code Generation |
We.2.D Design Space Exploration 1 |
| 16:15 | Exibition visit & Refreshment break (Concorde Room, level -1) | |||
| 16:45 | Panel 1 - Foundations of trust for safety critical software | |||
| 17:45 | Welcome Reception - Exhibition Hall, Room Concorde Level -1 | |||
| Thursday 28 January | ||||
|---|---|---|---|---|
| Auditorium St Exupery | Guillaumet | Ariane 1 | Ariane 2 | |
| 09:00 | Th.1.A Design Space Exploration 2 |
Th.1.B Network & Simulation |
Th.1.C Virtual Platforms |
Th.1.D Dependability |
| 10:30 | Exibition visit & Refreshment break (Concorde Room, level -1) | |||
| 11:00 | Keynote Address 2 | |||
| 11:45 | Th.2.A Code Generation |
Th.2.B Multicore & Predictability |
Th.2.C Test |
Th.2.D Safety & Security |
| 12:45 | Lunch (Caravelle Room, level 0) | |||
| 14:00 | Panel 2 - Internet of Things: business models & technology enablers | |||
| 15:00 | Th.3.A Tool Support |
Th.3.B Process |
Th.3.C Requirement Validation |
Th.3.D Modeling for Safety |
| 16:00 | Exibition visit & Refreshment break (Concorde Room, level -1) | |||
| 16:30 | Th.4.A Model Driven Engineering in practice 1 |
Th.4.B Multicore & Automotive |
Th.4.C Static Analysis |
Th.4.D Model Driven Engineering in practice 2 |
| 19:30 | Gala Evening (Pierre Baudis Congress Center Room Caravelle, Level 0) | |||
| Friday 29 January | ||||
|---|---|---|---|---|
| Auditorium St Exupery | Guillaumet | Ariane 1 | Ariane 2 | |
| 09:00 | Fr.1.A Domain Specific Language 1 |
Fr.1.B Domain Specific Language 2 |
Fr.1.C Simulation |
Fr.1.D Methods & Tools |
| 10:30 | Exibition visit & Refreshment break (Concorde Room, level -1) | |||
| 11:00 | Keynote Address 3 | |||
| 11:45 | Fr.2.B Multicore & ARM |
Fr.2.C Worst Case Execution Time |
||
| 12:45 | Lunch (Caravelle Room, level 0) | |||
| 14:15 | Panel 3 - Highly Automated Driving | |||
| 15:15 | Closing Session (St Exupery Room) | |||