|
|
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
4:30 |
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
|
|
