Verification and Validation in outsourcing embedded software in space applications
Abstract
This paper reports INPE’s experience in outsourcing the development of satellite payload embedded software to DBA, a Brazilian Software supplier, CMMI 3 certified, following the software verification and validation processes recommended by ECSS standards. The software item, SWPDC, under development by DBA Software Factory, is part of ongoing Quality of Space Application Embedded Software (QSEE) project. Among others aspects, QSEE project aims to evaluate the conformance of a Software Factory processes with INPE requirements for embedded software development process. Independent Verification and Validation (IVV) approach is used by INPE in order to delegate the software acceptance activities to a third part team. Lessons learned and contributions for improvements on DBA software testing process are presented.
Keywords:
Verification and Validation, software outsourcing, space applications
References
ECSS-M-30A Space Project Management – Project Phasing and Planning, April 1996.
Mattiello-Francisco, M.F.; Arias R, Hirata, C.M, Sakugawa, B.M, Yano, S.V. A comparative study between PMBoK/DoD and ECSS/management process for software acquisition. DASIA2005, May 2005. Edinburg, Scotland.
ECSS-E-40 Part 1B Space Engineering – Software – part 1: Principles and requirements, November 2003.
ISO/IEC 12207 Information Technology - Software Lifecycle Processes.
MIRAX – Monitor e Imageador de Raios X. Ciências Espacias e Atmosféricas, INPE. Em: http://www.cea.inpe.br/cea/satelites/mirax/miraxproject.htm . Acesso em: 10 março 2006.
QSEE - Qualidade do Software Embarcado e aplicações espaciais, financiado pela FINEP, Em: http://www.cea.inpe.br/~qsee . Acesso em: 20 março 2006.
ECSS-Q-80B Space Product Assurance: Software Product Assurance, October/2003.
Sorey, N. (1996), Safety-Critical Computer Systems, Addison Wesley, 1st edition.
Mattiello-Francisco, M.F.; Arias R, Hirata, C.M, Sakugawa, B.M, Yano, S.V. A comparative study between PMBoK/DoD and ECSS/management process for software acquisition. DASIA2005, May 2005. Edinburg, Scotland.
ECSS-E-40 Part 1B Space Engineering – Software – part 1: Principles and requirements, November 2003.
ISO/IEC 12207 Information Technology - Software Lifecycle Processes.
MIRAX – Monitor e Imageador de Raios X. Ciências Espacias e Atmosféricas, INPE. Em: http://www.cea.inpe.br/cea/satelites/mirax/miraxproject.htm . Acesso em: 10 março 2006.
QSEE - Qualidade do Software Embarcado e aplicações espaciais, financiado pela FINEP, Em: http://www.cea.inpe.br/~qsee . Acesso em: 20 março 2006.
ECSS-Q-80B Space Product Assurance: Software Product Assurance, October/2003.
Sorey, N. (1996), Safety-Critical Computer Systems, Addison Wesley, 1st edition.
Published
2006-05-29
How to Cite
MATTIELLO-FRANCISCO, Maria de Fátima; DE SANTIAGO JR, Valdivino Alexandre; AMBROSIO, Ana Maria; COSTA, Ricardo; JOGAIB, Leise.
Verification and Validation in outsourcing embedded software in space applications. In: BRAZILIAN SOFTWARE QUALITY SYMPOSIUM (SBQS), 5. , 2006, Vila Velha.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2006
.
p. 367-374.
DOI: https://doi.org/10.5753/sbqs.2006.15624.
