Verification and Validation of Multi-Core System Architectures

IEEE Space Mission Challenges for Information Technology - IEEE Space Computing Conference
Computer History Museum  •  Mountain View, CA, USA  •  15-19 July 2024

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

IEEE

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:

Copyright © IEEE SMC-IT/SCC 2024 - Privacy Policy