Workshop RESCUE - Reliable and Safe Code Execution for Embedded Systems @ UBI

Programa

9:00 - 9:30 : Boas vindas
9:30 - 10h00 : S. Melo de Sousa (UBI, em colaboração com a CSW): Desenho Formal de módulos de Sistemas Operativos em B
10:00 - 10:30 : N. Gaspar e D. Fialho (UBI): Worst Case Execution Time Analysis
10:30 - 10:45 : Coffee Break
10:45 - 11:15 : J.C Bacelar (UM): Formal Verification of Cryptographic Software using Frama-C
11:20 - 11:45 : S. Amado, M. Coutinho, L. Dias (Edisoft, Dept. Space): Real-Time Critical Systems
11:50 - 12:15 : P. Petiz (Edisoft. Dept. Defense & Security) : Validation Solutions for embedded SW
12:20 - 12:40 : L. Pinho (ISEP): cooperative embedded systems
12:40 - 14:30 : Almoço
14:30 - 15:00 : P. Vasconselos (FCUP): Validação por testes com o QuickCheck
15:05 - 15:30 : D. Pereira (FCUP): Modal Kleene Algebra and Timed Regular Expressions. Towards the specification and verification of resource policies within Kleene algebra
15:30 - 15:45 : Coffee Break
15:45 - 16:15 : D. da Cruz (UM): GamaSlicer: an online laboratory for program verification and analysis
16:20 - 16:55 : Cláudio Amaral (FCUP): Verification of Data Structures in Erlang
17:00 - 17:30 : J. Tojal, C. Carloto (UBI, em colaboração com a CSW): Primeiros passos na verificação de sistemas operativos de tempo real usando Frama-C e VCC

Workshop RESCUE - Reliable and Safe Code Execution for Embedded Systems