Research on the Safety Assurance Framework for Spacecraft Embedded Software

Résumé fourni par la source

Abstract: With the widespread application of embedded software in safety-critical systems, how to effectively ensure software safety has become one of the research hotspots in the field of software engineering. Based on the survey of software safety-related standards, we analyze the technologies related to software safety assurance. By combining the characteristics and development process of spacecraft embedded software, we propose a safety assurance framework for spacecraft embedded software. This framework has been applied in software development, and its application and effects are illustrated using Software Failure Mode Effect Analysis as an example, accumulating experience and assets for the safety-related work of spacecraft embedded software.

Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.