Program
9:30 | Registration and Morning Coffee |
10:00 | Opening and CISTER Highlights Eduardo Tovar, CISTER |
10:20 | Round Table 1 - Interoperability and High Level Architecture Definition for DEWI Bubble Cross-Domain Application Development Moderator: Ramiro Robles, CISTER Industrial Panel: Rodrigo Ferreira, ISA Luísa Matos, ISA Carla Santos, INOVA+ Raquel Sousa, IncreaseTime Cláudio Silva, GMV |
11:00 | Round Table 2 - Runtime Verification of Safety-Critical Systems Moderator: Geoffrey Nelissen, CISTER Industrial Panel: Ricardo Mourão, Thales Portugal João Mira, Thales Portugal Manuel Coutinho, EDISOFT Cláudio Silva, GMV João Rodrigues, Critical Software |
11:40 | Coffee break & Research Posters |
12:00 | Round Table 3 - Towards Certifiable Resource Sharing in Safety-Critical Multi-Core Real-Time Systems Moderator: Benny Akesson, CISTER Industrial Panel: Manuel Coutinho, EDISOFT Marta Quintiães, Embraer Rúben Menezes, Embraer Sérgio Penna, Embraer Cláudio Silva, GMV João Rodrigues, Critical Software |
12:40 | Presentation of New Projects David Pereira, CISTER Ricardo Severino, CISTER |
12:50 | Standing lunch & Research Posters |
14:00 | Round Table 4 - Measurement-Based Timing Analysis on Multi-Core COTS Architecture Moderator: Vincent Nelis, CISTER Industrial Panel: Ricardo Mourão, Thales Portugal João Mira, Thales Portugal Marta Quintiães, Embraer Rúben Menezes, Embraer Sérgio Penna, Embraer Cláudio Silva, GMV |
14:40 | Round Table 5 - Middlewares and Service Oriented Architectures for Embedded Systems Moderators: Michele Albano and Luís Ferreira, CISTER Industrial Panel: Rodrigo Ferreira, ISA Luísa Matos, ISA Carla Santos, INOVA+ Raquel Sousa, IncreaseTime António Paulo Vasconcelos, Galp Energia Rodolfo Oliveira, Galp Energia Rogério Paulo, EFACEC (tbc.) |
15:20 | Open Discussion - Future Challenges and Directions of Real-Time Embedded Systems |
15:50 | Closing Remarks |