Técnica indutiva para obtenção de rastros entre artefatos de software

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010A tarefa de manter a qualidade e consistência de artefatos ao longo de um projeto de software pode ser mais efetiva com a utilização do conceito de rastreabilidade. Porém, a criação de rastros consistentes ao longo de um projeto é uma tarefa tão complexa que muitas vezes é deixada de lado. Técnicas como a recuperação automática e a matriz de rastreabilidade apresentam limitações. Este trabalho propõe e avalia uma abordagem que consiste em permitir a criação de rastros de forma indutiva ao longo do desenvolvimento dos artefatos do projeto. Estudos com uma ferramenta CASE mostraram resultados animadores indicando que a técnica pode melhorar significativamente a produtividade. A produtividade é avaliada através do número de rastros corretamente criados pelo desenvolvedor, dentro de um mesmo limite de tempo, quando comparada a técnicas tradicionais

Desenvolvimento formal de um sistema de sinalização ferroviária de acordo com o normativo CENELEC usando o SCADE

Os sistemas informáticos do sector ferroviário regem-se pelas normas EN 50126 - Railway Applications: The specification and demonstration of Reability, Avaiability, Maintainnability and Safety (RAMS), EN 50128 Railway Applications: Software1 for railway control and protection systems e EN 50129 - Railway Applications: Safety related electronic systems for signalling. Nomeadamente a norma EN 50128, que se refere ao desenvolvimento de software, apresenta um conjunto de recomendações e uma metodologia, com base num ciclo de desenvolvimento em V, para assegurar a correcção do software e a confiança neste. De facto, a norma EN 50128 não impõe nenhuma técnica ou ferramenta na concepção do software pretendido. Assim, a metodologia de desenvolvimento e a selecção das ferramentas fica à responsabilidade da entidade que concebe o software estando esta apenas sujeita à certificação segundo a referida norma. Dependendo do sistema em desenvolvimento, a norma EN 50128 classifica o software em 5 níveis de integridade e segurança (Safety Integrity Level (SIL)), onde o nível mais baixo é o 0 (SIL0) e corresponde a software onde não existem consequências numa eventual falha, e o nível mais alto é o 4 (SIL4) onde uma falha do software tem um impacto catastrófico. Nos níveis 3 e 4 da tabela SIL, a norma EN 50128 recomenda vivamente a utilização de métodos formais na fase de especificação do software. O Safety Critical Application Development Environment (SCADE) Suite 6.0 é uma plataforma para o desenvolvimento de sistemas críticos. Integra um conjunto de ferramentas, para especificação, verificação e análise de modelos, e é certificada pela CENELEC EN 50128 até ao nível 4 da tabela SIL. Foi utilizada, neste trabalho, não só para especificar o sistema, mas também, para o verificar e provar a sua correcção. Para além de apresentar uma metodologia, com base na ferramenta formal SCADE, aplicável no desenvolvimento de sistemas ferroviários, este documento evidencia, com uma aplicação prática, a aplicabilidade do método. O caso de estudo utilizado é um sub-sistema de um sistema de sinalização completo, mais precisamente, uma Passagem de Nível (PN)

Gestão da Empresa Agrícola no Século XXI. Manual III - Tecnologias de Informação e Comunicação na Gestão da Empresa Agrícola

A gestão de informação e as tecnologias de informação e comunicação que a suportam são, do nosso ponto de vista, o factor crítico de sucesso da empresa agrícola na sociedade da informação e do conhecimento. Este manual estabelece como principal objectivo apresentar os mais modernos desenvolvimentos das tecnologias de informação e comunicação e do potencial que encerram para a gestão da empresa agrícola. Surge naturalmente na sequência do Manual I, dedicado ao marketing dos produtos agro-pecuários, que consubstancia a necessidade dos empresários agrícolas adoptarem uma estratégia orientada para o mercado, e do Manual II, que aborda a gestão da empresa agrícola, visando apresentar os princípios económicos a ser utilizados para suportar a tomada de decisão do empresário agrícola. Com esse objectivo, este manual, aborda questões como o conceito de gestão de informação/conhecimento, a tipologia de sistemas de informação e o papel que desempenham na gestão da empresa agrícola, as novas tecnologias de informação e comunicação na gestão da empresa agrícola – a empresa digital e o papel da Internet e das tecnologias associadas na gestão da empresa agrícola do Séc. XXI

Programa Brasileiro da Qualidade e Produtividade em Software

Arquivo condensado em lotes de PDF, sem paginação.A Qualidade no setor de software e serviços de tecnologia da informação constitui tema relevante nas políticas públicas para a área de Tecnologia da Informação –TI desenvolvidas no Brasil nas últimas décadas. A questão relativa à qualidade materializou-se nos últimos anos com a inclusão do tema na Política Industrial do Governo Federal, tanto na Política Industrial, Tecnológica e de Comércio Exterior – PITCE, de 2004, quanto no Plano de Desenvolvimento da Produção – PDP lançada em maio de 2008