Benchmarking software requirements documentation for space application

Authors:
Paulo C. Véras;Emilia Villani;Ana Maria Ambrósio;Rodrigo P. Pontes;Marco Vieira;Henrique Madeira
Affiliations:
Department of Mechanical Engineering, Instituto Tecnológico de Aeronáutica, São José dos Campos, SP, Brazil;Department of Mechanical Engineering, Instituto Tecnológico de Aeronáutica, São José dos Campos, SP, Brazil;Ground System Division, National Institute for Space Research, São José dos Campos, SP, Brazil;Department of Mechanical Engineering, Instituto Tecnológico de Aeronáutica, São José dos Campos, SP, Brazil;DEI, CISUC, University of Coimbra, Coimbra, Portugal;DEI, CISUC, University of Coimbra, Coimbra, Portugal
Venue:
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Year:
2010

Citing 15
Cited 1

No Silver Bullet Essence and Accidents of Software Engineering

Computer
Automated consistency checking of requirements specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated analysis of requirement specifications

ICSE '97 Proceedings of the 19th international conference on Software engineering
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems

Software Quality Control
Identifying Quality-Requirement Conflicts

IEEE Software
Predictions and Farewells

IEEE Software
Requirements Engineering as a Success Factor in Software Projects

IEEE Software
Experimental Evaluation of a COTS System for Space Application

DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance

PRDC '01 Proceedings of the 2001 Pacific Rim International Symposium on Dependable Computing
Software Security Checklist for the Software Life Cycle

WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
On Benchmarking the Dependability of Automotive Engine Control Applications

DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Detecting of Requirements Inconsistency: An Ontology-Based Approach

CIT '05 Proceedings of the The Fifth International Conference on Computer and Information Technology
Just Enough Requirements Management: Where Software Development Meets Marketing

Just Enough Requirements Management: Where Software Development Meets Marketing
Managing requirements conflicts in software product lines: A goal and scenario based approach

Data & Knowledge Engineering
Dependability Benchmarking for Computer Systems

Dependability Benchmarking for Computer Systems

Contributions of model checking and CoFI methodology to the development of space embedded software

Empirical Software Engineering

Quantified Score

Hi-index	0.02

Visualization

Abstract

Poorly written requirements are a common source of software defects. In application areas like space systems, the cost of malfunctioning software can be very high. This way, assessing the quality of software requirements before coding is of utmost importance. This work proposes a systematic procedure for assessing software requirements for space systems that adopt the European Cooperation for Space Standardization (ECSS) standards. The main goal is to provide a low-cost, easy-to-use benchmarking procedure that can be applied during the software requirements review to guarantee that the requirements specifications comply with the ECSS standards. The benchmark includes two checklists that are composed by a set of questions to be applied to the requirements specification. It was applied to the software requirements specification for one of the services described in the ECSS Packet Utilization Standard (PUS). Results show that the proposed benchmark allows finding more with a low effort.