@InProceedings{VérasViAmPoViMa:2010:BeSoRe,
author = "V{\'e}ras, P. C and Villani, E. and Ambr{\'o}sio, A. M. and
Pontes, R. P. and Vieira, M. and Madeira, H. c",
affiliation = "Department of Mechanical Engineering, Instituto Tecnol{\'o}gico
de Aeron{\'a}utica, Pra{\c{c}}a Marechal Eduardo Gomes, 50,
12228-900 S{\~a}o Jos{\'e} dos Campos-SP, Brazil and Department
of Mechanical Engineering, Instituto Tecnol{\'o}gico de
Aeron{\'a}utica, Pra{\c{c}}a Marechal Eduardo Gomes, 50,
12228-900 S{\~a}o Jos{\'e} dos Campos-SP, Brazil and {Instituto
Nacional de Pesquisas Espaciais (INPE)} and Department of
Mechanical Engineering, Instituto Tecnol{\'o}gico de
Aeron{\'a}utica, Pra{\c{c}}a Marechal Eduardo Gomes, 50,
12228-900 S{\~a}o Jos{\'e} dos Campos-SP, Brazil and DEI, CISUC,
University of Coimbra, 3030 Coimbra, Portugal and DEI, CISUC,
University of Coimbra, 3030 Coimbra, Portugal",
title = "Benchmarking software requirements documentation for space
application",
booktitle = "Proceedings...",
year = "2010",
pages = "112--125",
organization = "International Conference on Computer Safety, Reliability, and
Security, 29. (SAFECOMP).",
keywords = "benchmark, ECSS standards, Packet Utilization Standard, software
requirements quality, space systems, benchmark, ECSS standards,
Packet Utilization Standard, Software requirements, SPACE
system.",
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.",
conference-location = "Vienna",
conference-year = "14 - 17 Sept. 2010",
doi = "10.1007/978-3-642-15651-9_9",
url = "http://dx.doi.org/10.1007/978-3-642-15651-9_9",
isbn = "03029743",
issn = "03029743",
label = "self-archiving-INPE-MCTIC-GOV-BR",
language = "en",
organisation = "Eur. Workshop Ind. Comput. Syst., Tech. Comm. 7 (EWICS TC7)",
targetfile = "veras_benchmarking.pdf",
volume = "Lecture Notes in Computer Science, v. 6351",
urlaccessdate = "05 maio 2024"
}