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.

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.

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.

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.

Public school teachers’ perceptions about mental health

OBJECTIVE To examine public school teachers’ perceptions about general health and mental health, and the way in which they obtained this information. METHODS Qualitative research was conducted with 31 primary and secondary school teachers at a state school in the municipality of Sao Paulo, SP, Southeastern Brazil, in 2010. The teachers responded to a questionnaire containing open-ended questions about mental health and general health. The following aspects were evaluated: Teachers’ understanding of the terms “health and “mental health,” the relevance of the need for information on the subject, the method preferred for obtaining information, their experience with different media regarding such matters, and perceptions about the extent to which this available information is sufficient to support their practice. The data were processed using the Qualiquantisoft software and analyzed according to the Discourse of the Collective Subject technique. RESULTS From the teachers’ perspective, general health is defined as the proper physiological functioning of the body and mental health is related to the balance between mind and body, as a requirement for happiness. Most of the teachers (80.6%) showed great interest in acquiring knowledge about mental health and receiving educational materials on the subject. For these teachers, the lack of information creates insecurity and complicates the management of everyday situations involving mental disorders. For 61.3% of the teachers, television is the medium that provides the most information on the topic. CONCLUSIONS The data indicate that there is little information available on mental health for teachers, showing that strategies need to be developed to promote mental health in schools.

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

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

Software de sistema para um intercomunicador de veículos militares

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

Culturtainment - a new interactive entertainment genre: assessment of Cultural Heritage digital content in leisure software games

European Master in Multimedia and Audiovisual Administration

Educational inequality in the occurrence of abdominal obesity:Pró-Saúde Study

OBJECTIVE To estimate the degree of educational inequality in the occurrence of abdominal obesity in a population of non-faculty civil servants at university campi.METHODS In this cross-sectional study, we used data from 3,117 subjects of both genders aged 24 to 65-years old, regarding the baseline ofPró-Saúde Study, 1999-2001. Abdominal obesity was defined according to abdominal circumference thresholds of 88 cm for women and 102 cm for men. A multi-dimensional, self-administered questionnaire was used to evaluate education levels and demographic variables. Slope and relative indices of inequality, and Chi-squared test for linear trend were used in the data analysis. All analyses were stratified by genders, and the indices of inequality were standardized by age.RESULTS Abdominal obesity was the most prevalent among women (43.5%; 95%CI 41.2;45.9), as compared to men (24.3%; 95%CI 22.1;26.7), in all educational strata and age ranges. The association between education levels and abdominal obesity was an inverse one among women (p < 0.001); it was not statistically significant among men (p = 0.436). The educational inequality regarding abdominal obesity in the female population, in absolute terms (slope index of inequality), was 24.0% (95%CI 15.5;32.6). In relative terms (relative index of inequality), it was 2.8 (95%CI 1.9;4.1), after the age adjustment.CONCLUSIONS Gender inequality in the prevalence of abdominal obesity increases with older age and lower education. The slope and relative indices of inequality summarize the strictly monotonous trend between education levels and abdominal obesity, and it described educational inequality regarding abdominal obesity among women. Such indices provide relevant quantitative estimates for monitoring abdominal obesity and dealing with health inequalities.

Adaptar abordagem KAOS para especificar linhas de produtos de software

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção de grau de Mestre

Consistent state software transactional memory

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

Extending access to remote labs from mobile devices in educational contexts

This paper describes how to extend the access to remote experiments from mobile devices, aiming to better engage digital native students who expect a more interactive and ubiquitous access mode. The extension is based on features of HTML5 and the jQuery Mobile framework, which allow accessing the experiments from different operating systems via the browser or native applications. As a result, users have a richer interaction mode with the experiments, which includes access from simple hand-held devices such as smartphones and PDAs. Extending the access to remote experiments, from simple devices, enables its use in other educational stages, such as high schools, where teachers struggle to engage students in STEM learning. By enabling students to use their everyday "technological companions", e.g. cellular phones, to access remote experiments, we seek to increase the educational value of this technology-enhanced learning resource.