| Apologies for any duplication. ------------------------------------- Call for Participation (early registration deadline March 31, 2009) 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 2009, San Francisco, CA, USA This workshop will bring together those on the cutting edge of system development, who are encountering difficult verification and validation (V&V) and certification challenges, with researchers who are developing new approaches for the V&V and analysis of cyber physical systems (CPS). The goal is to help find common ground that could lead to affordable certification of next generation systems that strain existing certification and V&V approaches to make the desired new mixed criticality architecture paradigm a reality. An important part of this session will be panel discussions that provide an exchange of ideas among system developers, mixed criticality experts, and the CPS research community with the hope of spawning continued research and collaboration. http://www.cse.wustl.edu/~cdgill/CPSWEEK09_MCAR/ 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 Perspective Panel Discussion: Experts from Green Hills (Integrity), Wind River (VxWorks) and Lynuxworks discuss their experience with current Real time Operating systems in mixed critical environments (ARINC 653, DO-170B, and MILPS). 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 |