CPS Week 2009 Workshop on Mixed Criticality

Roadmap to Evolving UAV Certification

8:30am to 5:00pm

Thursday April 16, 2009
hosted by the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '09)
at Cyber-Physical Systems Week
April 13-16, 2009, San Francisco, CA, USA


[Call for Papers]

[Important Dates]




[Related Links]

Workshop Program

8:30 AM to
9:00 AM
Welcome / Introduction
Workshop Chairs: Russell Urzi (AFRL), James L. Paunicka (Boeing), Peter O. Stanfill (Lockheed Martin), John Scoredos (Northrop Grumman)
9:00 AM to
9:30 AM
Plenary Session - MCAR and MCAD Mixed-Criticality Architecture Requirements (MCAR) Program
[AFRL + Industry Leads]

Discussion of what Mixed Criticality and MCAR are, and of AFRL's role and leadership in this area. Description of current program and relevance to other efforts by NSF, NITRD, etc. Program roadmap.
9:30 AM to
10:30 AM
MCAR White Paper Presentation: A Research Agenda for Mixed-Criticality Systems
10:30 AM to
11:00 AM
Morning Break
11:00 AM to
12:00 PM
Panel: [Industry Experts - Boeing, Lockheed Martin, Northrop Grumman]
12:00 PM to
1:00 PM
Lunch Break
1:00 PM to
2:00 PM
Session 1: The Real time Operating System and Middleware Perspective

Panel Discussion: Experts from Green Hills (Integrity RTOS), Wind River (VxWorks RTOS), LynuxWorks (LynxOS RTOS), Objective Interface Systems (Middleware), and Real-Time Innovations (Middleware) discuss their experience and future research needs related to embedded real-time applications in mixed critical environments (including ARINC 653, DO-170B, and MILS).

2:00 pm to
2:45 pm
Session 2: Paper presentations followed by panel discussion

Presentation: Multi core OS Support for Mixed Criticality
Jim Anderson et al., University of North Carolina

Presentation: Virtual Platform Synthesis for Cyber-Physical Systems
Scott Brandt (UCSC), Christopher Gill (Washington U), and Richard West(Boston U)

2:45 pm to
3:30 pm
Session 3: Paper presentations followed by panel discussion

Presentation: Tool Qualification and Hardware Certification for Avionics and Aerospace Applications
Janusz Zalewski, Brian Butka, and Andrew Kornecki

Presentation: MCMA+CRET: A Mixed Criticality Management Architecture for Maximizing Mission Efficacy and Tool for Expediting Certification of UAVs
T. Mukherjee & S. K. S. Gupta, University of Arizona

3:30 PM to
3:45 PM
Afternoon Break
3:45 to
Session 4: Paper presentations followed by panel discussion

Presentation: Unmanned Autonomous Verification and Validation
Lee Pike, Don Stewart, and John Van Enk, Galois, Inc

Presentation: Software Failures in Aircraft Control Systems
Herbert Hecht, SoHaR Incorporated

4:30 PM to
5:00 PM
Closing Session and Wrap-up Discussion

Home Chris Gill, <cdgill@cse.wustl.edu>
Last modified Wednesday February 18, 2009