CPS Week 2009 Workshop on Mixed Criticality

Roadmap to Evolving UAV Certification

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]

Call for Position Papers (also available in pdf and text versions)

The Workshop on Mixed Criticality solicits position papers on concepts 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. The goal is to provide an exchange of ideas among system developers, mixed criticality experts, and the CPS research community to spawn continued research and collaboration. Presentations and participation in moderated panels at the workshop will be selected for invitation from among the submitted position papers, by the workshop program committee.

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). Topics of interest to this workshop include, but are not limited to, the following:

System Challenges

  1. Compositional Certification of Systems and Software
  2. Multi-Core Hardware (e.g., symmetric, asymmetric, cell)
  3. Development Environment / Tool Support for Certification
  4. Boundaries between Hypervisor, RTOS, Middleware, and Application
  5. Future Processor Architectures

Middleware Challenges

  1. System Behavior Prediction/Modeling (Soft/Hard Scheduling, Bounds, WCET, Robustness, Fault Tolerance, Formal Methods, V&V Tools, etc.)
  2. Uncertainty Management (FD & I, Health Mgmt., Assurance, Availability, Redundancy, Reconfiguration)
  3. Ensuring System Security (virtualization, partitioning, kernel separation, etc.).

Real Time OS (RTOS) Challenges

  1. Separation Mechanisms (including more than time and space partitioning)
  2. Memory Management
  3. Scheduling
  4. Support for Fault Tolerance
  5. Resource Management

We particularly encourage position papers that describe research directions in new areas, or that share lessons learned in practical applications.

Position papers for the workshop should be formatted using the standard ACM format, and be between 1-2 pages in length. Templates are available at http://www.acm.org/sigs/publications/proceedings-templates. Authors should please not change the ACM template in terms of font size or page margins, and should please e-mail workshop submissions by Monday, March 16, 2009 (Extended Deadline) to: mixedcritical2009@ieee.org

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