Titulo Estágio
Desenvolvimento de Ambientes pré-configurados para Desenvolvimento de Software e Posterior Validação
Área Tecnológica
Sistemas criticos
Local do Estágio
Coimbra
Enquadramento
No contexto dos sistemas criticos são muitas
vezes utilizados ambientes de desenvovimento específicos para o sistema em
causa. Por exemplo em grande parte dos satélites não existe um sistema
operativo como a maioria dos utilizadores o identifica. Nestes casos são
utilizados pequenos aplicativos de software (schedulers) com capacidade para realizar um conjunto muito limitado
de funções como por exemplo: escalonamento das tarefas e protecção de recursos
partilhados.
O desenvolvimento de software, para ser
executado juntamente com estes aplicativos, é na grande maioria das vezes feito
com ambientes próprios de desenvolvimento, nomeadamente compiladores dedicados
e linkers tambem dedicados, de forma
a que se possa criar um binário com caracteristicas especiais que possa ser
invocado e executado pelo hardware específico do satélite para o qual o
software está a ser desenvolvido.
A especificidade dos sistemas críticos tem
também um grande impacto na forma como estes sistemas são validados. Na grande
maioria dos casos a validação de software para sistemas criticos é realizada em
plataformas de hardware diferentes das plataformas finais de exploração. Para
que tal seja possivel é necessário que haja ferramentas capazes de simular a
plataforma de hardware final em sistemas mais user friendly, como um simples PC.
A configuração e execução inicial das
ferramentas utilizadas para este tipo de validação é normalmente morosa e
necessita de uma adaptação para o hardware específico, no qual a aplicação de
software irá ser executada. Exemplos de aplicações de validação utilizadas em
sistemas criticos são: LDRA Testbed (http://www.ldra.com/testbed.asp)
e VectorCAST (http://www.vectorcast.com/).
A Critical Software, enquanto fornecedora
sistemas críticos, está altamente interessada em agilizar o processo de
desenvolvimento de software crítico, tendo em vista actuais e futuros projectos
nas áreas dos Sistemas Inteligentes de Transporte, Aeronáutica e Aeroespacial.
Objetivo
Este estágio visa a análise do processo
necessário para o desenvolvimento de software para sistemas criticos e as
ferramentas necessárias para que este desenvolvimento seja o mais eficiente
possível. É também objectivo o desenvolvimento de conjuntos de sistemas de
validação pré-configurados que possam ser utilizados em diversos projectos a
decorrer na empresa.
O estagiário deve fazer uma análise dos
ambientes de desenvolvimento e validação actualmente utilizados na Critical
Software e ser capaz de apresentar melhorias a estes ambientes.
A apresentação de ambientes de
desenvolvimento pré-configurados e com capacidades de expansão futura será o
resultado final do trabalho realizado durante o estágio.
Plano de Trabalhos - Semestre 1
-
T1 – Elaboração do plano de
projecto
-
T2 – Análise do Estado da
Arte.
o
Levantamento da documentação
existente na literatura sobre:
§
Configuração de ambientes de
Desenvolvimento;
Plano de Trabalhos - Semestre 2
-
T3 – Especificação de
Requisitos de Ambiente:
o
Especificação de requisitos para
os ambientes de desenvolvimento e validação.
-
T4 – Análise de ferramentas
utilizadas na CSW para desenvolvimento de software
-
T5 – Análise de ferramentas
utilizadas na CSW para validação de software
-
T6 – Configuração de ambientes
de desenvolvimento
-
T7 – Configuração de ambientes
de validação
-
T8 – Aplicação dos ambientes
de desenvolvimento e validação num projecto a decorrer na CSW
-
T9 – Produção do relatório de
estágio
Condições
Bolsa de estágio e prémio de desempenho
Orientador
Miguel Antunes
pmantunes@criticalsoftware.com 📩