rst2009
  • Accueil
  • >
  • RST 2009
  • >
  • Program
  • >
  • Tutorials

RST 2009

  • RST 2009
  • Call for Papers
  • Program Committee
  • Venue
  • Program
    • Papers
    • Tutorials
    • Tutorial details
    • Workshops
    • Industrial presentations
    • Keynote speakers
  • Important Dates
  • Instructions to Authors
  • Call for Tutorials
  • Call for industrial presentations
  • Call for Workshops
  • Call for Exhibitions
  • Grants for Students
  • Sponsors
  • Registration
  • Social events
  • Contacts
  • Outcomes

Monday

8 June

T1

Full day

Quentin Ochem (AdaCore, France)
Building Cross Language Applications using Ada

T2

Morning

John McCornick (USA)
An Introduction to Parallel and Real-Time Programming with Ada

T3

Afternoon

Pat Rogers (USA)
Software Fault-Tolerance,

T4

Morning

William Bail (USA)
Software measures for building dependable software systems

T10

Afternoon

Julio Medina (Spain) Huascar Espinoza,  (France)
Modeling for Schedulability Analysis with the UML Profile for MARTE

Friday

12 June

T5

Full day

Roderick Chapman (Praxis High Integrity Systems)
SPARK - The Libre Language and Toolset for High-Assurance Software

T6

Morning

Pat Rogers (USA)
Hard Real-Time and Embedded Systems Programming

T7

Afternoon

Rob Pettit (The Aerospace Corporation, USA)
Designing Real-Time, Concurrent, and Embedded Software Systems using UML and Ada

T8

Morning

Matthew Heaney (USA) 
Object-Oriented Programming in Ada 2005

T9

Afternoon

Ian Broster (UK)
Execution Time: Analysis, Verification, and Optimization in Reliable Systems

Morning tutorial sessions will start at 9:30 and end at 13:00. Afternoon sessions will start at 14:00 and end at 17:30. There will be coffee breaks at 11:00 - 11:30 and at 15:30 - 16:00.

Crédits | informations légales