Tuesday, September 13th 2011

• Transportation from Santander
• 20:00-21:00 Welcome meeting
• 21:00 Dinner

Wednesday, September 14th 2011

• 9:00-13:00
  • Session A.1: Multiprocessor issues (part 1)
  • 11:00-11:30 Coffee break
  • Session A.1: Multiprocessor issues (part 1)
• 13:00 Lunch
• 16:30-20:30
  • Session A.2: Multiprocessor issues (part 2, resource control protocols)
  • 18:00-18:30 Coffee break
  • Session A.2: Multiprocessor issues (part 2, resource control protocols)
• 21:00 Dinner

Thursday, September 15th 2011

• 9:00-13:00
  • Summary of results from Day 1
  • Session B: Language profiles and application frameworks
  • 11:00-11:30 Coffee break
  • Session B: Language profiles and application frameworks
• 13:00 Lunch
• 15:45-19:15
  • Session B: Language profiles and application frameworks (cont.)
  • 17:30-18:00 Coffee break
  • Session B: Language profiles and application frameworks (cont.)
• 20:00 Social event and banquet

Friday, September 16th 2011

• 9:00-13:00
  • Summary of results from Day 2
  • Session C: Ada Concurrency
  • 11:00-11:30 Coffee break
  • Session C: Ada Concurrency
• 13:00 Lunch
• Transportation to Santander

Sessions details

Session A.1: Multiprocessor issues (part 1)
Chair: Jorge Real
Rapporteur: Jose Ruiz
Papers: 01, 05
Discussion topics:

• Fitness of Ada approach for very large number of cores
• Non-SMP architectures

Session A.2: Multiprocessor issues (part 2, resource control protocols)
Chair: Andy Wellings
Rapporteur: Luis Miguel Pinho
Papers: 01, 04, 08
Discussion topics:

• New synchronization primitives to improve parallelism (broadcast primitive, parallel function in POs)
• New protocols for POs
• Software Transactional Memory and Ada

Session B: Language profiles and application frameworks
Chair: Alan Burns
Rapporteur: Tullio Vardanega
Papers: 02, 03, 06, 07, 11
Discussion topics:

• Profile for fault-tolerant high-integrity RT
• EDF-Ravenscar Profile
• High-integrity Distribution
• Patterns and code generation
• Multiprocessor RT Framework

Session C: Ada Concurrency
Chair: Juan A. de la Puente
Rapporteur: Stephen Michell
Papers: 05, 09, 10, 12
Discussion topics:

• Execution-time accounting of interrupts
• Deferred attribute setting mechanism
• CPU affinity of timing events
• Concurrency vulnerabilities
• Ada Real-Time Services and Virtualization

Réalisation Axome - Création de sites Internet