IDENTIFYING DEPENDABILITY REQUIREMENTS FOR SPACE SOFTWARE SYSTEMS DOI 10.5028/jatm.2010.02037810

Authors

  • Marcos Alécio dos Santos Romani Instituto de Aeronáutica e Espaço São José dos Campos − Brazil
  • Carlos Henrique Netto Lahoz Instituto de Aeronáutica e Espaço São José dos Campos − Brazil
  • Edgar Toshiro Yano Instituto Tecnológico de Aeronáutica São José dos Campos − Brazil

Keywords:

Dependability, software systems, requirements, space computer systems, criticality analysis.

Abstract

Computer systems are increasingly used in space, whether in launch vehicles, satellites, ground support and payload systems. Software applications used in these systems have become more complex, mainly due to the high number of features to be met, thus contributing to a greater probability of hazards related to software faults. Therefore, it is fundamental that the specification activity of requirements have a decisive role in the effort of obtaining systems with high quality and safety standards. In critical systems like the embedded software of the Brazilian Satellite Launcher, ambiguity, non-completeness, and lack of good requirements can cause serious accidents with economic, material and human losses. One way to assure quality with safety, reliability and other dependability attributes may be the use of safety analysis techniques during the initial phases of the project in order to identify the most adequate dependability requirements to minimize possible fault or failure occurrences during the subsequent phases. This paper presents a structured software dependability requirements analysis process that uses system software requirement specifications and traditional safety analysis techniques. The main goal of the process is to help to identify a set of essential software dependability requirements which can be added to the software requirement previously specified for the system. The final results are more complete, consistent, and reliable specifications.

Downloads

Published

2011-07-29

Issue

Section

Original Papers