2023 IEEE Space Computing Conference (SCC)最新文献

{"title":"Copyright Page","authors":"","doi":"10.1109/scc57168.2023.00003","DOIUrl":"https://doi.org/10.1109/scc57168.2023.00003","url":null,"abstract":"","PeriodicalId":258620,"journal":{"name":"2023 IEEE Space Computing Conference (SCC)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121380532","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Establishing Trust in NASA’s Artemis Campaign Computer-Human Interface (CHI) Implementation","authors":"George Salazar","doi":"10.1109/SCC57168.2023.00020","DOIUrl":"https://doi.org/10.1109/SCC57168.2023.00020","url":null,"abstract":"The NASA Artemis campaign will return humans to the Moon. This time, with the help of commercial and international partners, the campaign's objective is a permanent Moon base. The Moon base infrastructure, including an orbiting station and surface assets, will be developed for astronauts to stay for the long haul to learn to live and work on another planet in preparation for an eventual Humans-to-Mars mission. As the roundtrip communication delays increase in deep space exploration, the crew will need more on-board systems autonomy and functionality to maintain and control the vehicle or habitat. These mission constraints will change the current Earth-based spacecraft to ground control support approach that will demand safer, more efficient, and more effective Computer-Human Interface (CHI) control. For Artemis, CHI is defined as the elements that the crew interfaces with: audio, imagery, lighting, displays, and crew controls subsystems. Understanding how CHI will need to evolve to support deep space missions will be critical for the Artemis campaign –especially crew controls, which is the focus of this paper. How does NASA ensure crew controls are reliable enough to control complex systems and prevent a catastrophic event due to human error–especially when the astronauts could be physiologically and/or psychologically impaired? NASA's approach to mitigating catastrophic hazards in human spaceflight system development such as crew controls, is through a holistic system engineering and Human System Integration (HSI) methodology. This approach focuses on incorporating NASA's Human-Rating Requirements to ensure consideration of human performance characteristics to control and safely recover the crew from hazardous situations. This paper discusses, at a high level, CHI for the Artemis campaign. Next, a discussion of what it means to human-rate a space system crew controls and how trust in CHI begins with the NASA human rating requirements. Finally, a discussion on how systems engineering and the HSI process ensure that crew control implementation incorporates the NASA human-rating requirements.","PeriodicalId":258620,"journal":{"name":"2023 IEEE Space Computing Conference (SCC)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126105246","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Lot-to-Lot Variability and TID degradation of Bipolar Transistors Analyzed with ESA and PRECEDER Databases","authors":"P. Martín-Holgado, A. Romero-Maestre, José de-Martín-Hernández, Florian Krimmel, Thomas Borel, M. Muschitiello, A. Costantino, F. Tonicello, C. Poivey, Anastasia Pesce, Olga Ramos, M. Domínguez, Y. Morilla","doi":"10.1109/SCC57168.2023.00012","DOIUrl":"https://doi.org/10.1109/SCC57168.2023.00012","url":null,"abstract":"The NewSpace era has drastically increased the use of COTS (Commercial-off-the-shelf Components) to cover the needs of the new requirements: lower costs, shorter lead times, and better performances. However, the radiation risks associated with non-radiation hardened components are especially relevant in this context. Therefore, new approaches must be considered necessary to address this challenge for the assurance of radiation hardness. This work presents standard and parameterized radiation databases and how they can be used to numerically assess the critical variability from lot to lot in response to gamma radiation based on the coefficient of variation.","PeriodicalId":258620,"journal":{"name":"2023 IEEE Space Computing Conference (SCC)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129824370","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Challenges in FPGA Design for Complex, High Performance Space Applications","authors":"Chinh H. Le, L. Miles","doi":"10.1109/SCC57168.2023.00016","DOIUrl":"https://doi.org/10.1109/SCC57168.2023.00016","url":null,"abstract":"Field Programmable Gate Array (FPGA) technology has been used extensively in space applications where the natural radiation environment presents major challenges to electronic parts. Commercial FPGA technology is trending to deep nano-meter silicon processes, which impacts the availability of radiation resilience FPGA chips. Space systems require long timeframes for development and launch, and often the electronics and code may become obsolete or require updating before the system can be launched. FPGA logic/fabric-size continues to grow dramatically which allows and practically requires more and more IP cores to be integrated within a chip. New IP cores and tools will be needed to enable space designs with commercial FPGA technology to withstand radiation. This paper discusses the challenges in designing FPGA-based space systems and potential open-source and commercial technologies that will be useful to space application developers. It also references an ongoing FPGA based space telescope spectrometer design to discuss different aspects of complex FPGA design with mixed analog and digital circuits.","PeriodicalId":258620,"journal":{"name":"2023 IEEE Space Computing Conference (SCC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128803610","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Performance Evaluation of the Radiation-Tolerant NVIDIA Tegra K1 System-on-Chip","authors":"Derrek C. Landauer, Tyler M. Lovelly","doi":"10.1109/SCC57168.2023.00014","DOIUrl":"https://doi.org/10.1109/SCC57168.2023.00014","url":null,"abstract":"Radiation-hardened (rad-hard) processors are designed to be reliable in extreme radiation environments, but they typically have lower performance than commercial-off-the-shelf (COTS) processors. For space missions that require more computational performance than rad-hard processors can provide, alternative solutions such as COTS-based systems-on-chips (SoCs) may be considered. One such SoC, the NVIDIA Tegra K1 (TK1), has achieved adequate radiation tolerance for some classes of space missions. Several vendors have developed radiation-tolerant single-board computer solutions targeted primarily for low Earth orbit (LEO) space missions that can utilize COTS-based hardware due to shorter planned lifetimes with lower radiation requirements. With an increased interest in space-based computing using advanced SoCs such as the TK1, a need exists for an improved understanding of its computational capabilities. This research study characterizes the performance of each computational element of the TK1, including the ARM Cortex-A15 MPCore CPU, the NVIDIA Kepler GK20A GPU, and their constituent computational units. Hardware measurements are generated using the SpaceBench benchmarking library on a TK1 development board. Software optimizations are studied for improved parallel performance using OpenMP for CPU multithreading, ARM NEON for single-instruction multiple-data (SIMD) operations, Compute Unified Device Architecture (CUDA) for GPU parallelization, and optimized Basic Linear Algebra Subprograms (BLAS) software libraries. By characterizing the computational performance of the TK1 and demonstrating how to optimize software effectively for each computational unit within the architecture, future designers can better understand how to successfully port their applications to COTS-based SoCs to enable improved capabilities in space systems. Experimental outcomes show that both the CPU and GPU achieved high levels of parallel efficiency with the optimizations employed and that the GPU outperformed the CPU for nearly every benchmark, with single-precision floating-point (SPFP) operations achieving the highest performance.","PeriodicalId":258620,"journal":{"name":"2023 IEEE Space Computing Conference (SCC)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126834688","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Sequential Deep Learning for Mars Autonomous Navigation","authors":"Hyoshin Park, M. Ono","doi":"10.1109/SCC57168.2023.00011","DOIUrl":"https://doi.org/10.1109/SCC57168.2023.00011","url":null,"abstract":"Recent advances in computer vision for space exploration have handled prediction uncertainties well by approximating multimodal output distribution rather than averaging the distribution. While those advanced multimodal deep learning models could enhance the scientific and engineering value of autonomous systems by making the optimal decisions in uncertain environments, sequential learning of those approximated information has depended on unimodal or bimodal probability distribution. In a sequence of information learning and transfer decisions, the traditional reinforcement learning cannot accommodate the noise in the data that could be useful for gaining information from other locations, thus cannot handle multimodal and multivariate gains in their transition function. Still, there is a lack of interest in learning and transferring multimodal space information effectively to maximally remove the uncertainty. In this study, a new information theory overcomes the traditional entropy approach by actively sensing and learning information in a sequence. Particularly, the autonomous navigation of a team of heterogeneous unmanned ground and aerial vehicle systems in Mars outperforms benchmarks through indirect learning.","PeriodicalId":258620,"journal":{"name":"2023 IEEE Space Computing Conference (SCC)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128645269","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Trustworthy Autonomy for Gateway Vehicle System Manager","authors":"J. Dabney, Julia M. Badger, P. Rajagopal","doi":"10.1109/SCC57168.2023.00018","DOIUrl":"https://doi.org/10.1109/SCC57168.2023.00018","url":null,"abstract":"The Vehicle System Manager (VSM) is the highest-level software control system in the Gateway hierarchical Autonomous System Management Architecture. The VSM provides four function categories: Mission Management and Timeline Execution, Resource Management, Fault Management, Vehicle Control and Operation. VSM provides various levels of automation ranging from fully autonomous operations with no flight crew and minimal ground monitoring to advisory automation when Gateway is crewed and has full ground monitoring. Trustworthiness is achieved via verified specification, comprehensive development verification, and real-time verification using assume-guarantee contracts. Development verification includes semantic verification of the data model via peer review and testing and assume-guarantee contracts implemented using the PlusCal/TLA+ environment. VSM also uses runtime assume-guarantee contracts, implemented in R2U2 via a runtime monitor that feeds the necessary telemetry data to R2U2 and which receives and responds to the R2U2 verdict stream. The full lifecycle verification approach and use of assume-guarantee contracts provides increased trustworthiness to VSM. Preliminary results provide encouragement that VSM can be both autonomous and trustworthy.","PeriodicalId":258620,"journal":{"name":"2023 IEEE Space Computing Conference (SCC)","volume":"323 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121259332","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"SEFI Mitigation Middleware Radiation Test Results for NASA and Other GPU Applications","authors":"I. Troxel, Daniel Sabogal, Matthew Gruber","doi":"10.1109/SCC57168.2023.00008","DOIUrl":"https://doi.org/10.1109/SCC57168.2023.00008","url":null,"abstract":"A software-based SEFI Mitigation Middleware was developed, and its efficacy demonstrated through 130+ hours of radiation testing. Recent heavy ion tests focused on a NASA Johnson astronaut displays application on a GPU and the results of these tests are presented.","PeriodicalId":258620,"journal":{"name":"2023 IEEE Space Computing Conference (SCC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127894443","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}