Especificacao De Sistemas E Programas
Mostrando 1-12 de 27 artigos, teses e dissertações.
-
1. Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2011
-
2. Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2011
-
3. Emulador e montador para o micro PCIR
Este trabalho descreve o projeto e implementação de um emulador desenvolvido em firmware no minicomputador ED 311 para o microprocessador de 16 bits, denominado PCIR (Processador de Conjunto de Instruções Reduzido) projetado e construído no Curso de Pós-Graduação em Ciência da Computação da UFRGS. O presente volume contém ainda a especificação
Publicado em: 2010
-
4. Engenharia de sistema em redes eusociais. / Systems engineering in eusociais networks.
Este trabalho apresenta a abordagem sistêmica, a complexidade e as propriedades emergentes de um sistema de atividades humanas utilizando métodos da Engenharia de Sistemas utilizando como referência para a prova de conceito a metáfora das redes eusociais da Biologia. A análise do sistema foi feita por meio de uma comparação entre as redes eusociais, e
Publicado em: 2010
-
5. Geração automática de testes a partir de descrições de linguagens
Alguns programas podem ter sua entrada formalizada através de gramáticas livres de contexto. Esta formalização facilita a utilização de ferramentas na sistematização e na elevação da qualidade do seu processo de teste. Dentro desta categoria de programas os compiladores foram os primeiros a utilizar este tipo de ferramenta para a automação de seu
Publicado em: 2010
-
6. Gungnir uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados. / Gungnir A tool for executing and generating conformance tests using timed automatas.
Oobjetivo neste trabalho é aumentar a confiança no funcionamento de sistemas da automação através do uso de uma ferramenta de geração e execução automática de testes de conformidade. A ferramenta desenvolvida chama-se Gungnir e utiliza modelos formais, cujo padrão utilizado é o formalismo de Autômato Temporizado (AT). Os sistemas de controle sã
Publicado em: 2010
-
7. Integrated model-based design and simulation of critical embedded systems / Projeto e simulação integrados baseados em modelos para sistemas embarcados críticos
A partir da introdução do sistema de controle fly-by-wire nos programas Concorde e A320 de aviação civil, a complexidade dos sistemas aviônicos embarcados aumenta constantemente. A operação dos aviões atuais e futuros é fortemente dependente para seu funcionamento dos seus sistemas aviônicos embarcados. A inovação em termos de computação dessa
Publicado em: 2010
-
8. Programação funcional usando Java / Functional programming using Java
Desde a introdução da World Wide Web para o mundo nos inícios de 1990, usando a Internet como uma rede para transferir dados, empregando uma forma de expressão chamada de Hipertexto, a qual liga as informações relacionadas e combinadas com multimídia, os Webs resultantes têm aberto novas possibilidades de expressão e comunicação. A quantidade de t
Publicado em: 2010
-
9. Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Entre as principais dificuldades do desenvolvimento de software embarcado crítico e de tempo real está a especificação e o processo de verificação e validação apoiado ao projeto conceitual. Neste contexto, a modelagem de sistemas tem uma importante função, uma vez que um processo complexo possa ser analisado e validado antes de sua real implementa�
Publicado em: 2009
-
10. Uso efetivo da matemática intervalar em supercomputadores vetoriais / Effective use of interval mathematics on vector supercomputers
Este trabalho apresenta um estudo do uso da Matemática Intervalar na resolução de problemas em supercomputadores, através da biblioteca de rotinas intervalares denominada libavi.a (aritmética vetorial intervalar), proporcionando não só aumento de velocidade de processamento via vetorização, mas exatidão e controle de erros nos cálculos através do
Publicado em: 2009
-
11. Elementos para a construção de uma cadeia de verificação para o projeto TopCased
Analisando a história dos sistemas embarcados, podemos dividi-la em dois momentos. Em um primeiro momento, a origem dos problemas destes sistemas provinha, na grande maioria dos casos, da parte física chamada hardware. A partir dos anos 60, graças à chegada dos circuitos integrados, desenvolvidos para o Programa Espacial Americano, a parte física dos si
Publicado em: 2008
-
12. Desenvolvimento e avaliação de modelo computacional para geração de alertas a partir de notificações de casos de meningite meningocócica / Development and evaluation of a computing model of alerts from meningococcal meningitis notification cases
INTRODUÇÃO: este trabalho apresenta a arquitetura de um sistema de emissão de alertas para surtos e epidemias em tempo real, baseado em notificações eletrônicas da meningite, e discute os resultados dos testes e simulações realizados. MÉTODOS: esse sistema foi desenvolvido em quatro etapas: Concepção, Análise, Construção e Teste/Simulações. A
Publicado em: 2008