Summary

The "Verification and Validation of Multi-Core System Architectures" Workshop is a one-day in-person seminar within the 2024 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 Vivek Reddy (NASA/JPL, Flight Software Group Supervisor), Alwyn Goodloe (NASA Langley Research Center, Research Computer Engineer), Scott Tashakkor(NASA/MSFC, NESC Deputy Software Tech Fellow), and Kenneth Costello (NASA IVV, Advanced Engineering Insight Lead).

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

Speakers

Dionisio de Niz is a Principal Researcher at the Software Engineering Institute at Carnegie Mellon University. He received an M.S. in information networking from the Information Networking Institute and a Ph.D. in electrical and computer engineering from Carnegie Mellon University. His research interests include cyber-physical systems, real-time systems, and model-based engineering. In the real-time arena he has recently focused on multicore processors and mixed-criticality scheduling, and has led a number of projects on both fundamental research and applied research for the private industry and government organizations

Théa-Martine Gauthier is the Software Architect and High-Performance Embedded Computing SME for NASA’s High Performance Space Computing SoC project. She has over 30 years experience with high performance embedded computing, applied performance engineering and multicore software development.

Schedule

TIME (PDT)	TITLE	PRESENTER
10:30 AM	Introduction	Workshop Chairs
11:15 AM	Flight Software Considerations for Multicore Processors	Thea-Martine Gauthier
12:00 PM	Lunch Break
1:15 PM	Interactive Challenge #1 - Hard Real Time Control Loop Application
2:00 PM	Timing Verification for Multicores	Dionisio De Niz
2:45 PM	Interactive Challenge #1 Re-Visit
3:15 PM	Coffee Break
3:45 PM	Interactive Challenge #2 - Mixed Criticality Application
4:30 PM	Interactive Challenges Re-Visit

Supporters

Your sponsorship is a strong statement about your organization's commitment to the field of Space Computing. SMC-IT/SCC 2024 continues to offer exciting opportunities for sponsors. Please refer to the Sponsor Prospectus and Sponsor Guide and Order Form for further sponsorship information.

Contact

If you have any questions, feel free to contact us at:

Email: smcit-scc_chairs@jpl.nasa.gov
Twitter: @smcit_conf