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. 

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.  

Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

 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.

Important Dates

•  Saturday, May 23, 2026.  Submission deadline 
•  Saturday, June 13. Notification of acceptance.
• Saturday, June 27.  Final Copy. 

Committees

Program Committee

• Bjorn Andersson (SEI)
• Laura Humphrey (NASA)
• Michael Monaghan (NASA)
• Alessardro Pinto (JPL)
• Jan Sommer (DRL)
• Tim Wang (RTX)

Chairs

• Alwyn E. Goodloe (NASA Langely Research Center) 
• Scott Tashakkor  (NASA Marshall Space Flight Center) 

Contact

All questions about submissions should be emailed to Alwyn Goodloe at a.goodloe@nasa.gov