46 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
Resumo:
A modelagem e desenvolvimento de sistemas embarcados ("embedded systems") de forma distribuída, tende a ser uma tarefa extremamente complexa, especialmente quando envolve sistemas heterogêneos e sincronização de tarefas. Com a utilização do modelo de componentes de software é possível descrever, de uma forma simplificada, todos os elementos de distribuição e de comunicação para este tipo de sistemas. Neste sentido, a especificação de uma ferramenta capaz de auxiliar na modelagem e no desenvolvimento deste tipo de aplicação, certamente irá tornar o trabalho mais simples. Esta dissertação inicia por uma análise comparativa entre as tecnologias passíveis de serem utilizadas na definição de sistemas distribuídos heterogêneos, focando-se principalmente nas metodologias de modelagem, e nos mecanismos e middlewares de comunicação. Dos conceitos formados a partir desta análise é descrita uma ferramenta, baseada em componentes de software. A ferramenta é uma extensão do projeto SIMOO-RT, onde foram adicionados os conceitos de componente de software, biblioteca de componentes e diagrama de implantação. Além disso, foram realizadas modificações no sistema de geração de código, para dar suporte aos novos conceitos da ferramenta. A dissertação termina com a descrição de alguns estudos de caso utilizados para validar a ferramenta.
Resumo:
Resumo não disponível.
Resumo:
A tecnologia de workflow vem apresentando um grande crescimento nos últimos anos. Os Workflow Management Systems (WfMS) ou Sistemas de Gerenciamento de Workflow oferecem uma abordagem sistemática para uniformizar, automatizar e gerenciar os processos de negócios. Esta tecnologia requer técnicas de engenharia de software que facilitem a construção desse tipo de sistema. Há muito vem se formando uma consciência em engenharia de software de que para a obtenção de produtos com alta qualidade e que sejam economicamente viáveis torna-se necessário um conjunto sistemático de processos, técnicas e ferramentas. A reutilização está entre as técnicas mais relevantes desse conjunto. Parte-se do princípio que, reutilizando partes bem especificadas, desenvolvidas e testadas, pode-se construir software em menor tempo e com maior confiabilidade. Muitas técnicas que favorecem a reutilização têm sido propostas ao longo dos últimos anos. Entre estas técnicas estão: engenharia de domínio, frameworks, padrões, arquitetura de software e desenvolvimento baseado em componentes. Porém, o que falta nesse contexto é uma maneira sistemática e previsível de realizar a reutilização. Assim, o enfoque de linha de produto de software surge como uma proposta sistemática de desenvolvimento de software, baseada em uma família de produtos que compartilham um conjunto gerenciado de características entre seus principais artefatos. Estes artefatos incluem uma arquitetura base e um conjunto de componentes comuns para preencher esta arquitetura. O projeto de uma arquitetura para uma família de produtos deve considerar as semelhanças e variabilidades entre os produtos desta família. Esta dissertação apresenta uma proposta de arquitetura de linha de produto para sistemas de gerenciamento de workflow. Esta arquitetura pode ser usada para facilitar o processo de produção de diferentes sistemas de gerenciamento de workflow que possuem características comuns, mas que também possuam aspectos diferentes de acordo com as necessidades da indústria. O desenvolvimento da arquitetura proposta tomou como base a arquitetura genérica e o modelo de referência da Workflow Management Coalition (WfMC) e o padrão de arquitetura Process Manager desenvolvido no contexto do projeto ExPSEE1. O processo de desenvolvimento da arquitetura seguiu o processo sugerido pelo Catalysis com algumas modificações para representar variabilidade. A arquitetura proposta foi descrita e simulada através da ADL (Architecture Description Language) Rapide. A principal contribuição deste trabalho é uma arquitetura de linha de produto para sistemas de gerenciamento de workflow. Pode-se destacar também contribuições para uma proposta de sistematização de um processo de desenvolvimento de arquitetura de linha de produto e também um melhor entendimento dos conceitos e abordagens relacionados à prática de linha de produto, uma vez que esta tecnologia é recente e vem sendo largamente aplicada nas empresas.
Resumo:
O objetivo deste trabalho é o desenvolvimento de uma ferramenta de regressão multivariável apropriada para abordar o problema da modelagem de propriedades relacionadas à qualidade final de produtos em processos industriais. No caso geral, dados provenientes de sistemas físicos e químicos típicos do meio industrial são caracterizados pela presença de relação não linear entre as variáveis, podendo, ainda, apresentar outros problemas que dificultam o processo de modelagem empírica, como baixa disponibilidade de observações experimentais, presença de ruído excessivo nas medidas e a presença de colinearidade entre os termos explicativos. Foi feita uma revisão de diferentes métodos de regressão multivariável tais como regressão linear múltipla (MLR), regressão não linear baseada em transformações das variáveis explicativas e métodos de redução de dimensionalidade (PCA, PLS, QPLS e BTPLS). Também foram propostas novas metodologias para a abordagem das questões da seleção de variáveis e estimação das incertezas dos modelos. Posteriormente, utilizando as metodologias revisadas e propostas, foi sugerida uma sistemática para o tratamento da questão da modelagem empírica de dados industriais, que constitui a base para a implementação da ferramenta desejada. A aplicabilidade da ferramenta desenvolvida foi ilustrada através de alguns estudos de caso retirados da literatura, onde modelos para a predição de propriedades relativas à qualidade de produtos produzidos em quatro tipos de processos industriais diferentes são obtidos.
Resumo:
O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.
Resumo:
Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados nesta são propagados para as fases posteriores. Quanto mais avançado estiver o desenvolvimento, mais caro custa reparar um erro introduzido nas fases iniciais, pois isto envolve reconsiderar vários estágios do desenvolvimento. A prototipação permite que os requisitos do software sejam validados logo no início do desenvolvimento, evitando assim a propagação de erros. Paralelamente, a utilização de métodos formais visa revelar inconsistências, ambigüidades e falhas na especificação do software, que podem caso contrário, não serem detectadas. Usar a prototipação de software juntamente com uma notação formal enfatiza a especificação do problema e expõe o usuário a um sistema “operante” o mais rápido possível, de modo que usuários e desenvolvedores possam executar e validar as especificações dos requisitos funcionais. O objetivo principal deste trabalho é instanciar uma técnica da área de Prototipação de Software que capacite o engenheiro de software gerar automaticamente protótipos executáveis a partir de especificações formais de tipos abstratos de dados, na notação PROSOFT-algébrico, visando a validação dos requisitos funcionais logo no início do desenvolvimento do software. Para tanto foi proposto um mapeamento da linguagem PROSOFT-algébrico para OBJ. Como OBJ possui um eficiente sistema de reescrita de termos implementado, a utilização deste propicia a prototipação de tipos abstratos de dados, especificados em PROSOFT-algébrico. Os componentes envolvidos na definição deste trabalho, assim como o mapeamento entre as linguagens, foram especificados algebricamente e implementados no ambiente de desenvolvimento de software PROSOFT. A implementação serviu para validar o mapeamento proposto através de dois estudos de caso. Por fim, são apresentadas as conclusões alcançadas e as atividades adicionais vislumbradas a partir do trabalho proposto.
Resumo:
A identificação antecipada do comportamento da demanda de veículos novos na extremidade da rede de distribuição é imprescindível para implementação de um sistema de produção puxada pela demanda. Previsões confiáveis, obtidas nas concessionárias, conferem aos fabricantes maior sensibilidade diante das peculariedades locais da demanda e reduzem as incertezas da produção em larga escala. A obtenção de previsões consistentes requer, porém, o emprego de métodos formais. Os profissionais responsáveis pela elaboração de previsões nas concessionárias desconhecem, em grande parte, os métodos de forecasting abordados na literatura. Essa dissertação visa o desenvolvimento de um sistema formal para elaboração de previsões de demanda de veículos novos em concessionárias. Em estudo de caso, conduzido em uma concessionária da marca Volkswagen, modelos estatísticos de Box-Jenkins e de suavização exponencial são aplicados para gerar previsões quantitativas das vendas de veículos novos. Previsões qualitativas, correspondentes ao julgamento de especialistas no segmento, são formalizadas através do método Delphi. Finalmente, as previsões quantitativas e qualitativas são combinadas matematicamente e comparadas. Tal comparação demonstra que as vantagens inerentes a cada método podem ser absorvidas para proporcionar previsões mais acuradas.
Resumo:
Esta pesquisa foi realizada com o objetivo de otimizar as atividades de gerenciamento no desenvolvimento de novos produtos na AGCO, empresa fabricante de máquinas agrícolas, e em sua cadeia de fornecedores. A engenharia simultânea ou, mais amplamente, o gerenciamento simultâneo de projetos é um sistema para administração de projetos que permite encurtar o tempo de lançamento de um produto e, ao mesmo tempo, reduzir os gastos no projeto, atendendo às necessidades dos clientes-alvo. Pesquisadores do Massachussets Institute of Technology (MIT) Womack, Jones e Roos apresentaram em 1990 um estudo de cinco anos visando identificar quais as características desse sistema que contribuíam efetivamente para seu sucesso. Este estudo foi detalhado por Daniel Schrage, do Georgia Institute of Technology, que expandiu as quatro características básicas identificadas (líder forte, trabalho em equipe, comunicação eficiente, desenvolvimento simultâneo com fornecedores). Recentes estudos indicam que, além das conclusões dos estudos acima, três fatores são hoje preponderantes para o sucesso do gerenciamento simultâneo de projetos: comunicação, coordenação e colaboração. Esta pesquisa identifica as técnicas atualmente empregadas na AGCO e seus fornecedores e seus métodos de gerenciamento dos processos e pessoas, propondo ao final uma série de melhorias que permitirão a otimização deste sistema de gerenciamento de novos produtos. A coleta de informações foi feita através de entrevistas e envio de questionários a mais de 80 fornecedores da AGCO. A análise dos resultados da pesquisa nos leva à conclusão de que a AGCO e seus fornecedores podem aperfeiçoar seu sistema de gerenciamento de projetos, principalmente no item coordenação dos grupos técnicos e nas técnicas empregadas para avaliação de performance dos produtos. A aplicação dos métodos de desenvolvimento, e o envolvimento das pessoas estão em um patamar superior de performance.
Resumo:
Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.
Resumo:
Em decorrência do cada vez maior acirramento da concorrência e conseqüente diminuição das margens de lucro, as empresas vêem-se obrigadas a revisar e aprimorar seus sistemas de custeio. Dentro deste contexto, o trabalho inicia pela identificação de um custo referencial, definido a partir dos preços regularmente praticados pelo mercado. Em seguida, apresenta uma base para conhecimento de custos e analisa os métodos de custeio, tanto os tradicionais quanto os modernos (métodos do custeio baseado em atividades - Activity-Based Costing (ABC), da Unidade de Esforço da Produção (UEP) e um método de custeio combinado). O trabalho conclui com um estudo de caso, fazendo uma aplicação dos métodos estudados numa indústria do setor farmacêutico, ao final do qual, faz comparações dos métodos de custeio.
Resumo:
A presente tese examina a contribuição da liberdade de concorrência para o estabelecimento da fase de mercado comum na Comunidade Européia, tendo como objetivo propor alternativas para o Mercosul regulamentá-la e assim possibilitar o alcance do seu verdadeiro mercado comum. O primeiro capítulo retrata as etapas que a Comunidade superou desde o seu surgimento até o estabelecimento do mercado comum e confirma que a evolução do processo, que envolveu um novo objetivo, o mercado interno, e a importância que para tanto assumiu o direito comunitário da concorrência, presente já nos Tratados constitutivos e tutelador da liberdade de concorrência, determinaram a essa uma nova classificação, qual seja a de quinta liberdade fundamental, o que foi comprovado com entendimentos doutrinários e esforços jurisprudenciais. O segundo capítulo centra-se nas reformas no direito comunitário da concorrência e nas suas contribuições para a aproximação do sistema da concorrência com o sistema das liberdades fundamentais, para a manutenção do mercado interno na Comunidade Européia e para o desenvolvimento do direito da concorrência em outros processos de integração, bem como no estudo de propostas de regulamentações de ordem internacional do direito da concorrência. No âmbito comunitário, foram consideradas a refoma ocorrida nas regras de aplicação dos artigos 81 e 82 TCE, com o Regulamento n. 1/2003, a acontecida nas regras do controle das concentrações de empresas, com o Regulamento n. 139/2004, e as mudanças nas regras aplicáveis aos Estados-membros, como, por exemplo, as trazidas pelos Regulamentos ns. 994/98 e 659/99. No âmbito internacional, recebeu atenção o Draft of International Antitrust Code, sugerido à OMC. O terceiro capítulo apresenta os objetivos alcançados e os não-alcançados desde o surgimento do processo de integração do Mercosul e o estágio em que ele atualmente se encontra. O estudo caracterizou o presente momento como o apropriado para o processo confirmar o seu desejo de alcançar a etapa de mercado comum, o que deverá ocorrer com a implantação de um eficaz direito da concorrência e com a conformação das demais liberdades fundamentais. As conclusões são que a liberdade de concorrência é a quinta liberdade econômica fundamental dos processos de integração que tenham por objetivo alcançar um mercado comum, que as reformas sofridas pelo direito comunitário da concorrência estão em sintonia com essa visão e que oferecem um aval ao sistema previsto para o Mercosul. Além disso, que a garantia da liberdade de concorrência integrou os mercados nacionais e contribuiu para que a Comunidade atingisse o mercado comum e que a visão da liberdade de concorrência como a quinta liberdade fundamental e como permitidora do seu alcance na Comunidade contribui para o estabelecimento de um direito da concorrência e este para o alcance de um verdadeiro mercado comum pelo Mercosul.
Resumo:
A tarefa de estimação de movimento, utilizada na compressão de vídeo digital, é normalmente realizada em hardware por processador dedicado, uma vez que demanda expressiva capacidade computacional. Este trabalho propõe e desenvolve uma arquitetura de hardware para realizar o cálculo dos vetores de movimento no contexto de compressão de vídeo digital. Essa arquitetura para estimação de movimento é composta pelos blocos: interface de entrada e saída (E/S), matriz de processamento com 64 elementos de processamento, unidade de comparação e unidade de controle. A arquitetura foi descrita em linguagem VHDL de maneira que o número de bits utilizados para representação da luminância dos pontos é configurável. A partir desta descrição, foi gerado um protótipo para dados representados em 4 bits utilizando um kit de desenvolvimento baseado no dispositivo FPGA XC2S150 da Xilinx. Para validação do algoritmo e da arquitetura implementada, além da simulação, foi desenvolvido um software para plataforma PC capaz de exercitar as funcionalidades do protótipo. O PC é utilizado como dispositivo controlador de E/S para esta validação, na qual uma implementação do algoritmo em software e outra em linguagem de descrição de hardware são comparadas. A máxima freqüência de trabalho do protótipo, estimada por simulação da arquitetura mapeada no FPGA XC2S150, é de 33 MHz. A esta freqüência o núcleo da arquitetura paralela de 64 elementos de processamento realiza cerca de 2,1 GOps (bilhões de operações inteiras por segundo). Esta arquitetura de hardware calcula os vetores de movimento para vídeo no formato 640x480 pontos à taxa de 107,32 quadros por segundo, ou um quadro a cada 9,3 ms. A arquitetura implementada para luminânica em 4 bits ocupa 16 pinos de E/S, 71,1% dos blocos lógicos do FPGA e 83,3% dos blocos de memória disponíveis no dispositivo XC2S150.
Resumo:
O objetivo deste trabalho é a definição de um conjunto de roteiros para o ensino de arquitetura de computadores com enfoque em arquiteturas superescalares. O procedimento é baseado em simulação e verificação da influência dos parâmetros arquiteturais dos processadores, em termos funcionais e de desempenho. É dada ênfase a conceitos como memória cache, predição de desvio, execução fora de ordem, unidades funcionais e etc. Através do estudo e avaliação dos parâmetros que constituem estes conceitos, procurava-se através dos roteiros identificar as configurações com melhor desempenho. Para a implementação destes roteiros é dotado o conjunto de ferramentas de simulação SimpleScalar. Este conjunto, além de estar disponibilizado em código aberto na página oficial das ferramentas, traz como vantagem a possibilidade de alteração do código para fins de pesquisa. Este trabalho e os roteiros que o compõem têm como objetivos auxiliar professores e estimular os alunos através de simulações, como forma didática de testar conceitos vistos em sala de aula. Os roteiros são apresentados com os respectivos resultados de simulação e incrementados com comentários e sugestões de um conjunto de perguntas e respostas para que o trabalho possa ter continuidade necessária, partindo da sala de aula para a simulação, busca de respostas e culminando com um relatório final a ser avaliado.
Resumo:
Neste trabalho definimos três modelos de escadas de spin integráveis novos que correspondem a variações de um modelo de escada de spin baseado na simetria SU(4). Os modelos são exatamente solúveis através do método do ansatz de Bethe e as equações do ansatz de Bethe, os autovalores de energia e o gap de spin são derivados e propriedades físicas interessantes são discutidas. Inicialmente apresentamos um modelo de escada de spin integrável que possui um parâmetro livre além do acomplamento ao longo dos degraus. Determinamos a dependência do parâmetro anisotrópico na transição de fase entre uma região com gap e outra sem gap. Nós também mostramos que o modelo é um caso especial de uma Hamiltoniana mais geral que possui três parâmetros livres. A susceptibilidade magnética em função da temperatura é obtida numericamente e sua dependência no parâmetro anisotrópico é determinada explicitamente. Uma comparação entre o gap de spin obtido através da curva de susceptibilidade magnética e aquele obtido das equações do ansatz de Bethe é feita e uma boa concordância encontrada. A conexão com alguns compostos é apresentada e mostramos que os nossos resultados ajustam bem a curva da susceptibilidade magnética dos compostos KCuCI3, CU2(C5H12N2hC14e (C5H12NhCuBr4. A seguir nós propomos dois tipos diferentes de modelos integráveis com impurezas. Mostramos em ambos os casos que uma transição de fase entre uma região com gap e outra sem gap ocorre para um valor crítico do acoplamento ao longo dos degraus. Além disso, a dependência das impurezas na transição de fase é determinada explicitamente. Em um dos modelos o gap diminui com o aumento da intensidade da impureza A. E, fixando a intensidade de impureza A, é observada uma redução do gap com o aumento da concentração de impurezas. Este resultado está qualitativamente de acordo com resultados experimentais.
Resumo:
Neste trabalho, analisam-se os processos de formação de ligações de hidrogênio entre as bases Adenina. Timina, Guanina e Citosina usando o método Monte Carlo probabilístico. A possibilidade de formação de pares é inicialmente verificada considerando critério geométrico (distância e orientação das molécutlas) seguida pela análise da probabilidade energética, que é proporcional ao fator de Boltzmann. Os resultados mostram que a probabilidade de concorrência, para alguns modelos, não segue a estrutura mais provável segundo o fator de Boltzmann. Isto sugere que existe uma forte influência geométrica na formação dos pares (ligações simples e múltiplas). Tal análise fornece para a construção de modelos mais complexos bem como para o entendimento de alguns mecanismos que ocorrem em processos relacionados à mutações, visando compreender este tipo de fenômeno biológico