The “Verification and Validation of Multi-Core System Architectures” Workshop is a one-day in-person seminar within the 2025 IEEE Space Computing Conference(SCC), featuring invited presentations and interactive discussions on best practices for verifying and validating software on a multi-core platform.

The workshop focuses on the transition to multi-core architectures in space flight applications and the resulting implications to a system designer or system integrator’s ability to assess the safety and performance of the architecture under all conditions. It also includes discussion of approaches, engineering methodologies, and tools to enable space flight certification of these systems.

The workshop will be chaired by Alwyn Goodloe (NASA Langley Research Center, Research Computer Engineer), Vivek Reddy (NASA/JPL, Flight Software Group Supervisor),Scott Tashakkor (NASA/MSFC, NESC Deputy Software Tech Fellow).

The workshop format will include invited presentation and an interactive challenge problem to support discussion amongst audience members

Call for Participation

Summary

The “Verification and Validation of Multi-Core System Architectures” Workshop is a one-day in-person seminar within the 2025 IEEE Space Computing Conference(SCC). The workshop format will include invited presentation and an interactive challenge problem to support discussion amongst audience members.

Participants are expected to take an active role in working the challenge problem and participating in discussions.

Speakers

TBD

Schedule

TBD