MODELAGEM E OTIMIZAÇÃO DE SOFTWARE AUTOMOTIVOS PROPOSTA DE TRABALHO DE GRADUAÇÃO

Documentos relacionados
Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática

Um mecanismo de monitoramento de serviços na plataforma OSGi

UNIVERSIDADE FEDERAL DE PERNAMBUCO. Análise da Eficiência da Codificação de Huffman em Extensões de Fontes de Informação

Análise de Desempenho de Plataformas para Desenvolvimento com o Sistema Operacional Android

UNIVERSIDADE FEDERAL DE PERNAMBUCO GRADUAÇÃO EM SISTEMAS DE INFORMAÇÃO CENTRO DE INFORMÁTICA

Universidade Federal de Pernambuco

UNIVERSIDADE FEDERAL DE P ERNAMBUCO

Utilização de técnicas de Process Mining em Sistemas de Middleware Adaptativos Proposta de Trabalho de Graduação

UBIBUSANALYSIS UMA FERRAMENTA DE INTERPRETAÇÃO DE

Análise de Difusão de Influência em redes sociais com foco na Hipótese dos Influentes

Avaliação de desempenho de virtualizadores no envio e recebimento de pacotes em sistemas Linux

PRÁTICAS QUE CONTRIBUEM NA FORMAÇÃO DE HACKERS AO LONGO DA GRADUAÇÃO EM CURSOS DE COMPUTAÇÃO

UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE INFORMÁTICA GRADUAÇÃO EM ENGENHARIA DA COMPUTAÇÃO

Síntese de programas utilizando a linguagem Alloy

ESTUDO E IMPLEMENTAÇÃO DE METÁFORAS DE INTERAÇÃO 3D COM FOCO EM NAVEGAÇÃO EM AMBIENTE CAVE

UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE INFORMÁTICA GRADUAÇÃO EM ENGENHARIA DA COMPUTAÇÃO

Predição de links em uma rede heterogênea baseada em dados geolocalizados e de relacionamentos

SMART GRIDS: PHYSICAL-LAYER SECURITY. Proposta de trabalho de graduação. Aluno: Lucas André Pequeno Paes Orientador: Daniel Carvalho da Cunha

DEFINING METRIC THRESHOLDS FOR SOFTWARE PRODUCT LINES: A COMPARATIVE STUDY

Avaliação de Desempenho de Sistemas Operacionais em dispositivos embarcados para a provisão de serviços em Internet das Coisas

Tipos para uma Linguagem de Transformação

ENTENDENDO ABORDAGENS DE GAMEFICAÇÃO APLICADAS À EDUCAÇÃO: UMA REVISÃO SISTEMÁTICA DA LITERATURA

Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática

ANALISANDO TÉCNICAS DE DESENVOLVIMENTO EM REPOSITÓRIOS DE SOFTWARE ALUNO: BRENO GUSTAVO DE CARVALHO SIQUEIRA TORRES ORIENTADOR: MÁRCIO LOPES CORNÉLIO

Leandro da Silva Freitas. Projeto em Nível RT de IPs Digitais

UNIVERSIDADE FEDERAL DE PERNAMBUCO. Aplicando a Abordagem GQM para Avaliar o Impacto da Adoção da Metodologia Ágil Scrum

EER-CASE: FERRAMENTA CASE DE MODELAGEM CONCEITUAL COM ENTIDADE- RELACIONAMENTO ESTENDIDO PARA BANCO DE DADOS PROPOSTA DE TRABALHO DE GRADUAÇÃO

Predição de Utilização de Recursos Computacionais Usando Séries Temporais

UM FRAMEWORK DE CONECTIVIDADE PARA APLICAÇÕES MÓVEIS EM JAVA ME

USANDO XML PARA CARGA AUTOMÁTICA DE DADOS EM BANCOS DE DADOS DE PROJETO INDUSTRIAL DE MAQUETE ELETRÔNICA PROPOSTA DE TRABALHO DE GRADUAÇÃO

Ferramenta de suporte a uma Metodologia para Testes Exploratórios

Um método de validação de residência baseado em geolocalização PROPOSTA DE TRABALHO DE GRADUAÇÃO

PROCESSAMENTO E ANÁLISE DE IMAGENS DE MICROARRANJOS DE DNA

Mecanismo de Segurança para Redes Móveis Ad Hoc

UM PROCESSO PARA MANUTENÇÃO DA CONSISTÊNCIA DE INTERFACES INTEGRADAS AO AMADEUS

Otimizando o processo de criação de personagens 2D em pixel art para jogos digitais através da ferramenta SpriteGen

Universidade Federal de Pernambuco

Um Método para Melhoria de Dados Estruturados de Imóveis

ANÁLISE PARA INCLUSÃO DO FLUXO DE

UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE INFORMÁTICA GRADUAÇÃO EM SISTEMAS DE INFORMAÇÃO PROPOSTA DE TRABALHO DE CONCLUSÃO DE CURSO

Sobre a execução de workflows científicos sobre diferentes estrategias de dados de entrada - Uma Avaliação Experimental

A Matemática como Serviço a Ciência da Computação. Prof. Dr. Carlos Eduardo de Barros Paes Coordenador do Curso de Ciência da Computação

Uma metodologia para aprimoramento do Video Colortoning

Universidade Federal de Pernambuco

Uma Abordagem Para a Criação de Jogos Orientada a Uma Maior Conexão entre o Design e o Desenvolvimento.

Autor 1 Orientador: 1. dia de mês de ano

Uma Linguagem de Domínio Específico para descrever redes de sensores na prototipagem de Instrumentos Musicais Digitais

Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática

ANÁLISE DE DESEMPENHO DAS TOPOLOGIAS PARA SISTEMAS SOC

Engenharia de Software para Sistemas Embarcados

UNIVERSIDADE FEDERAL DE P ERNAMBUCO

UNIVERSIDADE FEDERAL DE PERNAMBUCO GRADUAÇÃO EM ENGENHARIA DA COMPUTAÇÃO CENTRO DE INFORMÁTICA

Computação Musical - Introdução slides do curso Computação Musical

Otimização. Conceitos Fundamentais. Paulo Henrique Ribeiro Gabriel Faculdade de Computação Universidade Federal de Uberlândia 2016/2

Uma Abordagem para Engenharia de Requisitos no Domínio de Software Embarcado

VALIDAÇÃO DE ASSINATURAS UTILIZANDO UM APP MOBILE PROPOSTA DE TRABALHO DE GRADUAÇÃO

Análise e Projeto Orientados a Objetos

Análise do Espectro do Campus Universitário e Construção de uma Base de Dados Geolocalizada PROPOSTA DE TRABALHO DE GRADUAÇÃO

Proposta de Trabalho de Graduação. A Relevância do Blockchain na Gestão de Frotas de Veículos Autônomos

Reconhecimento Ótico de Caracteres em Placas Veiculares

Sistemas Mecatrônicos 1

Universidade Federal de Pernambuco

Sweet Home: Uma ferramenta de visualização de dados focada no mercado imobiliario

Realidade Aumentada aplicada ao ensino da simetria molecular

Estudo Qualitativo da Meta-Plataforma KNoT para IoT

UMA HIERARQUIA DE MEMÓRIA PARA UM MODELO RTL DO PROCESSADOR RISC-V SINTETISÁVEL EM FPGA

Estratégia para medição de orientação baseado em sensores MARG para aplicações Wearable PROPOSTA DE TRABALHO DE GRADUAÇÃO

PROJETO DE UM MODELO DE UM CONVERSOR ANALÓGICO DIGITAL PARA SOC S

Detecção de Posicionamento no contexto de Fake News

O ENSINO DOS NOVOS CONTEÚDOS DE INFORMÁTICA E COMPUTAÇÃO NAS ENGENHARIAS

MODELAGEM DE TRANSISTORES E DE CIRCUITOS ANALÓGICOS CMOS USANDO VERILOG-AMS

Universidade Católica Dom Bosco

Universidade Federal de Pernambuco Centro Informática Graduação em Sistemas de Informação

PROCESSO UNIFICADO FOCADO EM BANCO

Aplicações Móveis Cientes de Contexto Proposta de Trabalho de Graduação

TRI TRILHAS. Telecomunicações. Eletrônica. Sistemas de Potência e Energia 100% COMPARTILHADO. Engenharia. Engenharia. de Produção.

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Escalonamento de Aplicações BoT em Ambiente de Nuvem

TÍTULO: ESTUDO DO DIMENSIONAMENTO E ESTRUTURA RELACIONADO AO PROJETO TEU

Reutilização de Software

Aplicação de Sistemas de Partículas e Smoothed Particle Hydrodynamics na Simulação de Regiões Espaço-Tempo Afetadas por Singularidades

UNIVERSIDADE FEDERAL DEPERNAMBUCO

Aplicando regras de programação para refatoração de programas em Dafny: uma linguagem imperativa com especificação nativa

Avaliação da Disponibilidade de Infraestrutura de Sincronização de Dados

Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática

Oferta de disciplinas para o período 2017/1

UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE INFORMÁTICA GRADUAÇÃO EM ENGENHARIA DA COMPUTAÇÃO

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO Data: 29/08/2011 Currículo de Cursos Hora: 16:19:21

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO Data: 23/09/2015 Currículo de Cursos Hora: 07:48:26

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO Data: 05/07/2017 Currículo de Cursos Hora: 17:30:22

Análise dos Sistemas de Medição do Consumo de Energia Elétrica em Plantas Industriais

1º Período 2º Período 3º Período 4º Período 5º Período 6º Período 7º Período 8º Período 9º Período 10º Período

Melhores Práticas > > > Tecnologia > > > Informação

Componentes de Software Baseados em Engenharia de

Estendendo GeoDWCASE para Oracle Spatial e MySQL PROPOSTA DE TRABALHO DE GRADUAÇÃO

Algoritmo para Construção do Diagrama de Voronoi com abordagem de Divisão e Conquista

RECONHECIMENTO DE CARACTERES MANUSCRITOS JAPONESES

CIÊNCIA DA COMPUTAÇÃO

17º Congresso de Iniciação Científica APLICAÇÃO DA ENGENHARIA BASEADA EM CONHECIMENTO NA ANÁLISE CINEMÁTICA DE ROBÔS INDUSTRIAIS

Transcrição:

Universidade Federal de Pernambuco Graduação em Engenharia da Computação Centro de Informática MODELAGEM E OTIMIZAÇÃO DE SOFTWARE AUTOMOTIVOS PROPOSTA DE TRABALHO DE GRADUAÇÃO Aluno : Newton Leal Barbosa( nlb@cin.ufpe.br ) 1

Orientador : Eduardo Antônio Guimarães Tavares (eagt @cin.ufpe.br ) Recife, 20 de Setembro de 2018 2

Sumário 1. Contexto 3 2. Objetivo 4 3. Cronograma 4 4. Possíveis Avaliadores 5 5. Referências Bibliográficas 5 6. Assinaturas 6 3

1. Contexto O crescimento do uso de software e sistemas computacionais nos carros aumentou de forma exponencial nos últimos anos. Hoje em dia, carros saem de fábrica com milhões de linhas de código embarcado no veículo. Sistemas como ABS, Airbag, sistemas de direção autônoma ou de ajuda ao condutor só são possíveis graças ao desenvolvimento de software na área automotiva.[1] Contudo, os softwares que são desenvolvidos para veículos têm diversos requisitos[2] especiais que não são comumente levados em consideração para desenvolvimento de software em uso geral. Hoje em dia, por exemplo, fios e cabos são o terceiro elemento mais pesado de um carro, perdendo apenas para powertrain e chassi. E por muito tempo, os engenheiros principais no desenvolvimento de um carro eram engenheiros mecânicos, hoje em dia não é bem assim. Requisitos de software como tempo de resposta, tolerância a falhas, segurança e poder computacional têm que ser levado em conta, pois é um sistema crítico que a sua falha pode acarretar na perda de vidas humanas. Portanto, a modelagem de um software automotivo é de grande interesse para as montadoras pois acarretaria numa redução de custos e também de potenciais problemas que pudessem trazer danos materiais ou até de vidas.[3] 2. Objetivo Este trabalho tem como objetivo o estudo e os desafios em otimização de softwares automotivos e como a indústria faz atualmente com esses processos. Para isso, é necessário revisitar a literatura e então propor uma maneira de otimização que não interfira nos requisitos críticos de softwares automotivos e que tenha como consequência eficiência e redução de custos, pois numa indústria como a automotiva que fabrica em larga escala, qualquer redução de custo tem um impacto gigantesco no preço final do produto.[4] O nosso estudo poderá ser utilizado como referência para esse refinamento de software automotivo, que cresceu de maneira tão rápida, porém um pouco desordenada. Esse estudo também propõe uma maneira de otimização de software automotivo, utilizando processos de otimização de software comuns 4

3. Cronograma Revisão bibliográfica Levantamento de base de dados e de requisitos Implementação do sistema de otimização Avaliação da ferramenta e análise dos resultados Escrita do relatório Defesa Abril Maio Junho Julho 4. Possíveis Avaliadores Divanilson Campelo Paulo Maciel 5. Referências Bibliográficas [1] Manfred Broy. 2006. Challenges in automotive software engineering. In Proceedings of the 28th international conference on Software engineering(icse '06). ACM, New York, NY, USA, 33-42. DOI=http://dx.doi.org/10.1145/1134285.1134292 [2] M. Broy, I. Kruger, A. Pretschner, and C. Salzmann. Engineering automotive software. Proceedings of the IEEE, 95(2):356-373, 2007. [3] D. Goswami, M. Lukasiewycz, R. Schneider, S. Chakraborty, "Time-triggered implementations of mixed-criticality automotive software", Proc. Conf. Des. Autom. Test Eur., pp. 1227-1232, 2012. [4] A. Sangiovanni-Vincentelli and M.D. Natale. Embedded System Design for Automotive Applications, Computer, 40(10):42-51, 2007. 5

6. Assinaturas Newton Leal Barbosa (Orientando) Eduardo Antônio Guimarães Tavares (Orientador) 6