Projeto de Sistemas Integrados de Propósito Geral Baseados em Redes em Chip Expandindo as Funcionalidades dos Roteadores para Execução de Operações: A plataforma IPNoSys

It bet on the next generation of computers as architecture with multiple processors and/or multicore processors. In this sense there are challenges related to features interconnection, operating frequency, the area on chip, power dissipation, performance and programmability. The mechanism of interconnection and communication it was considered ideal for this type of architecture are the networks-on-chip, due its scalability, reusability and intrinsic parallelism. The networks-on-chip communication is accomplished by transmitting packets that carry data and instructions that represent requests and responses between the processing elements interconnected by the network. The transmission of packets is accomplished as in a pipeline between the routers in the network, from source to destination of the communication, even allowing simultaneous communications between pairs of different sources and destinations. From this fact, it is proposed to transform the entire infrastructure communication of network-on-chip, using the routing mechanisms, arbitration and storage, in a parallel processing system for high performance. In this proposal, the packages are formed by instructions and data that represent the applications, which are executed on routers as well as they are transmitted, using the pipeline and parallel communication transmissions. In contrast, traditional processors are not used, but only single cores that control the access to memory. An implementation of this idea is called IPNoSys (Integrated Processing NoC System), which has an own programming model and a routing algorithm that guarantees the execution of all instructions in the packets, preventing situations of deadlock, livelock and starvation. This architecture provides mechanisms for input and output, interruption and operating system support. As proof of concept was developed a programming environment and a simulator for this architecture in SystemC, which allows configuration of various parameters and to obtain several results to evaluate it

MARISA-MDD: uma abordagem para transformações entre modelos orientados a aspectos: dos requisitos ao projeto detalhado

Aspect Oriented approaches associated to different activities of the software development process are, in general, independent and their models and artifacts are not aligned and inserted in a coherent process. In the model driven development, the various models and the correspondence between them are rigorously specified. With the integration of aspect oriented software development (DSOA) and model driven development (MDD) it is possible to automatically propagate models from one activity to another, avoiding the loss of information and important decisions established in each activity. This work presents MARISA-MDD, a strategy based on models that integrate aspect-oriented requirements, architecture and detailed design, using the languages AOV-graph, AspectualACME and aSideML, respectively. MARISA-MDD defines, for each activity, representative models (and corresponding metamodels) and a number of transformations between the models of each language. These transformations have been specified and implemented in ATL (Atlas Definition Language), in the Eclipse environment. MARISA-MDD allows the automatic propagation between AOV-graph, AspectualACME, and aSideML models. To validate the proposed approach two case studies, the Health Watcher and the Mobile Media have been used in the MARISA-MDD environment for the automatic generation of AspectualACME and aSideML models, from the AOV-graph model

Projeto e implementação de uma plataforma MP-SoC usando SystemC

This work presents the concept, design and implementation of a MP-SoC platform, named STORM (MP-SoC DirecTory-Based PlatfORM). Currently the platform is composed of the following modules: SPARC V8 processor, GPOP processor, Cache module, Memory module, Directory module and two different modles of Network-on-Chip, NoCX4 and Obese Tree. All modules were implemented using SystemC, simulated and validated, individually or in group. The modules description is presented in details. For programming the platform in C it was implemented a SPARC assembler, fully compatible with gcc s generated assembly code. For the parallel programming it was implemented a library for mutex managing, using the due assembler s support. A total of 10 simulations of increasing complexity are presented for the validation of the presented concepts. The simulations include real parallel applications, such as matrix multiplication, Mergesort, KMP, Motion Estimation and DCT 2D

Projeto e implementação em FPGA de um processador com conjunto de instrução reconfigurável utilizando VHDL

The Reconfigurable Computing is an intermediate solution at the resolution of complex problems, making possible to combine the speed of the hardware with the flexibility of the software. An reconfigurable architecture possess some goals, among these the increase of performance. The use of reconfigurable architectures to increase the performance of systems is a well known technology, specially because of the possibility of implementing certain slow algorithms in the current processors directly in hardware. Amongst the various segments that use reconfigurable architectures the reconfigurable processors deserve a special mention. These processors combine the functions of a microprocessor with a reconfigurable logic and can be adapted after the development process. Reconfigurable Instruction Set Processors (RISP) are a subgroup of the reconfigurable processors, that have as goal the reconfiguration of the instruction set of the processor, involving issues such formats, operands and operations of the instructions. This work possess as main objective the development of a RISP processor, combining the techniques of configuration of the set of executed instructions of the processor during the development, and reconfiguration of itself in execution time. The project and implementation in VHDL of this RISP processor has as intention to prove the applicability and the efficiency of two concepts: to use more than one set of fixed instructions, with only one set active in a given time, and the possibility to create and combine new instructions, in a way that the processor pass to recognize and use them in real time as if these existed in the fixed set of instruction. The creation and combination of instructions is made through a reconfiguration unit, incorporated to the processor. This unit allows the user to send custom instructions to the processor, so that later he can use them as if they were fixed instructions of the processor. In this work can also be found simulations of applications involving fixed and custom instructions and results of the comparisons between these applications in relation to the consumption of power and the time of execution, which confirm the attainment of the goals for which the processor was developed

Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC

New programming language paradigms have commonly been tested and eventually incorporated into hardware description languages. Recently, aspect-oriented programming (AOP) has shown successful in improving the modularity of object-oriented and structured languages such Java, C++ and C. Thus, one can expect that, using AOP, one can improve the understanding of the hardware systems under design, as well as make its components more reusable and easier to maintain. We apply AOP in applications developed using the SystemC library. Several examples will be presented illustrating how to combine AOP and SystemC. During the presentation of these examples, the benefits of this new approach will also be discussed

Extensões ao Projeto LVWNet: mobilidade, interação com equipamentos reais, comunicação direta, e registro dinâmico de nós

Due to the constantly increasing use of wireless networks in domestic, business and industrial environments, new challenges have emerged. The prototyping of new protocols in these environments is typically restricted to simulation environments, where there is the need of double implementation, one in the simulation environment where an initial proof of concept is performed and the other one in a real environment. Also, if real environments are used, it is not trivial to create a testbed for high density wireless networks given the need to use various real equipment as well as attenuators and power reducers to try to reduce the physical space required to create these laboratories. In this context, LVWNet (Linux Virtual Wireless Network) project was originally designed to create completely virtual testbeds for IEEE 802.11 networks on the Linux operating system. This paper aims to extend the current project LVWNet, adding to it the features like the ability to interact with real wireless hardware, provides a initial mobility ability using the positioning of the nodes in a space coordinates environment based on meters, with loss calculations due to attenuation in free space, enables some scalability increase by creating an own protocol that allows the communication between nodes without an intermediate host and dynamic registration of nodes, allowing new nodes to be inserted into in already in operation network

Interfaces cultural, política e organizacional do projeto caminhos do frio rota cultural no contexto da regionalização do turismo no brejo paraibano

This study is the analysis of cultural, political and organizational interfaces of "Caminhos do Frio Rota Cultural" Project in the context of tourism regionalization in Brejo Paraibano and it presents the characterization, routing and inventory of six municipalities of the Project, as well as the identification of cultural elements used for tourist in the routing of the pond, the investigation of political and organizational articulation and the verification of participation of each producing agent in the development of tourism resulting from the swamp of Paraiba. This is a qualitative descriptive and exploratory study, which makes use of the interpretive paradigm to perform an analysis of the environment where occurs the regionalization of tourism in Brejo of Paraíba and the social actors involved in this process in order to pursue development of the region through culture and tourism, with the collection spot in the six counties of the Project participants collected through interviews with managers, community, government agencies and tourist trade, and the use of the technique of direct observation. This time, with the data analysis it was possible to establish the production situation and its cultural and tourist development in the region of Brejo (PB), where culture has become a developmental tool within the tourism industry due to its innovation potential. It was possible to ratify the undisputed vocation of cultural tourism in the region in question, since other projects being developed with the use of cultural resources with a strong influence on the policies of regional tourism. Thus, the main result was that was seen is that the regional development has triggered a refunctionalisation / reappropriation of space just rebuilding a new territorial organization through the development of a regional autonomy of management, a capacity of collective ownership and the use of economic surplus, a spontaneous process of social inclusion as well as awareness and mobilization tourist (even if initial and shy), an appreciation of natural and cultural assets for all stakeholders and especially identification of the population with its region and its culture, as to achieve regional development is not enough to increase the economic, but above all the promotion of endogenous social factors such as changes in social and cultural values and the integration of social actors in this process. Finally, taking into account the definitions of sustainability, it is considered that cannot be said that the development model seen in the swamp of Paraiba is sustainable, but it is a model of regional development based on the unique characteristics that each municipality has and create a regional identity and have correponded expectations / desired results and therefore the viability of the region through the development of cultural tourism was proven

Fatores que influenciam o apoio dos residentes á megaeventos: uma análise sobre o projeto FIFA WORLD CUP 2014 em Natal/RN

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Empreendedorismo social e protagonismo juvenil: a estratégia socioeducativa do projeto Oasis de intervivência universitária

This dissertation aims to analyze the strategy of socio Intervivência University Project OASIS training of community development from the perspective of social entrepreneurship. This project was part of the context of a sort of university extension, called Intervivência University, which emerged in 2008 through the announcement MCT / CNPq / CT-Agribusiness / MDA - No. 23/2008 - Intervivência University Program. With the analysis of the OASIS project sought to identify a strategy socio, which was used elements of popular education and aimed to develop young people within the social entrepreneurship that made contributions to such has taken actions in their communities seeking range of social gains. For this, the methodological aspect, it was used in the research, a qualitative approach, case study, content analysis, semi-structured interviews and non-participant observation. In the theoretical aspect was addressed in the affairs of: social entrepreneurship, with emphasis on the concept, their differentiations of business entrepreneurship and social responsibility, and characterizing the social entrepreneur, popular education, as for the development of social entrepreneurship is the need for a new way of thinking and seeing reality for the people, and youth leadership, given the importance in the context of social action, to have young people seeking a better life for their communities. Addressed the theory were drawn categories (capital, empowerment and youth participation) and subcategories of analysis (value, attitude, behavior, trust, cooperation, civic participation) used in this work. Given the information and analysis of interviews and observations could be perceived that the strategy promoted socio Project OASIS changes, or the reaffirmation of values, resulting in new attitudes and, consequently, new behaviors in the students interviewed. Has been identified in them the development of trust and cooperation. In the aspect of civic awakening was observed in some of them only. In relation to juvenile activity was perceived to develop actions aimed at social benefits for all respondents. Thus, the OASIS Project Intervivência University made contributions to the young participants in the research aspect of social entrepreneurship, influencing them in developing activities in the social sphere in which cities are embedded

Projeto político de formação do enfermeiro: contextos, textos, (re)construções

This research analyses politic Project for nursing education, in its articulation with economical, political and social context of 1970s and 1980s in national level and, in special, nurse formation process in FAEN/UERN space, situating it on the context of Brazilian sanitary reformation movement and participation movement. The thesis is firmed on the sense of explaining whether that movement circa the nurse formation process has been able to build necessary instruments for the transformation of biomedical formation model historically consolidated, in the perspective of conceiving another model anchored on social determination of health/illness process, with the purpose of assuring ethical and political commitment with the SUS praised by sanitary reformation. The study visualized the object considering its specificity, its concrete historical determinations and institutional as well as organizational relationships that permeate possibilities of valorizing it, analyzing it, interpreting it and rebuilding it. Its operationalization occurred in three movements, it means, bibliographical review; documents study; interviews and focal groups realized with professors of the institution. We can apprehend as main results that the nurse formation process has incorporated widely spread conceptions by the sanitary reformation movement and participation movement, assuming the commitment with transformation of health services and social reality. Nevertheless it prevails, still, amongst some professors in the same institutional space, the commitment to a predominantly technicist formation, focused on instrumental knowledge. Opinion divergence explicit diversity of conceptions circa education and, as consequence, distinct political commitments, also contradictory to formation. Thus, there is a lacuna between what is foreseen on political pedagogical project and what is rendered in FAEN/UERN, evidencing the clash related to conceptual bases of formation project. Interpretations, divergent political attitudes and resistances to the process allowed several formation ways. However, formation under new conceptual bases, find limits on the context of social politics implemented in Brazil during the 1990s, neoliberal-based, expressed on expansion and consolidation of health private system, managed by market rules, strengthening biomedical formation model. Notwithstanding, there is a favorable to its implementation, starting from the first years of 21st century, moment when Brazilian sanitary reformation reappear on health speech, as well as facing the policy of permanent education in health. This reality explicit a process of dialectical tension between instituted and institutor, anticipating the moment of scission or adaptation and return to what is already known. Despite of clashed, knowledge, accumulated experience, contribution to services, the construction of partnerships out of university space and articulation with national movement of (re)orientation of nurse formation, have been constituted as vital instruments to offer support to formation in FAEN/UERN. Still, we consider necessary the (re)visitation to FAEN/UERN politic pedagogical Project considering the existing and implemented construction, without, yet, depreciate the norther axis of the project at the reaching of its intentionality

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry