The CONCERTO methodology for model-based development of avionics SW

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 22 to 26, Jun, 2015, Madrid, Spain.

P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

Conceção e Execução de Estruturas Metálicas

O presente relatório diz respeito ao trabalho desenvolvido ao longo de seis meses em ambiente de estágio curricular na empresa O FELIZ – Metalomecânica, S.A.. O objetivo principal deste trabalho foi o conhecimento resultante de uma experiência num ambiente industrial no sector das construções metálicas. Pela especificidade do setor, foi desenvolvido um estudo no âmbito da conceção e execução (na componente de fabrico) de estruturas. O relatório que resulta deste trabalho de estágio tem como referência um caso de estudo de uma estrutura metálica. O caso de estudo realizado é referente a um pavilhão industrial standard, e possui dimensões em planta de 60 x 25 metros e cércea total de 9,0 metros, para o qual foi efetuado um breve dimensionamento de toda a estrutura metálica principal. O edifício será constituído por um sistema de pórtico simples formado por perfis laminados a quente normalizados de secção IPE e de aço de classe S275. Posteriormente, e com recurso a software apropriado de detalhamento de estruturas metálicas, foi desenvolvido um modelo 3D de toda a estrutura metálica do edifício. Neste modelo estão presentes todos os elementos constituintes da estrutura, bem como algumas das características físicas e mecânicas de cada peça elementar. Por fim, e com base no modelo anterior foram gerados e editados todos os desenhos 2D para o fabrico da estrutura, incluindo os desenhos de montagem da estrutura.

Impacto das medidas de conservação de energia em projeto na redução da intensidade de utilização de matérias-primas na construção de um edifício

O presente trabalho pretende mostrar que a aplicação de medidas de conservação de energia (MCE) pode representar uma redução da intensidade de utilização de matérias-primas na construção de um edifício. Mais concretamente, pode representar uma redução da utilização de materiais e equipamentos, e como consequência, uma redução no esforço económico ao primeiro investimento. Podendo posteriormente representar uma redução na utilização de energia durante o período de funcionamento do edifício. A aplicação de MCE no sector da construção tem vindo a ser uma prática corrente nos novos edifícios e edifícios sujeitos a grandes intervenções de reabilitação. Esta prática deve-se à obrigatoriedade de cumprimento de requisitos regulamentares aplicados à otimização do desempenho energético dos edifícios e dos seus sistemas técnicos, nomeadamente, o RCCTE e o RSECE, entretanto revogados pelo REH e pelo RECS, respetivamente. A implementação de MCE apresenta, na maioria dos casos, benefícios económicos para o promotor do edifício, uma vez que se traduz muitas vezes, na otimização do dimensionamento dos sistemas de Aquecimento, Ventilação e Ar Condicionado (AVAC). Esta otimização permite reduzir os custos associados ao primeiro investimento, bem como na utilização de energia por parte do utilizador, logo na redução dos custos de exploração. No entanto, a falta de quantificação dos impactos do dimensionamento dos sistemas AVAC, da redução de utilização de energia e da análise do custo-benefício da sua aplicação pode condicionar o interesse na sua implementação. Neste contexto, surge a presente dissertação, por iniciativa do Instituto Soldadura e Qualidade (ISQ), aplicado a um caso prático de um edifício já construído e propriedade daquela empresa. Com este trabalho pretende-se avaliar o contributo efetivo das MCE implementadas na fase de projeto e na fase de construção, quer na otimização da dimensão de sistemas e equipamentos AVAC, por via da redução das necessidades energéticas, quer na redução de utilização de energia, permitindo, de seguida, uma avaliação custo-benefício.Na base do caso de estudo está o ECOTERMOLAB, o edifício acima referido, adquirido pelo ISQ para instalação de um laboratório de formação, investigação e desenvolvimento na área da energia. Após aquisição pelo ISQ, o edifício sofreu várias alterações/beneficiações, entre as quais a implementação de MCE, tais como, a aplicação de isolamento térmico na envolvente opaca (paredes, pavimentos e coberturas), duplicação dos vãos envidraçados simples, conferindo-lhes melhores caraterísticas térmicas, e pela aplicação de proteções solar. Foram ainda adotadas MCE aos sistemas AVAC, designadamente, pela adoção de recuperadores de calor nas Unidades de Tratamento de Ar Novo (UTAN’s) e de variadores de velocidade nas bombas de circulação de água e nos ventiladores de ar das UTAN’s. Pretendia o ISQ concluir se a aplicação de todas as MCE contribuiu de forma efetiva para o dimensionamento de sistemas e equipamentos AVAC de menor capacidade e, consequentemente, numa redução de utilização de energia. Em sequência, pretendia avaliar a viabilidade económica da aplicação de todas as MCE, estimando o sobrecusto inicial e o tempo necessário para o retorno financeiro daquele investimento. Para alcançar os objetivos propostos, procedeu-se à simulação energética dinâmica do ECOTERMOLAB, utilizando o programa EnergyPlus. Primeiro foi simulada uma situação base do edifício, sem quaisquer MCE. Posteriormente foi caraterizada cada uma das situações de aplicação das MCE, com o objetivo de avaliar o respetivo impacto individual na utilização de energia pelos sistemas AVAC. Por último foram assumidas todas as soluções em conjunto para avaliar o impacto final de todas as MCE na utilização de energia dos sistemas AVAC, bem como no seu dimensionamento. Das simulações dinâmicas foram obtidos os valores das necessidades de aquecimento e arrefecimento, de energia utilizada pelos sistemas AVAC e de caudais de água aquecida e arrefecida circulada. Com estes valores foi feita uma estimativa de dimensionamento dos equipamentos e componentes AVAC para as situações da aplicação de todas as MCE no ECOTERMOLAB e a sua ausência. A partir da diferença dos custos de aquisição dos respetivos equipamentos e dos valores de poupança em energia foi realizado o estudo da viabilidade económica da implementação das MCE neste edifício. Este estudo permitiu concluir que a aplicação das MCE no ECOTERMOLAB levou à redução da dimensão na generalidade dos equipamentos e componentes AVAC. Permitiu, ainda, concluir que houve uma diminuição de utilização de energia por parte destes sistemas e equipamentos para o aquecimento e arrefecimento. Conclui-se ainda que o período de retorno (Payback) do sobrecusto inicial, estimado em 37.822€ é de, aproximadamente, onze anos e meio, para um valor atual líquido (VAL) de 8.061€ e à taxa interna de rentabilidade (TIR) de 7,03%.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Desenvolvimento de Frameworks de Testes Automáticos de Software

O objetivo deste trabalho é o desenvolvimento de frameworks de testes automáticos de software. Este tipo de testes normalmente está associado ao modelo evolucionário e às metodologias ágeis de desenvolvimento de software, enquanto que os testes manuais estão relacionados com o modelo em cascata e as metodologias tradicionais. Como tal foi efetuado um estudo comparativo sobre os tipos de metodologias e de testes existentes, para decidir quais os que melhor se adequavam ao projeto e dar resposta à questão "Será que realmente compensa realizar testes (automáticos)?". Finalizado o estudo foram desenvolvidas duas frameworks, a primeira para a implementação de testes funcionais e unitários sem dependências a ser utilizada pelos estagiários curriculares da LabOrders, e a segunda para a implementação de testes unitários com dependências externas de base de dados e serviços, a ser utilizada pelos funcionários da empresa. Nas últimas duas décadas as metodologias ágeis de desenvolvimento de software não pararam de evoluir, no entanto as ferramentas de automação não conseguiram acompanhar este progresso. Muitas áreas não são abrangidas pelos testes e por isso alguns têm de ser feitos manualmente. Posto isto foram criadas várias funcionalidades inovadoras para aumentar a cobertura dos testes e tornar as frameworks o mais intuitivas possível, nomeadamente: 1. Download automático de ficheiros através do Internet Explorer 9 (e versões mais recentes). 2. Análise do conteúdo de ficheiros .pdf (através dos testes). 3. Obtenção de elementos web e respetivos atributos através de código jQuery utilizando a API WebDriver com PHP bindings. 4. Exibição de mensagens de erro personalizadas quando não é possível encontrar um determinado elemento. As frameworks implementadas estão também preparadas para a criação de outros testes (de carga, integração, regressão) que possam vir a ser necessários no futuro. Foram testadas em contexto de trabalho pelos colaboradores e clientes da empresa onde foi realizado o projeto de mestrado e os resultados permitiram concluir que a adoção de uma metodologia de desenvolvimento de software com testes automáticos pode aumentar a produtividade, reduzir as falhas e potenciar o cumprimento de orçamentos e prazos dos projetos das organizações.

Avaliação dos Processos de Software utilizando CMMI

Atualmente, as empresas distinguem-se das demais pelos produtos e serviços fornecidos com qualidade e dentro dos prazos estabelecidos. Uma empresa de desenvolvimento de software não foge a essa regra e para isso os processos envolvidos nas diversas fases de levantamento, desenvolvimento, implementação e suporte devem estar documentados, ser do conhecimento geral da Organização e colocados em prática diariamente nas diversas atividades dos colaboradores. Para isso deve contribuir uma melhoria contínua desses mesmos processos. O CMMI-DEV, Capability Maturity Model Integration for Development, possibilita a introdução de boas práticas nas diversas áreas do processo de desenvolvimento de software, mas também a avaliação dessas áreas e respetiva identificação de aspetos a necessitarem de ser melhorados ou até disseminados por toda a organização. Este trabalho envolveu efetuar uma análise teórica do CMMI-DEV e sua posterior utilização prática num ambiente de trabalho empresarial para avaliação dos processos dessa empresa. Para a concretização deste segundo aspeto, foi elaborado um questionário para avaliar os processos de uma organização, segundo o modelo CMMI-DEV 1.3, avaliada a facilidade de utilização do questionário de avaliação dos processos por parte dos inquiridos. Foi realizada ainda uma análise aos resultados obtidos nos referidos questionários.

Viabilidade Técnica e Económica das Diferentes Tecnologias de Microprodução

Sabendo que as energias de origem fóssil não são inesgotáveis e que afetam a qualidade do ambiente, nos últimos anos, o interesse pelas energias renováveis mereceu a atenção de ambientalistas e de governantes. Para diminuir a importação de energia, o próprio governo de Portugal incentivou, através de medidas legislativas diversas, a instalação de sistemas alternativos de produção elétrica. Face à pertinência desta matéria, a dissertação, Viabilidade Técnica e Económica das Diferentes Tecnologias de Microprodução, aborda o aproveitamento de energias renováveis através de tecnologias de Microprodução ligadas à rede elétrica. Nesta dissertação, numa primeira fase, apresentam-se os sistemas de microprodução existentes no mercado, descrevem-se os componentes que os constituem e destacam-se os aspetos legislativos aplicáveis. Numa segunda fase, com o objetivo de suportar a elaboração de uma ferramenta informática para apoio na escolha de equipamentos de microprodução, procede-se à análise financeira de tecnologias de microprodução, indicando os modelos matemáticos necessários. Um dos objetivos da dissertação, consiste na construção de uma ferramenta informática de cálculo e na sua aplicação a dois estudos de caso. Esse programa informático foi elaborado em Excel e é capaz de fornecer uma estimativa da produção de energia anual e da avaliação da viabilidade técnico-económica de cada tecnologia e pretende apoiar a decisão do investidor em tecnologias de microprodução. Tendo sido realizados dois estudos de caso - um edifício habitacional unifamiliar e um edifício Industrial – foi possível verificar o funcionamento da aplicação e a sua utilidade na determinação da solução mais vantajosa na escolha de uma tecnologia de microprodução, uma vez que, introduzidos os dados adequados, são gerados os cálculos que permitem fornecer uma visão de conjunto, possibilitando a comparação das diferentes propostas.

Ensinar ciências a alunos com incapacidade intelectual recorrendo ao software Scratch: um estudo de caso

Este estudo procura a valorização do ensino dirigido a alunos com Incapacidade Intelectual. Tem como objetivos conceber um recurso didático, integrando as ferramentas do Scratch, para alunos com Incapacidade Intelectual; averiguar a exequibilidade do uso desse recurso em ambiente natural de ensino e promover o envolvimento de alunos com Incapacidade Intelectual na realização de tarefas propostas na disciplina de Ciências da Natureza. Pretendemos dar resposta às seguintes questões de investigação: (1) A utilização do Scratch é adequada e exequível no trabalho quotidiano de alunos com Incapacidade Intelectual? (2) Em que medida o Scratch pode contribuir para um melhor envolvimento dos alunos com Incapacidade Intelectual na realização das tarefas propostas? Para este efeito, planificamos duas aulas. Na primeira, abordou-se o conteúdo a tratar – Poluição – e na segunda aula utilizou-se o Scratch, desafiando os alunos a desenvolverem diversas tarefas de forma mais ativa. O presente estudo segue uma abordagem metodológica de natureza qualitativa, centrando-se num estudo de caso, onde se aborda a importância do uso das Tecnologias de Informação e Comunicação, mais concretamente o software educativo Scratch, como sendo uma ferramenta potenciadora do envolvimento dos alunos. Este estudo foi aplicado a três alunos com Incapacidade Intelectual que tinham sido atribuídos à docente investigadora no presente ano letivo. Os dados foram recolhidos através da análise dos Programas Educativos Individuais dos alunos participantes; da entrevista realizada à docente de Educação Especial; de gravações áudio, de fotografias, de trabalhos realizados pelos alunos participantes e de notas de campo da investigadora. Foi centralidade do estudo a conceção de uma proposta didática e o desenvolvimento dos respetivos recursos, utilizando o software educativo Scratch. Quer a proposta didática quer os recursos a ela associados constituem em si mesmo parte dos resultados do trabalho desenvolvido. Os dados obtidos neste estudo permitem sustentar a ideia de que é possível trabalhar com alunos com Necessidades Educativas Especiais, nomeadamente Incapacidade Intelectual, recorrendo ao software educativo Scratch e que o uso desta ferramenta proporcionou um maior envolvimento e autonomia dos alunos nas tarefas propostas.

Utilização do software Scratch no ensino das ciências da natureza e da matemática com alunos portadores de dislexia

O estudo que apresentamos tem como objetivos de investigação contribuir para o desenvolvimento global das crianças com Necessidades Educativas Especiais, nomeadamente, portadoras de Dislexia, designadamente em aulas onde são lecionados conteúdos de Ciências da Natureza e de Matemática, e conceber um recurso didático apoiado nas TIC que seja adequado à utilização em sala de aula por alunos com dislexia. Neste sentido, o estudo foi orientado pelas seguintes questões de investigação: A utilização do Scratch é adequada e exequível no trabalho quotidiano de alunos portadores de Dislexia? e Em que medida o Scratch pode contribuir para um melhor envolvimento dos alunos portadores de Dislexia na realização das tarefas propostas? O presente trabalho segue uma metodologia de carácter qualitativo, centrando-se no estudo de caso. Tentou-se dar uma resposta à reduzida utilização do software Scratch no ensino das Ciências da Natureza e Matemática como instrumentos viáveis para uma aprendizagem de sucesso em alunos portadores de Dislexia. Este estudo foi aplicado a três alunos do 4º ano, com este diagnóstico, de um agrupamento de escolas do concelho de Viseu. Para dar resposta às questões de investigação supracitadas foram implementadas e projetadas duas atividades no software Scratch para serem desenvolvidas em duas situações formativas contextualizadas. O subdomínio que se pretendeu trabalhar foi “A importância da água para os seres vivos” articulando com o conteúdo dos volumes. Os dados foram recolhidos através da análise dos Programas Educativos Individuais de cada um dos alunos participantes, das entrevistas às docentes de Educação Especial, de gravações áudio, fotografias, trabalhos dos alunos e os registos da professora investigadora. Os resultados obtidos permitiram caracterizar o modo como os alunos, portadores de dislexia, se envolveram com o Scratch na aquisição de conhecimento. Permitiram ainda demonstrar aos professores que é possível construir atividades nesta ferramenta envolvendo conteúdos curriculares interdisciplinares.

Software development for estimation of optical clearing agent’s diffusion coefficients in biological tissues

The study of chemical diffusion in biological tissues is a research field of high importance and with application in many clinical, research and industrial areas. The evaluation of diffusion and viscosity properties of chemicals in tissues is necessary to characterize treatments or inclusion of preservatives in tissues or organs for low temperature conservation. Recently, we have demonstrated experimentally that the diffusion properties and dynamic viscosity of sugars and alcohols can be evaluated from optical measurements. Our studies were performed in skeletal muscle, but our results have revealed that the same methodology can be used with other tissues and different chemicals. Considering the significant number of studies that can be made with this method, it becomes necessary to turn data processing and calculation easier. With this objective, we have developed a software application that integrates all processing and calculations, turning the researcher work easier and faster. Using the same experimental data that previously was used to estimate the diffusion and viscosity of glucose in skeletal muscle, we have repeated the calculations with the new application. Comparing between the results obtained with the new application and with previous independent routines we have demonstrated great similarity and consequently validated the application. This new tool is now available to be used in similar research to obtain the diffusion properties of other chemicals in different tissues or organs.

A eficiência energética nas redes de telecomunicações e tecnologias de informação e comunicação

A presente tese pretende fazer uma abordagem ao crescimento dos consumos de energia elétrica, que se tem verificado, nos últimos anos, no setor das telecomunicações e das tecnologias de informação; devido ao constante crescimento das redes, dos equipamentos a ela ligados e do tráfego que nelas transita. Num contexto de globalização da economia, no qual, as redes de telecomunicações e de energia elétrica são dois dos maiores contribuintes, a presente tese procura encontrar enquadramentos e soluções para um dos maiores desafios que a humanidade enfrenta atualmente, e que em parte, é consequente dessa globalização: encontrar novas fontes e formas de utilização da energia, -particularmente da energia elétrica - para que a humanidade continue a usufruir, de uma forma sustentável, dos benefícios que a mesma proporciona. Na primeira parte, procura-se fazer uma abordagem que utiliza fontes de informação e conhecimento, do mercado global, nomeadamente, entidades reguladoras e normalizadoras, operadores, fornecedores de tecnologias e consumidores, que abrangessem os três maiores mercados mundiais – União Europeia, Estados Unidos da América e Ásia-Pacífico. Considerou-se fundamental fazê-lo, por se tratar de uma dissertação no âmbito de um Mestrado com o selo de garantia EUR-ACE. Ao longo da dissertação analisou-se a temática da eficiência energética nas redes de telecomunicações e das tecnologias de informação e comunicação, um tema cada vez mais pertinente, já que o número de pessoas com ligações à Internet, já supera os 3 mil milhões, e as redes passaram a ser o meio por onde são transmitidos, a cada segundo, terabytes de sinais de voz, dados e vídeo. Procurou-se encontrar as linhas de orientação que estão a ser traçadas, para otimizar os consumos energéticos, de um complexo sistema convergente de redes e serviços, formado por entidades reguladoras e normalizadoras, operadores, fornecedores de tecnologias e consumidores, onde nem sempre as fronteiras estão perfeitamente definidas. Perante a constatação da realidade exposta, analisou-se as políticas energéticas desenvolvidas nos últimos anos, pelos vários players do mercado das telecomunicações, das tecnologias de informação e dos sistemas elétricos de energia bem como algumas métricas e objetivos comumente aceites. viii São analisados os contributos das partes interessadas, para o desenvolvimento de políticas energéticas eficazes, por forma a permitirem uma implementação, que considere o funcionamento dos equipamentos como um todo, e não de uma forma isolada como tradicionalmente o assunto era abordado. As especificidades na forma como funcionam as redes de telecomunicações e respetivos equipamentos, são expostas sobre várias óticas, comprovando-se que a temática da eficiência energética é uma das áreas mais difíceis lidar, de todas as consideradas nas políticas energéticas. Demonstrou-se que muitos dos equipamentos não estão otimizados em termos de gestão de energia, procurou-se evidenciar as consequências dessa realidade, uma vez que os equipamentos referidos, têm a necessidade de estar permanentemente a ser alimentados pela rede de energia elétrica, para garantir as funções para que foram projetados. Da pesquisa efetuada e descrita ao longo da dissertação, constatamos o empenho de toda a comunidade científica, operadores e agências de energia e de telecomunicações, em resolver o problema, já que há a consciencialização de que o ritmo de crescimento da rede e equipamentos terminais, é superior ao registado na melhoria da eficiência energética dos vários componentes e equipamentos terminais. Na segunda parte do relatório da tese, procurou-se testar a aplicabilidade das normas e recomendações dos organismos que tutelam a atividade a nível global - algumas publicadas nos últimos 2 anos - a um caso prático. Um edifício hospitalar de média dimensão. Foi elaborada uma aplicação informática, que suportada numa metodologia padronizada, seja capaz de fazer a avaliação da eficiência energética dos equipamentos serviços de telecomunicações de informação e comunicação em funcionamento do hospital. Por dificuldades de disponibilidade dos responsáveis do edifício, os resultados ficaram aquém do esperado. Conseguiu-se desenhar a aplicação, inventariar-se apenas parte dos equipamentos. Demonstrou-se que, a forma como alguns equipamentos estão a ser utilizados, não cumprem regras de utilização racional e eficiente. Procurou-se sensibilizar alguns dos responsáveis, para a necessidade de alterar comportamentos e prosseguir o processo de inventariação, por forma, a que o trabalho iniciado atinja os objetivos propostos.

Desenvolvimento de software com integração contínua

A integração contínua é uma prática no desenvolvimento de software que já existe há algum tempo mas ainda não é muito conhecida nem usada. Esta prática no desenvolvimento de software surgiu com a programação extrema e tem evoluído ao longo dos últimos anos, adaptando-se às novas tecnologias. O estudo aqui apresentado pretende essencialmente mostrar a real importância e o valor acrescido que a integração contínua pode trazer a um projeto de desenvolvimento de software. O trabalho aqui exposto surge no âmbito de um projeto interno, realizado pelo autor na empresa Konkconsulting, cuja finalidade se prende com o conhecimento mais aprofundado da integração contínua e com o levantamento das necessidades e criação de soluções, de modo a conseguir a sua utilização nos produtos que irão ser desenvolvidos pela empresa. Nesta dissertação, é proposto um conjunto de ferramentas para responder às necessidades imediatas da empresa na implementação de integração contínua num dos seus projetos. Estas ferramentas devem ser de simples e de fácil utilização, de modo a ajudar os programadores durante os desenvolvimentos e responder às necessidades da utilização da integração contínua em um projeto a ser desenvolvido pela empresa, mas ao mesmo tempo, podendo ser facilmente incorporadas em futuros projetos.

Aplicação de um software de cálculo automático na verificação aos estados limites de utilização em estruturas de Betão Armado

Actualmente e cada vez mais, são concebidos e utilizados programas de cálculo automático de Engenharia na realização de projectos de edifícios, que proporcionam aos engenheiros uma possibilidade avançada e rápida de execução, simulação e análise de edifícios para estruturas complexas e de elevada dimensão. Contudo, será necessário que os resultados deverão ser fiáveis de modo a não existirem consequências no comportamento real da estrutura a longo prazo. O presente relatório de estágio, refere-se à verificação aos estados limites de utilização (tensões, fendilhação e deformação) segundo o Eurocódigo 2, de uma estrutura porticada em betão armado, nomeadamente de um pórtico central pertencente a essa mesma estrutura recorrendo ao programa de cálculo automático da Autodesk o Robot Structural Analysis Professional 2014. O objectivo principal do presente trabalho consiste na comparação de resultados referente aos estados limites últimos e de utilização, pelos diferentes módulos de dimensionamento Required e Provided Reinforcement presentes no programa Robot. É destacado no final do relatório, considerando uma disposição de armadura optada analiticamente para o pórtico, uma análise comparativa de resultados referente aos estados limites de utilização entre o comando Typical Reinforcement do módulo Provided Reinforcement e por expressões analíticas. Refere-se contudo que, o procedimento do método analítico teve como base de cálculo uma aplicação desenvolvida para a verificação de elementos de betão armado aos estados limites de utilização segundo o Eurocódigo 2, com o nome de XD-Conserv tendo sido também comparado os resultados finais do mesmo.