Software Safety Supervision On-board Autonomous Spacecraft

Abstract

International audienceThis paper presents a study on software product assurance measures and dependability techniques to support autonomous functions on-board spacecraft. An analysis of current standards and techniques in space and other domains, and a survey of software autonomy projects from the point of view of product assurance, dependability and safety are presented. Product assurance measures are proposed, and the paper concludes with the description of two generic software components that have been developed and experimented to provide additional safety mechanisms in autonomous space systems: a "safety bag" in charge of monitoring on-board a set of safety properties, and a "plausibility checker" complementing on ground the validation means for interpreted procedures before they are uploaded and executed on-board