1st hiJaC Workshop
Date: Tuesday, 15th November 2011
Venue: Room CSM082, Department of Computer Science, University of York, York, UK
Agenda:
| 9:15 | Welcome and Coffee |
| 9:30 | Andy Wellings: Safety-Critical Java (SCJ) ((30-minute presentation + 15-minute discussions) |
| 10:15 | Coffee |
| 10:45 | Ana Cavalcanti: hiJaC Approach (30+15) |
| 11:30 | Jim Woodcock: Foundations of hiJaC (30+15) |
| 12:15 | Lunch |
| 13:30 | Frank Zeyda: Circus Models of SCJ |
| 14:00 | Kun Wei: Circus Time and SCJ |
| 14:15 | Statements of position (10-minutes per partner or invited organisation)) |
| Colin O'Halloran, QinetiQ | |
| Chris Wild, Praxis Systems Ltd | |
| Simon Perry, Atego | |
| Adrian Larkham, Atego | |
| Rod White, MBDA | |
| Martin Schoeberl, Technical University of Denmark | |
| 15:15 | Coffee |
| 15:45 | Discussion: modelling techniques for SCJ applications |
| 16:30 | Close |