LWiSSy: uma linguagem específica de domínio para modelagem de sistemas de redes de sensores e atuadores sem fio

The field of Wireless Sensor and Actuator Networks (WSAN) is fast increasing and has attracted the interest of both the research community and the industry because of several factors, such as the applicability of such networks in different application domains (aviation, civil engineering, medicine, and others). Moreover, advances in wireless communication and the reduction of hardware components size also contributed for a fast spread of these networks. However, there are still several challenges and open issues that need to be tackled in order to achieve the full potential of WSAN usage. The development of WSAN systems is one of the most relevant of these challenges considering the number of variables involved in this process. Currently, a broad range of WSAN platforms and low level programming languages are available to build WSAN systems. Thus, developers need to deal with details of different sensor platforms and low-level programming abstractions of sensor operational systems on one hand, and they also need to have specific (high level) knowledge about the distinct application domains, on the other hand. Therefore, in order to decouple the handling of these two different levels of knowledge, making easier the development process of WSAN systems, we propose LWiSSy (Domain Language for Wireless Sensor and Actuator Networks Systems), a domain specific language (DSL) for WSAN. The use of DSLs raises the abstraction level during the programming of systems and modularizes the system building in several steps. Thus, LWiSSy allows the domain experts to directly contribute in the development of WSANs without having knowledge on low level sensor platforms, and network experts to program sensor nodes to meet application requirements without having specific knowledge on the application domain. Additionally, LWiSSy enables the system decomposition in different levels of abstraction according to structural and behavioral features and granularities (network, node group and single node level programming)

ArchWiSeN: uma estratégia baseada em modelos para desenvolvimento de aplicações para redes de sensores e atuadores sem fio

Wireless Sensor and Actuator Networks (WSAN) are a key component in Ubiquitous Computing Systems and have many applications in different knowledge domains. Programming for such networks is very hard and requires developers to know the available sensor platforms specificities, increasing the learning curve for developing WSAN applications. In this work, an MDA (Model-Driven Architecture) approach for WSAN applications development called ArchWiSeN is proposed. The goal of such approach is to facilitate the development task by providing: (i) A WSAN domain-specific language, (ii) a methodology for WSAN application development; and (iii) an MDA infrastructure composed of several software artifacts (PIM, PSMs and transformations). ArchWiSeN allows the direct contribution of domain experts in the WSAN application development without the need of specialized knowledge on WSAN platforms and, at the same time, allows network experts to manage the application requirements without the need for specific knowledge of the application domain. Furthermore, this approach also aims to enable developers to express and validate functional and non-functional requirements of the application, incorporate services offered by WSAN middleware platforms and promote reuse of the developed software artifacts. In this sense, this Thesis proposes an approach that includes all WSAN development stages for current and emerging scenarios through the proposed MDA infrastructure. An evaluation of the proposal was performed by: (i) a proof of concept encompassing three different scenarios performed with the usage of the MDA infrastructure to describe the WSAN development process using the application engineering process, (ii) a controlled experiment to assess the use of the proposed approach compared to traditional method of WSAN application development, (iii) the analysis of ArchWiSeN support of middleware services to ensure that WSAN applications using such services can achieve their requirements ; and (iv) systematic analysis of ArchWiSeN in terms of desired characteristics for MDA tool when compared with other existing MDA tools for WSAN.

Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio

The software systems development with domain-specific languages has become increasingly common. Domain-specific languages (DSLs) provide increased of the domain expressiveness, raising the abstraction level by facilitating the generation of models or low-level source code, thus increasing the productivity of systems development. Consequently, methods for the development of software product lines and software system families have also proposed the adoption of domain-specific languages. Recent studies have investigated the limitations of feature model expressiveness and proposing the use of DSLs as a complement or substitute for feature model. However, in complex projects, a single DSL is often insufficient to represent the different views and perspectives of development, being necessary to work with multiple DSLs. In order to address new challenges in this context, such as the management of consistency between DSLs, and the need to methods and tools that support the development with multiple DSLs, over the past years, several approaches have been proposed for the development of generative approaches. However, none of them considers matters relating to the composition of DSLs. Thus, with the aim to address this problem, the main objectives of this dissertation are: (i) to investigate the adoption of the integrated use of feature models and DSLs during the domain and application engineering of the development of generative approaches; (ii) to propose a method for the development of generative approaches with composition DSLs; and (iii) to investigate and evaluate the usage of modern technology based on models driven engineering to implement strategies of integration between feature models and composition of DSLs

Ambiente para avaliação de controladores fuzzy aplicados ao método de elevação artificial por bombeio centrífugo submerso

From their early days, Electrical Submergible Pumping (ESP) units have excelled in lifting much greater liquid rates than most of the other types of artificial lift and developed by good performance in wells with high BSW, in onshore and offshore environments. For all artificial lift system, the lifetime and frequency of interventions are of paramount importance, given the high costs of rigs and equipment, plus the losses coming from a halt in production. In search of a better life of the system comes the need to work with the same efficiency and security within the limits of their equipment, this implies the need for periodic adjustments, monitoring and control. How is increasing the prospect of minimizing direct human actions, these adjustments should be made increasingly via automation. The automated system not only provides a longer life, but also greater control over the production of the well. The controller is the brain of most automation systems, it is inserted the logic and strategies in the work process in order to get you to work efficiently. So great is the importance of controlling for any automation system is expected that, with better understanding of ESP system and the development of research, many controllers will be proposed for this method of artificial lift. Once a controller is proposed, it must be tested and validated before they take it as efficient and functional. The use of a producing well or a test well could favor the completion of testing, but with the serious risk that flaws in the design of the controller were to cause damage to oil well equipment, many of them expensive. Given this reality, the main objective of the present work is to present an environment for evaluation of fuzzy controllers for wells equipped with ESP system, using a computer simulator representing a virtual oil well, a software design fuzzy controllers and a PLC. The use of the proposed environment will enable a reduction in time required for testing and adjustments to the controller and evaluated a rapid diagnosis of their efficiency and effectiveness. The control algorithms are implemented in both high-level language, through the controller design software, such as specific language for programming PLCs, Ladder Diagram language.

CALV3 - Uma linguagem específica de domínio para segurança em sistemas corporativos: um estudo de caso sistemático na indústria

The academic community and software industry have shown, in recent years, substantial interest in approaches and technologies related to the area of model-driven development (MDD). At the same time, continues the relentless pursuit of industry for technologies to raise productivity and quality in the development of software products. This work aims to explore those two statements, through an experiment carried by using MDD technology and evaluation of its use on solving an actual problem under the security context of enterprise systems. By building and using a tool, a visual DSL denominated CALV3, inspired by the software factory approach: a synergy between software product line, domainspecific languages and MDD, we evaluate the gains in abstraction and productivity through a systematic case study conducted in a development team. The results and lessons learned from the evaluation of this tool within industry are the main contributions of this work

Proposta de um processador multithreading com características de previsibilidade

The real-time embedded systems design requires precise control of the passage of time in the computation performed by the modules and communication between them. Generally, these systems consist of several modules, each designed for a specific task and restricted communication with other modules in order to obtain the required timing. This strategy, called federated architecture, is already becoming unviable in front of the current demands of cost, required performance and quality of embedded system. To address this problem, it has been proposed the use of integrated architectures that consist of one or few circuits performing multiple tasks in parallel in a more efficient manner and with reduced costs. However, one has to ensure that the integrated architecture has temporal composability, ie the ability to design each task temporally isolated from the others in order to maintain the individual characteristics of each task. The Precision Timed Machines are an integrated architecture approach that makes use of multithreaded processors to ensure temporal composability. Thus, this work presents the implementation of a Precision Machine Timed named Hivek-RT. This processor which is a VLIW supporting Simultaneous Multithreading is capable of efficiently execute real-time tasks when compared to a traditional processor. In addition to the efficient implementation, the proposed architecture facilitates the implementation real-time tasks from a programming point of view.

Ambiente para avaliação de controladores fuzzy aplicados ao método de elevação artificial por bombeio centrífugo submerso

From their early days, Electrical Submergible Pumping (ESP) units have excelled in lifting much greater liquid rates than most of the other types of artificial lift and developed by good performance in wells with high BSW, in onshore and offshore environments. For all artificial lift system, the lifetime and frequency of interventions are of paramount importance, given the high costs of rigs and equipment, plus the losses coming from a halt in production. In search of a better life of the system comes the need to work with the same efficiency and security within the limits of their equipment, this implies the need for periodic adjustments, monitoring and control. How is increasing the prospect of minimizing direct human actions, these adjustments should be made increasingly via automation. The automated system not only provides a longer life, but also greater control over the production of the well. The controller is the brain of most automation systems, it is inserted the logic and strategies in the work process in order to get you to work efficiently. So great is the importance of controlling for any automation system is expected that, with better understanding of ESP system and the development of research, many controllers will be proposed for this method of artificial lift. Once a controller is proposed, it must be tested and validated before they take it as efficient and functional. The use of a producing well or a test well could favor the completion of testing, but with the serious risk that flaws in the design of the controller were to cause damage to oil well equipment, many of them expensive. Given this reality, the main objective of the present work is to present an environment for evaluation of fuzzy controllers for wells equipped with ESP system, using a computer simulator representing a virtual oil well, a software design fuzzy controllers and a PLC. The use of the proposed environment will enable a reduction in time required for testing and adjustments to the controller and evaluated a rapid diagnosis of their efficiency and effectiveness. The control algorithms are implemented in both high-level language, through the controller design software, such as specific language for programming PLCs, Ladder Diagram language.

Desenvolvimento Urbano e Cidades Inclusivas: Estudo Analítico do Princípio Constitucional da Função Social das Cidades

The reality of Latin America points out that the industrialization and urbanization are complementary processes associated each other. Thus, by consequence of the demographic growth, observes the aggravation of an urbanization completely disordered and without infrastructure capable of guaranteeing rights and basic services to the population. In parallel, the dissemination of information, the valorization of human dignity, promoted by social welfare, and expectations of consumption aggravates the tensions among social actors, leading to the Theory of the Right to Development to worry about the (re)construction of cities. Before this reality, the Federal Constitution of 1988 proposed a participatory urban policy, grounded in the ideal of confrontation of social exclusion of a more comprehensive, represented by the principle of the social function of cities, which must be stratified into four inclusion´s central axes, namely: the social in the strict sense, the economic, the cultural and the policy. The Analysis of each of these dimensions, keeping the focus on reality and the Brazilian legal system, composes specific objectives of this work. Thus, through deductive research, with use of technique bibliographical and interdisciplinary, this dissertation aims to make connections between social function and development, proposing an analytical concept for the proposing an analytical concept for the principle of social function of cities, through the study of its basic elements. With this, purports to demonstrate how results, firstly, that the juridical study, to fully understand the process of marginalization, must maintain multidisciplinary perspective, own social sciences. Also aims to demonstrate that the dimensions of inclusion are formed by fundamental rights, individual and collective, of liberties and of social guarantees and that without respect to all of them there is no way to talk about implementation of urban development and nor, consequently, about inclusive cities. At the end, after checking the main legal instruments of urban policy that emphasize the community participation, provided for in the Statute of the Cities, and that potentiate the breakup of the circles of exclusion, the work want contribute to the clarification and the awaken to the importance of a new perspective democratic of development in the country, grounded in the appreciation of the individual for realization of modern management, decentralized and that, therefore, inserts the effective participation of urban communities in the acting of the State

Implementação e avaliação de máquinas de comitê em um ambiente com múltiplos processadores embarcados em um único chip

The number of applications based on embedded systems grows significantly every year, even with the fact that embedded systems have restrictions, and simple processing units, the performance of these has improved every day. However the complexity of applications also increase, a better performance will always be necessary. So even such advances, there are cases, which an embedded system with a single unit of processing is not sufficient to achieve the information processing in real time. To improve the performance of these systems, an implementation with parallel processing can be used in more complex applications that require high performance. The idea is to move beyond applications that already use embedded systems, exploring the use of a set of units processing working together to implement an intelligent algorithm. The number of existing works in the areas of parallel processing, systems intelligent and embedded systems is wide. However works that link these three areas to solve any problem are reduced. In this context, this work aimed to use tools available for FPGA architectures, to develop a platform with multiple processors to use in pattern classification with artificial neural networks

Desenvolvimento de Uma Órtese Ativa Para os Membros Inferiores Com Sistema Eletrônico Embarcado

This work presents the development of a prototype of an intelligent active orthosis for lower limbs whit an electronic embedded system. The proposed orthosis is an orthopedical device with the main objective of providing walking capacity to people with partial or total loss of lower limbs movements. In order to design the kinematics, dynamics and the mechanical characteristics of the prototype, the biomechanics of the human body was analized. The orthosis was projected to reproduce some of the movements of the human gait as walking in straight forward, sit down, get up, arise and go down steps. The joints of the orthosis are controlled by DC motors equipped with mechanical reductions, whose purpose is to reduce rotational speed and increase the torque, thus generating smooth movements. The electronic embedded system is composed of two motor controller boards with two channels that communicate with a embedded PC, position sensors and limit switches. The gait movements of the orthosis will be controlled by high level commands from a human-machine interface. The embedded electronic system interprets the high level commands, generates the angular references for the joints of the orthosis, controls and drives the actuators in order to execute the desired movements of the user

Desenvolvimento de um ambiente para projeto de controladores fuzzy para dispositivos móveis

Fuzzy intelligent systems are present in a variety of equipment ranging from household appliances to Fuzzy intelligent systems are present in a variety of equipment ranging from household appliances to small devices such as digital cameras and cell phones being used primarily for dealing with the uncertainties in the modeling of real systems. However, commercial implementations of Fuzzy systems are not general purpose and do not have portability to different hardware platforms. Thinking about these issues this work presents the implementation of an open source development environment that consists of a desktop system capable of generate Graphically a general purpose Fuzzy controller and export these parameters for an embedded system with a Fuzzy controller written in Java Platform Micro Edition To (J2ME), whose modular design makes it portable to any mobile device that supports J2ME. Thus, the proposed development platform is capable of generating all the parameters of a Fuzzy controller and export it in XML file, and the code responsible for the control logic that is embedded in the mobile device is able to read this file and start the controller. All the parameters of a Fuzzy controller are configurable using the desktop system, since the membership functions and rule base, even the universe of discourse of the linguistic terms of output variables. This system generates Fuzzy controllers for the interpolation model of Takagi-Sugeno. As the validation process and testing of the proposed solution the Fuzzy controller was embedded on the mobile device Sun SPOT ® and used to control a plant-level Quanser®, and to compare the Fuzzy controller generated by the system with other types of controllers was implemented and embedded in sun spot a PID controller to control the same level plant of Quanser®

e-Pontos: Uma solução embarcada de automação comercial aplicada a clubes de fidelidade baseado em tecnologia RFID e esmart card

In practically all vertical markets and in every region of the planet, loyalty marketers have adopted the tactic of recognition and reward to identify, maintain and increase the yield of their customers. Several strategies have been adopted by companies, and the most popular among them is the loyalty program, which displays a loyalty club to manage these rewards. But the problem with loyalty programs is that customer identification and transfer of loyalty points are made in a semiautomatic. Aiming at this, this paper presents a master's embedded business automation solution called e-Points. The goal of e-Points is munir clubs allegiances with fully automated tooling technology to identify customers directly at the point of sales, ensuring greater control over the loyalty of associate members. For this, we developed a hardware platform with embedded system and RFID technology to be used in PCs tenant, a smart card to accumulate points with every purchase and a web server, which will provide services of interest to retailers and customers membership to the club

Folhetos de cordel entre realidade e ficção cotidiana: um estudo da mídia na construção do personagem Seu Lunga

In this work, from the case of Mr. Lunga, a character of the brazilian northeastern culture whose stories circulated orally until they turned into verses of cordel (regional literature illustrated by xylographic printing images), we intend to understand that gender of leaflet, as significant cultural product, like media, with specific language features that act as means of construction and transmission of realities. To understand this phenomenon of meaning production in the cordel media, we used hermeneutics as a method and applied the general theory of interpretation in six chosen leaflets. We worked with a constructivist perspective that grounds the discussion of everyday reality and fiction, concepts that are raised around the essence of the character that is real, but it is also part of the creative activities of poets, how both are interrelated and constitute the understanding that individuals have the real. From the analyzes, we realize that each poet presents the fields of significance of Mr. Lunga in a different way, based on subjectivity, intention and mediations between each of them and the discourses they produce. Each cordelist contributes in his own way of significance for the construction of the imaginary Mr. Lunga. The speech of the cordelists contains a number of elements that aim to legitimize as truth the actions described. In this confrontation, our goal in this work is to understand the construction of the fields of signification, where these discourses are located, the production of meaning around a character who is not in a finite field, but transits through many of them, making the boundaries between reality and fiction dynamic

Mundo de medo: inquisição e cristãos-novos nos espaços coloniais capitanias de Pernambuco, Itamaracá e Paraíba (1593-1595)

Founded in 1536, the Court of the Holy Office of the Portuguese Inquisition was established as an ecclesiastical institution, but at the same time subordinate to the real powers. Among the main victims of persecution effected by the Holy Office, were the New Christians - Jews forcibly converted in 1497 or their descendants - that due to their socio-religious were repeatedly accused of heresy. This paper conducted a survey that sought to understand the historical performance of the Inquisition in Brazil in the sixteenth century on the New Christians, especially those accused of secretly retaining the religious customs of the Mosaic law, given the investigative and punitive procedures employed by the Inquisition as part of a set of actions that produce social insecurities and producers / broadcasters of fear in the populations under scrutiny. In this sense, the approach was based on the analysis of documents produced on the first visit of inspection performed in Brazil inquisitorial sixteenth century, concerning the captaincy of Pernambuco and Paraiba Itamaracá (1593-1595), not excluding, however, the sources of the first stage of visitation that occurred between 1591-1593 in the province of Bahia de Todos os Santos, even though its use is ancillary and punctual. The objective of this research was to understand the consequences of inquisitorial procedures generated on the imaginary, and the Inquisition, using the expressions and signs of fears relating to individuals contained in the New Christian complaints to the Holy Office as documentary evidence of the fear caused by the Holy Tribunal. The adoption of specific behaviors by the New Christians in the home - these spaces are appropriate and adapted to the detriment of the religious practices of Judaism features - characterizes the spatial perspective of the study, thus indicating a further objective of the study: to understand how the New Christians experienced domestic spaces in a historical context marked by behavioral surveillance generally considered morally condemned and suspected of heresy. The research was conducted to analyze the complaints and quantitative survey of some indices of documentation for the understanding of overall charges and how individuals New Christians were concerned with the domestic space, using them to maintain criptojudaica religiosity, transformed places housing often esnogas, makeshift synagogue for meetings and celebrations of Judaizing New Christians. The formulations of Michel de Certeau on appropriations and meanings of space - presented by the author in the metaphor of "practice areas" - were integrated into the workforce in order to understand the ways in which the New Christians appropriated the colonial houses, designed these spaces a very specific language in the Crypto, in which women are prominent figures. The works of Jean Delumeau and Bartholomé Benassar integrate the discussion of the Inquisition and the sensibilities of fear in the work performed. The analysis allowed the documentation to understand the meaning and the extent related to the general fear that the Inquisition represented. Some complaints are indicative of fears that can be perceived implicitly based on behaviors and attitudes adopted by the New Christians, others, however, are direct expressions of fear caused by allusion or initiative of the actions of the Inquisition in colonial Brazil in the sixteenth century

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation