CiWork201
CISTER 3rd Industrial Workshop
on Real-Time and Embedded Systems

Porto, Portugal
10th December, 2015

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