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

As representações sociais da Geografia escolar: um olhar sobre a prática didático-pedagógica

To present research had for study object to understand the social representations of the school geography for the students of the Municipal Schools Lions Prata and Dr. Francisco Brasileiro, located in the neighborhood of Catolé, and in Santa Terezinha District, respectively, in the municipal district of Campina Grande/PB. The objective of that study consisted of identifying, to understand and to analyze those apprehensions in the form as they are communicated and executed at the school and in the society. That search is due to the fact that the constant reproduction of the same ones in the current world context in that we are inserted doesn't to the understanding of the being's complexity and of the knowledge in the educational and social extent. Like this, we considered urgent their dialogues in practice didactic-pedagogic of the geography for ressignificar the geographical knowledge produced in the city. Authors as Moscovici; Jodelet; Bourdieu; Tuan; Foucault; Castoriadis; Morin among others contributed in the reflexive mediation of the imaginary symbolic emitted by the interior speeches of the 281 (two hundred and eighty and a) researched students. Those corresponded to 64,0% (sixty four) integral of the enrolled ones in the two schools of the municipal public system of teaching (INEP, 2005). A qualitative-quantitative survey was used and its answers were categorized by using the statistical description of the Statistical Package for the Social Sciences SPSS Program. The freeassociation of words technique was also used in order to verify some information. The results revealed that the social representations of geography are still grounded in fragmented, content-based, positivistic and functional conceptions of man, society and the world. Manifestation of a traditional and organicistic teaching, this unveiling excludes the historical capacity of the students creative construction of knowledge, as well as a competent and demanding educational mediation

O Circuito espacial de produção do biodiesel: configuração no território brasileiro e uso do território Norte-Rio-Grandense

This research aims to understand the use of the territory from the Rio Grande do Norte to the circuit spatial of production from the Biodiesel understanding it as part of the national context. The introduction of biodiesel into the Brazilian energy matrix begins to take shape in the year 2005 with the implementation of the National Program for Production and Use of Biodiesel (NPPB). This is anchored on three pillars: social inclusion (through family agriculture), environmental sustainability and economic viability. The NPPB consists of a set of standards, which turned into shares and distributed by almost all the national territory. Our reflection assumes that the places accommodating different forms of productive activities and, thus, the performance of the circuit space of biodiesel production depends on several factors, including the configuration of the territory they receive this new nexus economic. Understanding that the places by their technical content determine the realization of productive activities, it was found that the inclusion of this circuit space production in Rio Grande do Norte, reveals the reality expressed in the national territory, where some places are endowed with a privileged technical content and other extremely poor infrastructure. As our research could confirm the circuit space of biodiesel production that is expressed in the way plants are distributed within the country (mostly in South-Central), in more significant participation of small farmers in the South in the supply of raw material for the production of biodiesel and the main raw material used for the production of agrofuels (soybeans, whose production sector is highly consolidated and technified). Already the project materialization of NPPB regarding the settlements and communities of the Rio Grande do Norte State, we observed that the "event" or advent of realization encountered a technical means lacking in infrastructure that need to be molded to the needs of production, or is to cultivate castor beans or sunflower would be needed inputs and implements that farmers don´t have. Given the above, the research concludes that, as proposed previously, the use of the territory of Rio Grande do Norte to this circuit has summarized the performance of experiments, either with regard to the participation of family farmers as suppliers of raw materials, including the development of related research in the stage of production fuel oil by Petrobras. This finding came from research done from the concept of "spatial circuits of production," which allowed the verification of the circuit that steps outlined in Potiguar territory. Regarding the inclusion of family farmers in the productive circuit in RN, research reveals that, in the manner as has been done, it is doomed to failure. Furthermore, we dare say that this persistence in trying to put these family farmers, the way is being made, and the resulting successive failures, indicating that social inclusion advocated by NPPB not take place, and that this production circuit relies on the same logic circuit concentrated and exclusive space for ethanol production