Midgard: um middleware baseado em componentes e orientado a recursos para redes de sensores sem fio

On the last years, several middleware platforms for Wireless Sensor Networks (WSN) were proposed. Most of these platforms does not consider issues of how integrate components from generic middleware architectures. Many requirements need to be considered in a middleware design for WSN and the design, in this case, it is possibility to modify the source code of the middleware without changing the external behavior of the middleware. Thus, it is desired that there is a middleware generic architecture that is able to offer an optimal configuration according to the requirements of the application. The adoption of middleware based in component model consists of a promising approach because it allows a better abstraction, low coupling, modularization and management features built-in middleware. Another problem present in current middleware consists of treatment of interoperability with external networks to sensor networks, such as Web. Most current middleware lacks the functionality to access the data provided by the WSN via the World Wide Web in order to treat these data as Web resources, and they can be accessed through protocols already adopted the World Wide Web. Thus, this work presents the Midgard, a component-based middleware specifically designed for WSNs, which adopts the architectural patterns microkernel and REST. The microkernel architectural complements the component model, since microkernel can be understood as a component that encapsulates the core system and it is responsible for initializing the core services only when needed, as well as remove them when are no more needed. Already REST defines a standardized way of communication between different applications based on standards adopted by the Web and enables him to treat WSN data as web resources, allowing them to be accessed through protocol already adopted in the World Wide Web. The main goals of Midgard are: (i) to provide easy Web access to data generated by WSN, exposing such data as Web resources, following the principles of Web of Things paradigm and (ii) to provide WSN application developer with capabilities to instantiate only specific services required by the application, thus generating a customized middleware and saving node resources. The Midgard allows use the WSN as Web resources and still provide a cohesive and weakly coupled software architecture, addressing interoperability and customization. In addition, Midgard provides two services needed for most WSN applications: (i) configuration and (ii) inspection and adaptation services. New services can be implemented by others and easily incorporated into the middleware, because of its flexible and extensible architecture. According to the assessment, the Midgard provides interoperability between the WSN and external networks, such as web, as well as between different applications within a single WSN. In addition, we assessed the memory consumption, the application image size, the size of messages exchanged in the network, and response time, overhead and scalability on Midgard. During the evaluation, the Midgard proved satisfies their goals and shown to be scalable without consuming resources prohibitively

Dos requisitos à arquitetura em linhas de produtos de software: uma estratégia de transformações entre modelos

The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAFÉ Quality Model

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

BMMobile: uma linha de produtos para dimensionamento de bombeio mecânico em dispositivos móveis

With the increase of processing ability, storage and several kinds of communication existing such as Bluetooth, infrared, wireless networks, etc.., mobile devices are no longer only devices with specific function and have become tools with various functionalities. In the business field, the benefits that these kinds of devices can offer are considerable, because the portability allows tasks that previously could only be performed within the work environment, can be performed anywhere. In the context of oil exploration companies, mobile applications allow quick actions could be taken by petroleum engineers and technicians, using their mobile devices to avoid potential catastrophes like an unexpected stop or break of important equipment. In general, the configuration of equipment for oil extraction is performed on the work environment using computer systems in desktop platforms. After the obtained configuration, an employee goes to equipment to be configured and perform the modifications obtained on the use desktop system. This management process equipment for oil extraction takes long time and does not guarantee the maintenance in time to avoid problems. With the use of mobile devices, management and maintenance of equipment for oil extraction can be performed in a more agile time once it enables the engineer or technician oil can perform this configuration at the time and place where the request comes for example, near in the oil well where the equipment is located. The wide variety of mobile devices creates a big difficulty in developing mobile applications, since for one application can function in several types of devices, the application must be changed for each specific type of device, which makes the development quite costly. This paper defines and implements a software product line for designing sucker-rod pumping systems on mobile devices. This product line of software, called BMMobile, aims to produce products that are capable of performing calculations to determine the possible configurations for the equipment in the design suckerrod pumping, and managing the variabilities of the various products that can be generated. Besides, this work performs two evaluations. The first evaluation will verify the consistency of the products produced by the software product line. The second evaluation will verify the reuse of some products generated by SPL developed

Um modelo de interconexão de componentes para ambientes mulitmídia distribuídos

Multimedia systems must incorporate middleware concepts in order to abstract hardware and operational systems issues. Applications in those systems may be executed in different kinds of platforms, and their components need to communicate with each other. In this context, it is needed the definition of specific communication mechanisms for the transmission of information flow. This work presents a interconnection component model for distributed multimedia environments, and its implementation details. The model offers specific communication mechanisms for transmission of information flow between software components considering the Cosmos framework requirements in order to support component dynamic reconfiguration

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Um modelo de interconexão de componentes para ambientes mulitmídia distribuídos

Multimedia systems must incorporate middleware concepts in order to abstract hardware and operational systems issues. Applications in those systems may be executed in different kinds of platforms, and their components need to communicate with each other. In this context, it is needed the definition of specific communication mechanisms for the transmission of information flow. This work presents a interconnection component model for distributed multimedia environments, and its implementation details. The model offers specific communication mechanisms for transmission of information flow between software components considering the Cosmos framework requirements in order to support component dynamic reconfiguration

Análise da relação causal entre imagem de destinos, qualidade, satisfação e fidelidade: um estudo de acordo com a percepção do turista nacional no destino turístico Natal

This dissertation aims to analyze the causal relationship between the quality of tourist services, satisfaction with the attributes and globally, fidelity and image of tourist destinations. Therefore, it was conducted an exploratory, descriptive research with quantitative analytical approach. Data collection was performed by a questionnaire addressed to tourists at the Augusto Severo International Airport and Bus station of Natal, the main points of entry and exit of tourists. The composition was simple random sampling by reaching the final number of 400 tourists interviewed. Among the main results, is an assessment of the quality of the components of the destination. It was noted that nine are the dimensions of perceived quality of tourism products and services of ―Sun and Sand‖ segment, that is, Beaches and Facilities, Public Equipment, Catering Services, Transportation, Hotel Equipment, Hotel Services, Entertainment & Attractions, Access to the Hotel and Hospitality. Moreover, it was concluded that the Preview Tourism Destination Image has little direct influence in the Consumer Satisfaction, and only indirectly in the Post-Purchase Behavior. While the Complex Tourism Destination Image exerts strong and direct influence on both factors, in the Customer Satisfaction Process and Loyalty, the dimensions of quality also claimed to be strongly influences both factors

Análise caracterização da dinâmica da Foz do Rio Apodi, região de Areia Branca/RN, com base na cartografia temática multitemporal de produtos de sensores remotos

The study area islocated in the northern cost of Rio Grande do Norte State, preciselyin a west zone of Apodi-Mossoró River, inclunding Tibau City, Grossos City and part of Mossoró City. Geologicaly, this area is composed by rokcs of Potiguar basin, represented by Cretaceous, Tertiary and Quaternary sediments. This area is characterizer by the intense action of cosatal processes (eolic and costal tranports, generalized erosion, alteration in the sediments balance and coast modification), reponsable for it´s morfological instability, also the antropic interference, where the iol industry is located, next Mossoró City, and also the salt exploration industry and the tendency of expantion of shrimp cultivation. This report had as objective the multitemporalgeoenvorimentalmonitoring of the region by recognizingin the field and analizingimages of orbital sensors of diferents years of last four decades. This analisys was achieved by Digital Images Procesing (DIP) thecnics, com subsidized, in a GIS, the preparion of Thematic Maps of natural resources (Geology, Geomorphology and Use & Ocupatios of Earth) and the Envorimental Sensivity to Oil Spilling, main objective os this project. Such technics constitute important tools of envoriment monitoring and maneging, indicating tendencies of antropic of natural growing, making possible the apropiated planning of development of the region, where the steps can be indicated minimized possibles envorimental impacts caused by antropics interferencies on the region, mainly those related to industrial activities, and oil industry above all. Researchs of this nature are very important to the analisys and ordered manegements of use and ocupation of coastal places

Monitoramento geoambiental do estuário do Rio Paraíba do Norte - PB por meio da cartografia temática digital e de produtos de sensoriamento remoto

The North Paraíba River Estuary, located in the eastern portion of the Paraíba State, Northeast Brazil, on coordinates 34º50 00 -34º57 30 S and 6º55 00 -7º7 30 W, constitutes a fluvio-marine plain formed by the North Paraíba River and its tributaries Sanhauá, Paroeira, Mandacaru, Tiriri, Tambiá, Ribeira and Guia. This estuary comprises an area of about 260 km2. Increasing human demands on the estuary area and inadequate environment managing have generated conflicts. The present work main purpose is to evaluate the geodynamic evolution of the North Paraíba River Estuary in the period from 1969 to 2001, using digital image processing techniques, thematic digital cartography and multitemporal data integration, combined to geological-geophysical field surveys. The SUDENE cartographic database, converted to digital format were, used to obtain occupation and topographic maps from 1969 and to generate a Digital Elevation Model (DEM). Digital Landsat 7 ETM+ and Spot HRVIR-PAN satellite images interpretation allowed the environmental characterization of the estuary. The most important digital processing results were achieved color composites RGB 5-4-3, 5-3-1, 5-2-NDWI and band ratio 7/4-5/3-4/2, 5/7-3/1-5/4). In addition the fusion image technique RGBI was used by the inclusion of the Spot HRVRI and Landsat 7 ETM+ panchromatic band on I layer with RGB triplets 5-4-3, 5-3-1 and 5/7-3/1-5/4. The DEM and digital images integration allowed the identification of seven geomorphological units: coastal tableland, flowing tray, tide plain, fluvial terrace, submerged dune, beach plain and beach). Both Side Scan Sonar and Echosound were used to analyse underwater surface and bedforms of the estuarine channel, sand predominance (fine to very fine) and 2D dune features 5 m wide and 0.5 m height. This investigation characterized the estuary as an environment dominated by regimen of average flow. The channel depth varies between 1 m and 11 m, being this last quota reached in the area of Porto de Cabedelo. The chanel estuary is relatively shallow, with erosion evidences mainly on its superior portion, attested by sand banks exposed during the low tide. Multitemporal digital maps from 1969 and 2001 integration were obtained through geoprocessing techniques, resulting the geodynamic evolution of the estuary based on landuse, DEM geomorphology and bathymetric maps

Modelagem e desenvolvimento de um banco de dados geográficos : aplicação à elaboração de mapas de sensibilidade ambiental ao derramamento de óleo na área costeira entre galinhos e São Bento do Norte-RN

The area between Galinhos and São Bento do Norte beaches, located in the northern coast of the Rio Grande do Norte State is submitted to intense and constant processes of littoral and aeolian transport, causing erosion, alterations in the sediments balance and modifications in the shoreline. Beyond these natural factors, the human interference is huge in the surroundings due to the Guamaré Petroliferous Pole nearby, the greater terrestrial oil producing in Brazil. Before all these characteristics had been organized MAMBMARE and MARPETRO projects with the main objective to execute the geo-environmental monitoring of coastal areas on the northern portion of RN. There is a bulky amount of database from the study area such as geologic and geophysical multitemporal data, hydrodynamic measurements, remote sensing multitemporal images, thematic maps, among others; it is of extreme importance to elaborate a Geographic Database (GD), one of the main components of a Geographic Information System (GIS), to store this amount of information, allowing the access to researchers and users. The first part of this work consisted to elaborate a GD to store the data of the area between Galinhos and São Bento do Norte cities. The main goal was to use the potentiality of the GIS as a tool to support decisions in the environmental monitoring of this region, a valuable target for oil exploration, salt companies and shrimp farms. The collected data was stored as a virtual library to assist men decisions from the results presented as digital thematic maps, tables and reports, useful as source of data in the preventive planning and as guidelines to the future research themes both on regional and local context. The second stage of this work consisted on elaborate the Oil-Spill Environmental Sensitivity Maps. These maps based on the Environmental Sensitivity Index Maps to Oil Spill developed by the Ministry of Environment are cartographic products that supply full information to the decision making, contingency planning and assessment in case of an oil spilling incident in any area. They represent the sensitivity of the areas related to oil spilling, through basic data such as geology, geomorphology, oceanographic, social-economic and biology. Some parameters, as hydrodynamic data, sampling data, coastal type, declivity of the beach face, types of resources in risk (biologic, economic, human or cultural) and the land use of the area are some of the essential information used on the environmental sensitivity maps elaboration. Thus using the available data were possible to develop sensitivity maps of the study area on different dates (June/2000 and December/2000) and to perceive that there was a difference on the sensitivity index generated. The area on December presented more sensible to the oil than the June one because hydrodynamic data (wave and tide energy) allowed a faster natural cleaning on June. The use of the GIS on sensitivity maps showed to be a powerful tool, since it was possible to manipulate geographic data with correctness and to elaborate more accurate maps with a higher level of detail to the study area. This presented an medium index (3 to 4) to the long shore and a high index (10) to the mangrove areas highly vulnerable to oil spill

Thermal and pasting properties of cassava starch-dehydrated orange pulp blends

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Cartografia temporal e análise geoambiental da dinâmica da foz do Rio Piranhas-Açu, regiao de Macau-RN, com base em imagens Landast 5-MT

This work embraces the application of Landsat 5-TM digital images, comprising August 2 1989 and September 22 1998, for temporal mapping and geoenvironmental analysis of the dynamic of Piranhas-Açu river mouth, situated in the Macau (RN) region. After treatment using several digital processing techniques (e.g. colour composition in RGB, ratio of bands, principal component analysis, index methods, among others), it was possible to generate several image products and multitemporal maps of the coastal morphodynamics of the studied area. Using the image products it was possible the identification and characterization of the principal elements of interest (vegetation, soil, geology and water) in the surface of the studied area, associating the spectral characteristics of these elements to that presented by the image products resulting of the digital processing. Thus, it was possible to define different types of soils: Amd, AQd6, SK1 and LVe4; vegetation grouping: open arboreal-shrubby caatinga, closed arborealshrubby caatinga, closed arboreal caatinga, mangrove vegetation, dune vegetation and areas predominately constituted by juremas; geological units: quaternary units beach sediments, sand banks, dune flats, barrier island, mobile dunes, fixed dunes, alluvium, tidal and inundation flats, and sandy facies of the Potengi Formation; tertiary-quaternary units Barreiras Formation grouped to the clayey facies of the Potengi Formation, Macau Formation grouped to the sediments of the Tibau Formation; Cretaceous units Jandaíra Formation; moreover it was to identify the sea/land limit, shallow submersed areas and suspended sediments. The multitemporal maps of the coastal morphodynamics allowed the identification and a semi-quantitative evoluation of regions which were submitted to erosive and constructive processes in the last decade. This semi-quantitative evoluation in association with an geoenvironmental characterization of the studied area are important data to the elaboration of actions that may minimize the possible/probable impacts caused by the implantation of the Polo Gas/Sal and to the monitoring of areas explorated by the petroleum and salt industries

Efeito de parâmetros de extrusão na cor E propriedades de pasta da farinha de mandioquinha-salsa (Arracacia xanthorrhiza)

Processou-se neste trabalho a farinha de mandioquinha-salsa (Arracacia xanthorrhiza Bancr.) em uma linha de extrusão (mono rosca) variando as condições operacionais: umidade da farinha (11-19%), temperatura de extrusão (86-154ºC) e taxa de rotação da rosca (136-272rpm). Os parâmetros de cor analisados foram luminosidade (L*) e os componentes de cromaticidade a* e b*. Os parâmetros de propriedade de pasta analisados foram viscosidade inicial, pico de viscosidade, quebra de viscosidade, tendência a retrogradação e viscosidade final. Os resultados obtidos mostraram que a umidade da matéria-prima interferiu nos componentes de cor das farinhas com efeito significativo sobre a luminosidade e croma a*, e a temperatura interferiu no croma b* . Quanto ao efeito dos parâmetros de processo sobre as propriedades de pasta, a umidade interferiu nas viscosidades inicial e final dos produtos, pico e quebra de viscosidade, enquanto a temperatura de extrusão e a rotação da rosca tiveram influência sobre a tendência a retrogradação e viscosidade final dos produtos.