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, as well as they do not have any one of the most frequent errors on this kind of document. The benchmark includes three checklists that are composed of a set of questions to be applied to the requirements specification: the first is based directly on the ECSS Packet Utilization Standard (PUS), the second one is based on the Conformance and Fault Injection (CoFI) methodology, and the last one is based on a field study about the most common real errors found in software requirements specification of space applications. The goal of the field study is to understand and characterize the most frequent types of requirement problems in this critical application domain. The results of the study are also used to propose a set of operators that define how to inject realistic errors in requirement documents. The benchmark is applied to software requirements specifications of three projects (one academic project and two industrial space projects) for two of the services described in the PUS by seven specialists. The obtained results were compared and discussed.

Como reflexo do aumento do grau de complexidade nos softwares e das exigências cada vez maiores impostas pela área espacial, a busca de processos que venham organizar e melhorar o desenvolvimento de software tem aumentado nos últimos anos. Muitas organizações implantam processos sem existir um objetivo estratégico bem definido. É cada vez maior a adoção a ferramentas de gestão estratégica como o Balanced Scorecard (BSC), que proporciona a organização transformar sua estratégia em ação, por meio de objetivos, indicadores de desempenho e uma aplicação integradora se tornando uma ferramenta essencial para a organização transmitir sua missão e estratégia em objetivos tangíveis e mensuráveis. É com este princípio que o presente trabalho tem como objetivo desenvolver o Balanced Scorecard e o seu respectivo mapa estratégico na área de software espacial, focando principalmente as áreas que dizem respeito à garantia da qualidade, utilizando-se os processos do Modelo de Capacidade e Maturidade Integrado (CMMI) que atualmente é um dos modelos de processos mais utilizados pela comunidade de software mundial em conformidade com as normas da European Space Agency (ESA) E-40 e Q-80 referentes a software espacial.

Os produtos empregados no setor espacial caracterizam-se por seu elevado grau de complexidade. Como tal, os projetos destinados ao seu desenvolvimento devem possuir mecanismos que elevem sua probabilidade de sucesso e atuem de forma coordenada para que sejam superadas as dificuldades impostas por esta complexidade. Um destes mecanismos consiste no processo de avaliação. Seu objetivo, dentro deste contexto, é atestar que o sistema desenvolvido atende, através de suas especificações, a todos os requisitos a ele impostos. Na conjuntura atual, a autonomia na capacidade de executar operações no espaço, em especial na inserção de satélites em órbita, torna-se fundamental para o desenvolvimento de um programa na área. Com a intenção de contribuir para que esta meta possa ser alcançada por um programa espacial nacional, propõe-se, neste trabalho, um modelo de processo para a avaliação de produtos espaciais aplicado durante seu desenvolvimento. Com este propósito busca-se, a partir de outros programas espaciais de sucesso, extrair as melhores práticas existentes na área e aplicá-las na elaboração desta proposta. Utiliza-se como base, também, os princípios e conceitos existentes na engenharia de sistemas e de gestão de requisitos que possam colaborar para sua estruturação. No modelo proposto aplica-se a lógica e a abordagem presentes no diagrama V de representação do ciclo de vida do desenvolvimento de um produto, que enfatiza ao longo de suas etapas a verificação e validação do sistema. A ele agregam-se os valores existentes nos níveis, métodos e estágios de verificação que direcionam as atividades em cada uma das etapas do processo paralelamente às fases do projeto. Com o modelo então estruturado, executam-se, visando demonstrar sua aplicabilidade, análises a partir de tópicos retirados de um caso real de insucesso ocorrido no segmento de veículos lançadores. Após estas análises, então, verifica-se que a aplicação simultânea dos níveis, métodos e estágios de verificação, agregados ao modelo de ciclo de vida adotado, permitem uma boa organização do processo, tornando-o consistente. Ainda, devido a sua estrutura, pode-se relacionar diretamente neste processo, o que é planejado e posteriormente executado, tornando-o otimizado. Assim, este modelo pode servir como base para a implantação de um sistema de avaliação de produtos por algum dos stakeholders neste segmento, conferindo aos sistemas dos quais participem ou influam no desenvolvimento maior segurança e confiabilidade em suas operações.

O conhecimento sobre o perfil de uso dos meios de comunicação utilizados pelo serviço de controle de tráfego aéreo pode subsidiar o dimensionamento de redes de telecomunicação destinadas ao transporte de sinais de voz entre órgãos de controle de tráfego aéreo e estações remotas de VHF. O dimensionamento correto dessas redes destina-se a relacionar a capacidade dos circuitos com a probabilidade de sucesso das comunicações entre controlador de tráfego aéreo e aeronaves, fator fundamental para a manutenção da segurança operacional das atividades de controle de tráfego aéreo. O conhecimento sobre esse perfil de uso, por sua vez, foi alcançado através de estudos estatísticos realizados sobre uma massa de dados relacionada à utilização do chamado Serviço Móvel Aeronáutico, que é o recurso utilizado por controladores de tráfego aéreo e pilotos em aeronaves controladas para a troca de mensagens de voz, através do qual as instruções de controle de tráfego aéreo são passadas. Essa massa de dados estudada foi resultado da aplicação de uma metodologia que processou centenas de horas de gravação do Serviço Móvel Aeronáutico prestado pelo CINDACTA II, entre os dias 14 de dezembro de 2014 e 03 de janeiro de 2015, a qual foi organizada em função da taxa de ocupação do meio de comunicação e analisada no sentido de identificar as dinâmicas de distribuição do uso do Serviço Móvel Aeronáutico. Como resultado, obteve-se que parte das dinâmicas que regem a ocupação desse serviço pode ser representada por curvas de distribuição conhecidas, como weibull e lognormal, associadas a modelos de transição. / The knowledge about the usage of the communications resorces used by the air traffic service provider can be usefull to design the networks needed to transport voice signal between the air traffic provider and remote radio station. The accurate design of those networks, in the other hand, should offer an association between the network instant capacity and the rate of communication sucess in any controller's tries to communicate with the aircrafts. This rate of communication sucess is a parameter that indicates how safe is the air traffic activity, in term of communication between the air traffic controller and the aircrafts, and it must be monitoring to guarante the operational safety. So, the knowledge of interesting was achieved analysing data related to the use of Aeronautical Mobile Service, which is the resource used by air traffic controller and aircraft to exchange voice mensagens of air traffic service. Those data were the results of a methodology that processed hundred of hours of records of the Aeronautical Mobile Service provided by the CINDACTA II, between 14/12/2014 and 03/01/2015, which were sorted by the percent of engagement time and analysed to identify any distribution function that could represent the way the Aeronautical Mobile Service is used. As a result, this study indentified that this usage can be depicted by some typical probability density function, like Weibull and Lognormal, combined with transitional chain.