University | Computer Science  

    » Circus Family » hiJaC  




 

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

 

 

 

 

   

       Department of Computer Science

       University of York, Deramore Lane, York, YO10 3TA, UK

       Tel: 01904 325500 | Fax:01904 325599                                                                                                  Last updated on 8 Dec 2011