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

Gerenciamento ambiental das fazendas de camarão do Rio Grande do Norte

The present dissertação had as objective to study the ambient management in the Farms Saint Rita, Tahim Agropesca and Agropesca Rigomoleiro, in the Great River of the North. For this we use as theoretical tool some fundantes concepts of geographic science, the space, and as concepts auxiliary of ambient management, of estuaries as the half natural one and of manguezais as ecosystem. The study if it gave taking in consideration a model of flow of activities of a typical farm following the way of the residues produced since the beginning until its final destination, in a suitable script of SCHERER (1999). The considered flow established a sequence activities where it is identified the material of entrance, the process of management, the residues of exit and the destination of the residues to the long one of the phase of culture of the shrimp. From it was there had been elaborated a series of managemental pictures with the data raised in the three farms, of different transports and concludes that the ambient management of these farms does not follow the formal standards of a system of typical ambient management. Collating with the system of considered by norm ISO14000 the study it disclosed that all the companies are in a situation of not conformity and that the impacts on the environment continue being many significant ones. However, it is possible to implant norm ISO14000 because some procedures implanted for the farms are correct of the point of view of the ambient management

A construção e estruturação do território comercial no bairro Alecrim Natal/RN

The study done has as objective the comprehension of the constructed territorial spaces through the commercial perspective, because it is a social practice which enables the dynamic of the space and the appearing of territories. Related to the territory, we emphasized the interest for the idea of used territory treated by Milton Santos, because we agreed with him believing that is the use of the territory which warrants its legitimacy. Then, the spatial dimension chose concentrates itself into the district of Alecrim, localized at the east zone of Natal/RN, where it is recognized by its strong commercial dynamic which was built during years, facing some events which happened in the context of the city. However, this dynamic counts with a hard dichotomy which involves as the considered by the State formal activities, as the informal one. About the commerce of the district, it has characteristics into its activities whose make him to be considered popular, as by the existing products, as by the strong presence of informal workers that constitutes the district s landscape. The informal workers practice expresses one of the multiples constructed alternative territorialities. We believe that this fact has direct relation with the growing process of the exclusion from the formal jobs market. Still talking about the spatial dimension, this real example of the Alecrim district shows how the techniques changes, together with the capitalism process, may influence one entire spatial dynamic across years, involving many agents, since the transient people from somewhere, until the State. Shall the Geography understand the multiple forms from the space, face to the relations that occur into it and also how new territories have been built