Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Industrie 4.0 Framework, Challenges and Perspectives

The world is increasingly in a global community. The rapid technological development of communication and information technologies allows the transmission of knowledge in real-time. In this context, it is imperative that the most developed countries are able to develop their own strategies to stimulate the industrial sector to keep up-to-date and being competitive in a dynamic and volatile global market so as to maintain its competitive capacities and by consequence, permits the maintenance of a pacific social state to meet the human and social needs of the nation. The path traced of competitiveness through technological differentiation in industrialization allows a wider and innovative field of research. Already we are facing a new phase of organization and industrial technology that begins to change the way we relate with the industry, society and the human interaction in the world of work in current standards. This Thesis, develop an analysis of Industrie 4.0 Framework, Challenges and Perspectives. Also, an analysis of German reality in facing to approach the future challenge in this theme, the competition expected to win in future global markets, points of domestic concerns felt in its industrial fabric household face this challenge and proposes recommendations for a more effective implementation of its own strategy. The methods of research consisted of a comprehensive review and strategically analysis of existing global literature on the topic, either directly or indirectly, in parallel with the analysis of questionnaires and data analysis performed by entities representing the industry at national and world global placement. The results found by this multilevel analysis, allowed concluding that this is a theme that is only in the beginning for construction the platform to engage the future Internet of Things in the industrial environment Industrie 4.0. This dissertation allows stimulate the need of achievements of more strategically and operational approach within the society itself as a whole to clarify the existing weaknesses in this area, so that the National Strategy can be implemented with effective approaches and planned actions for a direct training plan in a more efficiently path in education for the theme.

Determining the receptivity to the bluetooth marketing by the portuguese consumer

With increasing technological innovation, the concept of marketing and its applications become more functional and wide. Today, we witness a steady growth in the development of mobile marketing campaigns, i.e., marketing campaigns targeting mobile devices (mobile phones, Smartphones, PDAs, tablets). Among the several mobile technologies available (Bluetooth networks, Wi-Fi, WAP, SMS service, MMS), Bluetooth seems to have the biggest potential for the least invasive consumer mobile marketing strategy. This study seeks to answer the question "what factors may motivate the Portuguese consumer to accept Bluetooth marketing?.“ We propose a conceptual model capable of investigating the relationships between the several responsiveness factors to Bluetooth marketing. The development of a set of hypotheses supported by an online questionnaire to a valid sample of 755 participants, demonstrates that there is a relationship between factors such as expanded knowledge of the technology, and Bluetooth marketing receptivity. Additionally, we find that the information value of mobile advertising messages, such as entertainment value and personalization, relates well to responsiveness. The ability to accept/dismiss promotional messages sent to mobile phones and other safety features also correlated well with Bluetooth marketing receptivity.

Análise das determinantes à receptividade ao bluetooth marketing pelo consumidor português – um estudo empírico

With the increasing technological innovation, the concept of marketing and its applications become more functional and wide. Today is visible the development of mobile marketing campaigns, ie marketing campaigns for mobile devices (mobile phones, smartphones, PDAs, tablets). Taking advantage of mobile devices services (bluetooth networks, Wi-Fi, WAP, SMS service, MMS) as a vehicle to approach and communicate with consumers, bluetooth technology is a potential way of mobile marketing to become increasingly less invasive to consumers. This study seeks to answer the question "what factors may motivate the Portuguese consumer to adopt the bluetooth marketing?". According to the literature review on the concept of mobile marketing, bluetooth marketing and consumer behaviour theories, we propose a conceptual model capable of investigating the relationships between the determinants of responsiveness to bluetooth marketing. The empirical study developed from a set of hypotheses and implementation of an online questionnaire to a sample of 755 respondents, demonstrated that there is a relationship between factors such as, technology ease of use, file exchanging and influence of peers, and the receptivity to bluetooth marketing. Also information value of mobile advertising messages, such as entertainment and personalization relates to responsiveness. The consumer’s perceived control over mobile promotional messages and the safety features of the technology, also showed a positive relationship with the receptivity to bluetooth marketing.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Proactive services ecosystem framework

Dissertation presented to obtain the degree of Doctor in Electrical and Computer Engineering, specialization on Collaborative Enterprise Networks

A framework for supporting knowledge representation – an ontological based approach

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

SHõWA: A Self-healing Framework for Web-based Applications

The complexity of systems is considered an obstacle to the progress of the IT industry. Autonomic computing is presented as the alternative to cope with the growing complexity. It is a holistic approach, in which the systems are able to configure, heal, optimize, and protect by themselves. Web-based applications are an example of systems where the complexity is high. The number of components, their interoperability, and workload variations are factors that may lead to performance failures or unavailability scenarios. The occurrence of these scenarios affects the revenue and reputation of businesses that rely on these types of applications. In this article, we present a self-healing framework for Web-based applications (SHõWA). SHõWA is composed by several modules, which monitor the application, analyze the data to detect and pinpoint anomalies, and execute recovery actions autonomously. The monitoring is done by a small aspect-oriented programming agent. This agent does not require changes to the application source code and includes adaptive and selective algorithms to regulate the level of monitoring. The anomalies are detected and pinpointed by means of statistical correlation. The data analysis detects changes in the server response time and analyzes if those changes are correlated with the workload or are due to a performance anomaly. In the presence of per- formance anomalies, the data analysis pinpoints the anomaly. Upon the pinpointing of anomalies, SHõWA executes a recovery procedure. We also present a study about the detection and localization of anomalies, the accuracy of the data analysis, and the performance impact induced by SHõWA. Two benchmarking applications, exercised through dynamic workloads, and different types of anomaly were considered in the study. The results reveal that (1) the capacity of SHõWA to detect and pinpoint anomalies while the number of end users affected is low; (2) SHõWA was able to detect anomalies without raising any false alarm; and (3) SHõWA does not induce a significant performance overhead (throughput was affected in less than 1%, and the response time delay was no more than 2 milliseconds).

Estudio de la gestión de la variable ambiental en la generación termoeléctrica

En la actualidad, el cambio climático es uno de los temas de mayor preocupación para la población mundial y los científicos de todo el mundo. Debido al crecimiento de la población de forma exponencial, la demanda de energía aumenta acorde con ello, por lo que las actividades de producción energética aumentan consecuentemente, siendo éstas las principales causantes de la aceleración del cambio climático. Pese a que muchos países previamente habían apostado por la producción energética mediante tecnologías limpias a partir de energías renovables, hoy en día es imposible prescindir de los combustibles fósiles pues, junto a la energía nuclear, suponen el mayor porcentaje dentro del mix energético de los países más grandes del mundo, por lo que el cambio debe ser global y con todos los países implicados al unísono. Por ello, los países desarrollados decidieron acordar una serie de leyes y normas para la regulación y el control de la expansión energética en el mundo, mediante programas de incentivo a las empresas para la producción de energía limpia, libre de emisiones, sustituyendo y mejorando los procesos tecnológicos para que garanticen un desarrollo sostenible. De esta forma, se conseguiría también reducir la dependencia energética de los países productores de los recursos fósiles más importantes y a su vez, ayudar a otros sectores a diversificar su negocio y mejorar así la economía de las áreas colindantes a las centrales de producción térmica. Gracias a estos programas de incentivo o, también llamados mecanismos de flexibilidad, las empresas productoras de energía, al acometer inversiones en tecnologia limpia, dejan de emitir gases de efecto invernadero a la atmósfera. Por tanto, gracias al comercio de emisiones y al mercado voluntario, las empresas pueden vender dichas emisiones aumentando la rentabilidad de sus proyectos, haciendo más atractivo de por sí el hecho de invertir en tecnología limpia. En el proyecto desarrollado, se podrá comprobar de una forma más extensa todo lo anteriormente citado. Para ello, se desarrollará una herramienta de cálculo que nos permitirá analizar los beneficios obtenidos por la sustitución de un combustible fósil, no renovable, por otro renovable y sostenible, como es la biomasa. En esta herramienta se calcularán, de forma estimada, las reducciones de las emisiones de CO2 que supone dicha sustitución y se hallará, en función del valor de las cotizaciones de los bonos de carbono en los diferentes mercados, cuál será el beneficio económico obtenido por la venta de las emisiones no emitidas que supone esta sustitución. Por último, dicho beneficio será insertado en un balance económico de la central donde se tendrán en cuenta otras variables como el precio del combustible o las fluctuaciones del precio de la electricidad, para hallar finalmente la rentabilidad que supondría la inversión de esta adaptación en la central. Con el fin de complementar y aplicar la herramienta de cálculo, se analizarán dos casos prácticos de una central de carbón, en los cuales se decide su suscripción dentro del contexto de los mecanismos de flexibilidad creados en los acuerdos internacionales.

The moral status of animals within the framework of Peter Singer's preference utilitarianism

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Filosofia

Knowledge repository framework for crowdsourcing innovation intermediary: a proposal

A crowdsourcing innovation intermediary performs mediation activities between companies that have a problem to solve or that seek a business opportunity, and a group of people motivated to present ideas based on their knowledge, experience and wisdom, taking advantage of technology sharing and collaboration emerging from Web2.0. As far as we know, most of the present intermediaries don´t have, yet, an integrated vision that combines the creation of value through community development, brokering and technology transfer. In this paper we present a proposal of a knowledge repository framework for crowdsourcing innovation that enables effective support and integration of the activities developed in the process of value creation (community building, brokering and technology transfer), modeled using ontology engineering methods.

A framework for scientific computing with GPUs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Android: desenvolvimento de aplicações com Android Studio

O tema do livro é o desenvolvimento de aplicações para Android 6 usando o novo Android Studio e abordando tópicos emergentes como o novo paradigma de desenho Material Design e uma introdução à plataforma Android Wear. O livro aborda os seguintes temas: - Introdução ao Android e ao Android Studio - Interface Gráfica e Material Design - Gestão de Dados, Multimédia e Networking - Mapas e Localização - Introdução ao Android Wear

Agilidade e resiliência na gestão da cadeia de abastecimento. Proposta de uma framework

Dissertação para obtenção do grau de Mestre em Engenharia e Gestão Industrial

O Bem como Uno. Uma análise do conceito de bem no Discurso Ocasional de S. Kierkegaard

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Filosofia