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 |