Software Safety Supervision On-board Autonomous Spacecraft - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Software Safety Supervision On-board Autonomous Spacecraft

Résumé

This 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.
Fichier principal
Vignette du fichier
4A3_JP.Blanquart_EADS.pdf (265.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02271033 , version 1 (26-08-2019)

Identifiants

  • HAL Id : hal-02271033 , version 1

Citer

J P Blanquart, S Fleury, M Hernek, C Honvault, Félix Ingrand, et al.. Software Safety Supervision On-board Autonomous Spacecraft. 2nd Embedded Real Time Software Congress (ERTS'04), Jan 2004, Toulouse, France. ⟨hal-02271033⟩
60 Consultations
124 Téléchargements

Partager

Gmail Facebook X LinkedIn More