Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing

13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2015). 21 to 23, Oct, 2015, Session W1-A: Multiprocessing and Multicore Architectures. Porto, Portugal.

Monitoring for a decidable fragment of MTLD

The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria.

Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks

Paper/Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

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.

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

ISO 9001 Quality Management Systems through the Lens of Organizational Culture

Both managers and scholars have convictions about the organizational approaches that best support organizational performance of the respective organizations and its Quality Management Systems. After a literature review of ISO 9001 Quality Management Systems (including the changes introduced by the 2015 edition), Organizational Culture theories are addressed and input from a CEO´s focus group was gathered. The importance of organizational culture for the success of Quality Management Systems and the achievement of the organizational desired results is highlighted. The article advances a proposal to analyze ISO 9001 International Standard through the lens of organizational culture theories identifying a stronger open systems approach (influence of the environment, dynamic perspective, need for survival) of the 2015 ISO 9001 edition when compared with the 2008 one. This provides additional knowledge both to scholars and practitioners for a better understanding of the culture issues that can maximize ISO 9001 Quality Management Systems 2015 edition contributions to organizational enduring success.

Countries three Wise Men: Sustainability, Innovation, and Competitiveness

Purpose: The studies on links between sustainability, innovation, and competitiveness have been mainly focused at organizational and business level. The purpose of this research is to investigate if there is a correlation between these three variables at country level. Using international well recognized rankings of countries sustainability, innovation, and competitiveness, correlation analysis was performed allowing for the conclusion that there are indeed high correlations (and possible relationships) between the three variables at country level. Design/methodology/approach: Sustainability, innovation, and competitiveness literature were reviewed identifying a lack of studies examining these three variables at country level. Three major well recognized indexes were used to support the quantitative research: The World Economic Forum (2013) Sustainability-adjusted global competitiveness index, the Global Innovation Index (2014) issued by Cornell University, INSEAD, and WIPO and the IMD World Competitiveness Yearbook (2014). After confirming the distributions normality, Pearson correlation analysis was made with results showing high linear correlations between the three indexes. Findings: The results of the correlation analysis using Pearson correlation coefficient (all correlation coefficients are greater than 0.73) give a strong support to the conclusion that there is indeed a high correlation (and a possible relationship) between social sustainability, innovation and competitiveness at country level. Research limitations/implications: Further research is advisable to better understand the factors that contribute to the presented results and to establish a global paradigm linking these three main constructs (social sustainability, innovation, and competitiveness). Some authors consider that these measurements are not fully supported (e.g. due to different countries standards), however, it is assumed these differing underlying methodological approaches, by being used in conjunction, can be considered as a set of reliable and useful performance indicators. Practical implications: The results highlight the simultaneous relationship between social sustainability, innovation and competitiveness superior performance and the need to take that these considerations into business and operating models. Social implications: This research suggests that sustainability and innovation policies, strategies and practices are relevant for countries competitiveness and should be promoted particularly in countries ranked low on sustainability and innovation global scoring indexes. Originality/value: This is one of the few studies addressing the relationships between sustainability, innovation and competitiveness at country level.

Run-time Monitoring Architecture for RealTime Systems

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Impact of Supplier Management Strategies on the Organizational Performance of ISO 9001 Certified Organizations

Purpose: The purpose of this article is to discuss the impact of Supplier orientation and the resulting Supply Chain Management (SCM) approach, on the organizational performance of ISO 9001 Quality Management Systems certified organizations. Methodology/Approach: Following a literature review, a full structural conceptual model was proposed. An online survey was administered to managers of Portuguese organizations with certified ISO 9001 Quality Management Systems. Descriptive Statistics and Structural Model Equations were used to validate the proposed conceptual model. Findings: There are positive relationships between Organization Strategy and Supplier Orientation, between Supplier Orientation and Stakeholders Satisfaction, and between Stakeholders Satisfaction and Organizational Performance Orientation, supporting ISO 9001:2015. These findings provide insights that supplier orientation, mediated by stakeholder satisfaction, is an essential tool for organizational competitive sustainable advantage. Research Limitation/implication: The analysis was based on managers of ISO 9001 certified organizations perceptions, so additional studies with actual data and longitudinal studies should be useful for further validation. Originality/Value of paper: The importance of the overall organizational ecosystem is highlighted with potential impact on the more than 1 Million ISO 9001 organizations certified worldwide and in their suppliers.

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.

Message-oriented middleware for smart grids

In order to increase the efficiency in the use of energy resources, the electrical grid is slowly evolving into a smart(er) grid that allows users' production and storage of energy, automatic and remote control of appliances, energy exchange between users, and in general optimizations over how the energy is managed and consumed. One of the main innovations of the smart grid is its organization over an energy plane that involves the actual exchange of energy, and a data plane that regards the Information and Communication Technology (ICT) infrastructure used for the management of the grid's data. In the particular case of the data plane, the exchange of large quantities of data can be facilitated by a middleware based on a messaging bus. Existing messaging buses follow different data management paradigms (e.g.: request/response, publish/subscribe, data-oriented messaging) and thus satisfy smart grids' communication requirements at different extents. This work contributes to the state of the art by identifying, in existing standards and architectures, common requirements that impact in the messaging system of a data plane for the smart grid. The paper analyzes existing messaging bus paradigms that can be used as a basis for the ICT infrastructure of a smart grid and discusses how these can satisfy smart grids' requirements.

Desenvolvimento de um sensor para detecção de nano e micro concentrações de deltametrina

Dissertação para obtenção do Grau de Mestre em Engenharia Física

Does it pay to be social responsible? Portuguese SMEs feedback

The research on corporate social responsibility has been focused mainly on Anglo-Saxon countries and big companies. Most scholars agree there is a positive relationship between companies social and economic performance, however, this is not unanimous. Moreover,during economic downturns, companies struggle for survival and might consider corporate social responsibility efforts should be postponed. This research investigates if there is a positive relationship between social performance and key business results using a large sample of small and medium Portuguese companies over an extended period of time. The research results support the existence of valid positive relationships between companies’ social performance and key business results, confirming it does pay to invest in corporate social responsibility even in less favorable economic scenarios and for small and medium companies across all business sectors.

Álcool e tabaco nos militares em Forças Nacionais Destacadas

RESUMO - Introdução: Segundo a Organização Mundial de Saúde, a evolução verificada nos últimos anos no consumo de álcool e tabaco e outras substâncias psicoactivas está a aumentar rapidamente e a contribuir de maneira importante para a carga das doenças em todo o mundo. A nível militar e nos elementos destacados para as missões de apoio à paz, é pertinente conhecer e caracterizar os padrões de consumo de álcool e tabaco a que estão sujeitos nestes contextos específicos de modo a compreender esta realidade e a sua importância e a poder intervir face às suas consequências. De ainda referir que existe escassez de estudos nesta área em Portugal. Objectivo: O objectivo deste estudo consiste em caracterizar os padrões de consumo de álcool e de tabaco dos militares das Forças Nacionais Destacadas, em missão de apoio à paz, no pré-deslocamento ainda em Portugal, no deslocamento em Teatro de Operações e no pós-deslocamento em território nacional. Metodologia: Apresenta-se o delineamento do estudo e o tipo de estudo que é longitudinal e analítico, a metodologia utilizada, bem como, as hipóteses colocadas, consolidadas na revisão de literatura efectuada previamente; faz-se a caracterização das variáveis sócio demográficas e instrumentais utilizadas. São definidos os critérios de inclusão e exclusão assim como aspectos éticos necessários. Definem-se ainda os testes estatísticos considerados apropriados para este tipo de estudo. Simulação de resultados, discussão e conclusões: Faz-se uma simulação do modo de apresentação dos resultados de acordo com os objectivos e hipóteses traçados tendo em conta a aplicação estatística considerada mais conveniente. Quanto ao ponto de discussão e conclusões dever-se-á após a realização do estudo comparar os resultados obtidos com os resultados de outros estudos análogos e no mesmo âmbito e tecer algumas considerações pertinentes sobre os mesmos. Assim seria importante sugerir novas orientações para outros estudos tendo em conta os resultados mais significativos que possam ser apurados e ainda ser reflectido e até apontado algumas respostas em termos de intervenção neste contexto.