Verification and Validation Challenges in Space Systems Workshop

IEEE Space Mission Challenges for Information Technology / Space Computing Conference

Hilton Pasadena - Pasadena, California

About the Workshop

Both the avionics and software used in space missions are growing significantly more complex and the verification and validation (V&V) of these systems is growing more difficult and costly. There is a growing need for new approaches to V&V that meet the challenges of enabling flight certification in a timely and cost-effective manner. This workshop focuses on the verification and validation of software and hardware systems for space with emphasis on processes, engineering methodologies, and tools to enable space flight certification of these systems. There will be a special session focusing on the transition to multi-core architectures such as the High-Performance Space Computer (HPSC) in space flight applications and the V&V challenges that arise from employing very complex processors that favor average case performance over deterministic behavior.

Workshop Format

The workshop will have a mix of both invited speakers and reviewed papers. The reviewed papers will appear in the SMC-IT/SCC conference proceedings.

Paper Submission Guidelines

Paper Submissions We welcome full papers, which should adhere to the IEEE formatting guidelines, available here, and require a verbal presentation. Please submit your draft paper for review by the deadline listed below; paper acceptance notification will follow peer and program committee review. Alternatively, an abstract can be submitted in lieu of a draft paper. The final “camera-ready” paper must be submitted by the deadline listed below.
Page Limit Full papers should not exceed six pages, excluding references.
Publication All accepted papers will be published in the IEEE conference proceedings, indexed with the IEEE Xplore database. Note that IEEE has a “Podium and Publish” policy for conferences, which means that no manuscript will be published in IEEE Xplore without first being presented at the conference.