The ABNT NBR 15575 - Performance - Buildings, came into force in July 2013, bringing major changes to the Construction sector, because it establishes minimum quality standards, based on the performance and durability of the systems. The focus of this Standard is on the requirements of users for the housing building and its systems, as their behavior in use and not in limitation of how systems are built. On the other hand, the Code of Constructions and Buildings in the city of Santana do Livramento (COE-SL), RS, is being reworked by the City Hall and it is necessary to include articles in this Act that address the performance requirements. The overall objective of the research was to conduct a thorough study of the Standard and verify what are the main requirements that should guide the Code of Constructions and Buildings in the city, which have been facing serious problems due to climatic factors (such as rainfall and strong winds). There was, after literature review on standardization, performance, municipal building codes, and especially on the Performance Standard, verification of each of the standard requirements and were prepared tables of systems addressed to the verification of need, or not, its inclusion in the COE-SL. Thus, in the presentation of the results, we defined how each selected item might be required and how to do this requirement. Thus, we sought to contribute to transform the Code of Constructions and Buildings in an efficient mechanism in the process of obtaining buildings with good performance. / A ABNT NBR 15575 - Desempenho Edificações, entrou em vigor em Julho de 2013, trazendo grandes mudanças para o setor da Construção Civil, pois estabelece padrões mínimos de qualidade, baseados no desempenho e na durabilidade dos sistemas. O foco desta Norma está nas exigências dos usuários para o edifício habitacional e seus sistemas, quanto ao seu comportamento em uso e não na prescrição de como os sistemas são construídos. Por outro lado, o Código de Obras e Edificações da cidade de Santana do Livramento (COE-SL), RS, está sendo reelaborado pela Prefeitura Municipal e faz-se necessária a inclusão de artigos nessa Lei que contemplem os requisitos de desempenho. O objetivo geral da pesquisa era realizar um estudo aprofundado da Norma e verificar quais os principais requisitos que deveriam orientar o Código de Obras e Edificações da cidade, que vêm enfrentando sérios problemas devidos a fatores climáticos (como chuvas e ventos fortes). Fez-se, após a revisão bibliográfica sobre normalização, desempenho, códigos de obras municipais e, especialmente, sobre a Norma de Desempenho, a verificação de cada um dos requisitos da Norma e foram elaborados quadros relativos aos sistemas abordados com a verificação da necessidade, ou não, da sua inclusão no COE-SL. Assim, na apresentação dos resultados, definiu-se a forma como cada item selecionado poderia ser exigido e de que forma se faria essa exigência. Dessa forma, buscou-se contribuir para transformar a Lei do Código de Obras e Edificações num mecanismo eficiente no processo de obtenção de edificações com bom desempenho.

The development of high integrity embedded systems remains an arduous and error-prone task, despite the efforts by researchers in inventing tools and techniques for design automation. Much of the problem arises from the fact that the semantics of the modeling languages for the various tools, are often distinct, and the semantics gaps are often filled manually through the engineer's understanding of one model or an abstraction. This provides an opportunity for bugs to creep in, other than standardizing software engineering errors germane to such complex system engineering. Since embedded systems applications such as avionics, automotive, or industrial automation are safety critical, it is very important to invent tools, and methodologies for safe and reliable system design. Much of the tools, and techniques deal with either the design of embedded platforms (hardware, networking, firmware etc), and software stack separately. The problem of the semantic gap between these two, as well as between models of computation used to capture semantics must be solved in order to design safer embedded systems. In this dissertation we propose a methodology for the end-to-end modeling and analysis of safety-critical embedded systems. Our approach consists of formal platform modeling, and analysis; formal application modeling; and 'correct-by-construction' code synthesis with the aim of bridging semantic gaps between the various abstractions and models required for the end-to-end system design. While the platform modeling language AADL has formal semantics, and analysis tools for real-time, and performance verification, the application behavior modeling in AADL is weak and part of an annex. In our work, we create the APECS (AADL and Polychrony based Embedded Computing Synthesis) methodology to allow an embedded system design specification all the way from platform architecture and platform components, the real-time behavior, non-functional properties, as well as the application software modeling. Our main contribution is to integrate a polychronous application software modeling language, and synthesis algorithms in order for synthesis of the embedded software running on the target platform, with the required constraints being met. We believe that a polychronous approach is particularly well suited for a multiprocessor/multi-controller distributed platform where different components often operate at independent rates and concurrently. Further, the use of a formal polychronous language will allow for formal validation of the software prior to code generation. We present a prototype framework that implements this approach, which we refer to as the AADL and Polychrony based Embedded Computing System (APECS). Our prototype utilizes an extended version of Ocarina to provide code generation for the AADL model. Our polychronous modeling language is MRICDF. Our prototype extends Ocarina to support software specification in MRICDF and generate multi-threaded software. Additionally, we implement an automated translation from Simulink to MRICDF, allowing designers to benefit from its formal semantics and exploit engineers' familiarity with Simulink tools, and legacy models. We present case studies utilizing APECS to implement safety critical systems both natively in MRICDF and in Simulink through automated translation. / Ph. D.