RESCUE

REliable and Safe Code execUtion for Embedded systems

Overview

Rescue Team

Results

Events


News

Jan.2008 Kick-off meeting (25/01/2008)

RESCUE kick-off meeting (25/01/2008)

Where:

DI@UBI Covilhã

When:

Friday, January 25th, 2008

Preliminary Program:

  • 10h45 - Opening Session
  • 11h00 - 11h30 : Embedded Systems Challenges and Trends (Miguel Pinho - ISEP)
  • 11h30 - 12h00 : Cooperative Distributed Embedded Systems (Luis Nogueira - ISEP)
  • 12h00 - 12h30 : Cost Analysis of Functional Programs (Hugo Simões - DCC/FCUP)
  • 12h30 - 13h00 : Security and Safety Policies: some considerations related to the CACE and RESCUE Projects (Manuel Barbosa - DI/UM)
  • Lunch
  • 15h00 - 15h30 : Design by Contracts and JML: Concepts and tools (José Carlos Bacelar - DI/UM)
  • 15h30 - 16h00 : Proof Based Tools Assisted Program Verification (Jorge Sousa Pinto - DI/UM)
  • 16h00 - 16h30 : System L: a Linear Language based on Iteration (Sandra Alves - DCC/FCUP)
  • Coffee Break
  • 16h45 - 16h15 : The Formula-Tree Proof Method (Sabine Broda - DCC/FCUP)
  • 17h15 - 17h45 : On the characterisation of strongly normalising terms with explicit substitution and/or generalised application (José Carlos Espirito Santos - DM/UM)
  • 17h45 - 18h15 : Kleene Algebras and Temporal logics for Program Verification (Nelma Moreira e David Pereira - DCC/FCUP)
  • 18h15 - 18h30 : Discussion Panel.
  • 18h30 : Closing Session

r4 - 17 Jan 2008 - 21:11:37 - SimaoMeloDeSousa
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM