Software transactional memory as a building block for parallel embedded realtime systems

The recent trends of chip architectures with higher number of heterogeneous cores, and non-uniform memory/non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as a fundamental building block for developing parallel applications. Nevertheless, although STM promises to ease concurrent and parallel software development, it relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by embedded real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upper-bounded and task sets can be feasibly scheduled. In this paper we assess the use of STM in the development of embedded real-time software, defending that the amount of contention can be reduced if read-only transactions access recent consistent data snapshots, progressing in a wait-free manner. We show how the required number of versions of a shared object can be calculated for a set of tasks. We also outline an algorithm to manage conflicts between update transactions that prevents starvation.

Demo: automatic personal identification system for security in critical services: a case study

The demonstration proposal moves from the capabilities of a wireless biometric badge [4], which integrates a localization and tracking service along with an automatic personal identification mechanism, to show how a full system architecture is devised to enable the control of physical accesses to restricted areas. The system leverages on the availability of a novel IEEE 802.15.4/Zigbee Cluster Tree network model, on enhanced security levels and on the respect of all the users' privacy issues.

Managing contention of software transactional memory in real-time systems

The foreseen evolution of chip architectures to higher number of, heterogeneous, cores, with non-uniform memory and non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as an alternative to lock-based synchronisation. However, STM relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upperbounded and task sets can be feasibly scheduled. In this paper we defend the role of the transaction contention manager to reduce the number of transaction retries and to help the real-time scheduler assuring schedulability. For such purpose, the contention management policy should be aware of on-line scheduling information.

Practices and trends of telework in the Portuguese industry: the results of surveys in the textile, metal and software sectors

The aim of the TeleRisk Project on labour relations and professional risks within the context of teleworking in Portugal – supported by IDICT – Institute for Development and Inspection of Working Conditions (Ministry of Labour), is to study the practices and forms of teleworking in the manufacturing sectors in Portugal. The project chose also the software industry as a reference sector, even though it does not intend to exclude from the study any other sector of activity or the so-called “hybrid” forms of work. However, the latter must have some of the characteristics of telework. The project thus takes into account the so-called “traditional” sectors of activity, namely textile and machinery and metal engineering (machinery and equipment), not usually associated to this type of work. However, telework could include, in the so-called “traditional” sectors, other variations that are not found in technologically based sectors. One of the evaluation methods for the dynamics associated to telework consisted in carrying out surveys by means of questionnaires, aimed at employers in the sectors analysed. This paper presents some of the results of those surveys. It is important to mention that, being a preliminary analysis, it means that it does not pretend to have exhausted all the issues in the survey, but has meant that it shows the bigger tendencies, in terms of teleworking practices, of the Portuguese industry.

Working in IT projects – Options and Limits of Work Design

Flexible forms of work like project work are gaining importance in industry and services. Looking at the research on project work, the vast majority of present literature is on project management, but increasingly, problems concerning the quality of work and the efficiency of project teams become visible. The question now is how project work can be structured in order to simultaneously provide efficient and flexible work and healthy working conditions ensuring the development of human resources for a long time. Selected results of publicly funded research into project work will be presented based on case studies in 7 software development /IT consulting project teams (N=34). A set of different methods was applied: interviews with management/project managers, group interviews on work constraints, a monthly diary about well-being and critical incidences in the course of the project, and a final evaluation questionnaire on project outcomes focusing on economic and health aspects. Findings reveal that different types of projects exist with varying degree of team members’ autonomy and influence on work structuring. An effect of self-regulation on mental strain could not be found. The results emphasize, that contradicting requirements and insufficient organizational resources with respect to the work requirements lead to an increased work intensity or work obstruction. These contradicting requirements are identified as main drivers for generating stress. Finally, employees with high values on stress for more than 2 months have significantly higher exhaustion rates than those with only one month peaks. Structuring project work and taking into account the dynamics of project work, there is a need for an active role of the project team in contract negotiation or the detailed definition of work – this is not only a question of individual autonomy but of negotiation the range of option for work structuring. Therefore, along with the sequential definition of the (software) product, the working conditions need to be re-defined.

Schedulability analysis of generalized multiframe traffic on multihop-networks comprising software-implemented ethernet switches

Consider a multihop network comprising Ethernet switches. The traffic is described with flows and each flow is characterized by its source node, its destination node, its route and parameters in the generalized multiframe model. Output queues on Ethernet switches are scheduled by static-priority scheduling and tasks executing on the processor in an Ethernet switch are scheduled by stride scheduling. We present schedulability analysis for this setting.

Services innovation and economic performance: An analysis at the firm

In this paper we estimate a model linking innovation effort and economic performance, along the lines of the Mairesse and Mohnen (2003) model. We examine this relationship in the context of services sectors instead of Research and Development intensive manufacturing sectors. Much effort has already been made to explore the innovation-performance relationship for manufacturing sectors but it is still much understudied for services, particularly for Portugal. In this paper we aim to take a step in fulfilling this gap. We use new firm level data for ten services sectors from the Second Community Innovation Survey of Portugal, to estimate the model.

Traceability support in software product lines

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

Women with HIV: gender violence and suicidal ideation

OBJECTIVE To analyze the relationship between gender violence and suicidal ideation in women with HIV. METHODS A cross-sectional study with 161 users of specialized HIV/AIDS care services. The study investigated the presence of gender violence through the Brazilian version of the World Health Organization Violence against Women instrument, and suicidal ideation through the Suicidal Ideation Questionnaire. Statistical analyses were performed with the SPSS software, using the Chi-square test and Poisson multiple regression model. RESULTS Eighty-two women with HIV reported suicidal ideation (50.0%), 78 (95.0%) of who had suffered gender violence. Age at first sexual intercourse < 15 years old, high number of children, poverty, living with HIV for long, and presence of violence were statistically associated with suicidal ideation. Women who suffered gender violence showed 5.7 times more risk of manifesting suicidal ideation. CONCLUSIONS Women with HIV showed a high prevalence to gender violence and suicidal ideation. Understanding the relationship between these two grievances may contribute to the comprehensive care of these women and implementation of actions to prevent violence and suicide.

Model for the evaluation of drug-dispensing services in primary health care

OBJECTIVE To develop a model for evaluating the efficacy of drug-dispensing service in primary health care. METHODS An efficacy criterion was adopted to determine the level of achievement of the service objectives. The evaluation model was developed on the basis of a literature search and discussions with experts. The applicability test of the model was conducted in 15 primary health care units in the city of Florianópolis, state of Santa Catarina, in 2010, and data were recorded in structured and pretested questionnaires. RESULTS The model developed was evaluated using five dimensions of analysis for analysis. The model was suitable for evaluating service efficacy and helped to identify the critical points of each service dimension. CONCLUSIONS Adaptations to the data collection technique may be required to adjust for the reality and needs of each situation. The evaluation of the drug-dispensing service should promote adequate access to medications supplied through the public health system.

Socioeconomic inequalities in the access to and quality of health care services

OBJECTIVE To assess the inequalities in access, utilization, and quality of health care services according to the socioeconomic status. METHODS This population-based cross-sectional study evaluated 2,927 individuals aged ≥ 20 years living in Pelotas, RS, Southern Brazil, in 2012. The associations between socioeconomic indicators and the following outcomes were evaluated: lack of access to health services, utilization of services, waiting period (in days) for assistance, and waiting time (in hours) in lines. We used Poisson regression for the crude and adjusted analyses. RESULTS The lack of access to health services was reported by 6.5% of the individuals who sought health care. The prevalence of use of health care services in the 30 days prior to the interview was 29.3%. Of these, 26.4% waited five days or more to receive care and 32.1% waited at least an hour in lines. Approximately 50.0% of the health care services were funded through the Unified Health System. The use of health care services was similar across socioeconomic groups. The lack of access to health care services and waiting time in lines were higher among individuals of lower economic status, even after adjusting for health care needs. The waiting period to receive care was higher among those with higher socioeconomic status. CONCLUSIONS Although no differences were observed in the use of health care services across socioeconomic groups, inequalities were evident in the access to and quality of these services.

Component-based software engineering: a quantitative approach

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

DSAAR: distributed software architecture for autonomous robots

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica

Performance management in primary healthcare services: evidence from a field study

Health services

Análise comparativa de sistemas centralizados e descentralizados de valorização de chorumes de suiniculturas, utilizando o software UMBERTO

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, Perfil de Engenharia Sanitária