Made available in DSpace on 2016-06-02T19:52:08Z (GMT). No. of bitstreams: 1 DissARS.pdf: 2226091 bytes, checksum: f82cdad26bfb82feb9b2a99fc289159c (MD5) Previous issue date: 2005-02-22 / The competitive and globalized status in which are the main sectors of economy, justify the importance of a system of competitive intelligence. In essence, it aims to contribute for the organization at least in two aspects: the decision-making and the strategy elaboration. The importance of a competitive intelligence system is more evident in economic sectors that look for more efficiency, as, for example, those linked to the agribusiness, which participation in the Brazilian GPD (Gross Domestic Product) reaches at one third of this macroeconomic index. Thereby, the execution of this research work was proposed and its objective was the conception of a system of competitive intelligence for an organization of the sector of raw materials and production goods from the agribusiness complex. Aiming this objective, the research was developed in two bases. The first one was the bibliographical revision, about the competitive intelligence. In this revision was studied several models of competitive intelligence, their components and some forms of implantation. The second base of the research was the research-action method that had guided the conception of the adapted system for the organization studied. With the confirmation of the suggested hypothesis, and by reaching the aimed result, it was successfully conceived a adapted system of competitive intelligence for an organization of the sector of raw materials and production goods from the agribusiness complex. The conceived system had gathered some hybrid elements from several authors. This had allowed the definition of structural elements and also the establishment of foundations and implementation steps of the system. / Considerando-se a dinâmica competitiva e globalizada em que se encontram os principais setores econômicos, pode-se entender a importância de um sistema de inteligência competitiva, o qual, em última estância, visa contribuir para a organização em dois aspectos: a tomada de decisão e a formulação da estratégia. A importância desse sistema é mais evidente em setores econômicos mais competitivos e que buscam maior eficiência, como, por exemplo, aqueles ligados ao agronegócio, cuja participação no PIB brasileiro chega a um terço desse indicador macroeconômico. Diante desses fatores, foi proposta a execução deste trabalho de pesquisa, cujo objetivo foi a concepção de um sistema de inteligência competitiva para uma organização do setor de insumos e bens de produção do complexo agroindustrial. Visando esse objetivo, desenvolveu-se a pesquisa em duas bases. A primeiras consistiu na revisão bibliográfica sobre inteligência competitiva, por meio da qual foram estudados modelos de inteligência competitiva, seus elementos componentes e formas de implantação. A segunda base da pesquisa assentou-se sobre o método pesquisa-ação que balizou a concepção do sistema adaptado para a organização em estudo. Validando-se a hipótese sugerida, alcançou-se o resultado almejado, ou seja, foi concebido um sistema de inteligência competitiva adaptado a uma organização do setor de insumos e bens de produção do complexo agroindustrial. O sistema concebido reuniu, com base na literatura pesquisada, elementos híbridos de diversos autores que permitiram tanto a definição de elementos estruturais e conjunturais do sistema, como também a definição dos seus fundamentos e das etapas para a sua implantação.

Alors que les systèmes embarqués sont de plus en plus nombreux, complexes, connectés et chargés de tâches critiques, la question de comment intégrer l'analyse précise de sécurité à la conception de systèmes embarqués doit trouver une réponse. Dans cette thèse, nous étudions comment les méthodes de vérification formelle automatiques peuvent aider les concepteurs de systèmes embarqués à évaluer l'impact des modifications logicielles et matérielles sur la sécurité des systèmes. Une des spécificités des systèmes embarqués est qu'ils sont décrits sous la forme de composants logiciels et matériels interagissant. Vérifier formellement de tels systèmes demande de prendre tous ces composants en compte. Nous proposons un exemple d'un tel système (basé sur Intel SGX) qui permet d'établir un canal sécurisé entre un périphérique et une application. Il est possible d'en vérifier un modèle de haut-niveau ou une implémentation bas-niveau. Ces deux niveaux diffèrent dans le degré d'intrication entre matériel et logiciel. Dans le premier cas, nous proposons une approche orientée modèle, à la fois au niveau partitionnement et conception logicielle, permettant une description à haut niveau d'abstraction du matériel et du logiciel et permettant une transformation de ces modèles en une spécification formelle sur laquelle une analyse de sécurité peut être effectuée avec l'outil ProVerif. Dans le second cas, nous considérons une implémentation logicielle et un modèle matériel plus concret pour effectuer des analyses de sécurité plus précises toujours avec ProVerif. / As embedded systems become more complex, more connected and more involved in critical tasks, the question of how strict security analysis can be performed during embedded system design needs to be thoroughly addressed. In this thesis, we study how automated formal verification can help embedded system designers in evaluating the impact of hardware and software modifications on the security of the whole system. One of the specificities of embedded system design-which is of particular interest for formal verification-is that the system under design is described as interacting hardware and software components. Formally verifying these systems requires taking both types of components into account. To illustrate this fact, we propose an example of a hardware/software co-design (based on Intel SGX) that provides a secure channel between a peripheral and an application. Formal verification can be performed on this system at different levels: from a high-level view (without describing the implementations) or from a low-level implementation. These two cases differ in terms of how tightly coupled the hardware and software components are. In the first case, we propose a model-based approach-for both the partitioning and software design phases- which enables us to describe software and hardware with high-level models and enables a transformation of these models into a formal specification which can be formally analyzed by the ProVerif tool. In the second case, we consider a software implementation and a more concrete