Software languages engineering: experimental evaluation

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

Remote operation of embedded controllers designed using IOPT Petri-nets

This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems. © 2015 IEEE.

Intra-Task Device Scheduling for Real-Time Embedded Systems

An ever increasing need for extra functionality in a single embedded system demands for extra Input/Output (I/O) devices, which are usually connected externally and are expensive in terms of energy consumption. To reduce their energy consumption, these devices are equipped with power saving mechanisms. While I/O device scheduling for real-time (RT) systems with such power saving features has been studied in the past, the use of energy resources by these scheduling algorithms may be improved. Technology enhancements in the semiconductor industry have allowed the hardware vendors to reduce the device transition and energy overheads. The decrease in overhead of sleep transitions has opened new opportunities to further reduce the device energy consumption. In this research effort, we propose an intra-task device scheduling algorithm for real-time systems that wakes up a device on demand and reduces its active time while ensuring system schedulability. This intra-task device scheduling algorithm is extended for devices with multiple sleep states to further minimise the overall device energy consumption of the system. The proposed algorithms have less complexity when compared to the conservative inter-task device scheduling algorithms. The system model used relaxes some of the assumptions commonly made in the state-of-the-art that restrict their practical relevance. Apart from the aforementioned advantages, the proposed algorithms are shown to demonstrate the substantial energy savings.

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

A DSL for querying building data streams of energy, eeather and occupation data

The superfluous consumption of energy is faced by the modern society as a Socio-Economical and Environmental problem of the present days. This situation is worsening given that it is becoming clear that the tendency is to increase energy price every year. It is also noticeable that people, not necessarily proficient in technology, are not able to know where savings can be achieved, due to the absence of accessible awareness mechanisms. One of the home user concerns is to balance the need of reducing energy consumption, while producing the same activity with all the comfort and work efficiency. The common techniques to reduce the consumption are to use a less wasteful equipment, altering the equipment program to a more economical one or disconnecting appliances that are not necessary at the moment. However, there is no direct feedback from this performed actions, which leads to the situation where the user is not aware of the influence that these techniques have in the electrical bill. With the intension to give some control over the home consumption, Energy Management Systems (EMS) were developed. These systems allow the access to the consumption information and help understanding the energy waste. However, some studies have proven that these systems have a clear mismatch between the information that is presented and the one the user finds useful for his daily life, leading to demotivation of use. In order to create a solution more oriented towards the user’s demands, a specially tailored language (DSL) was implemented. This solution allows the user to acquire the information he considers useful, through the construction of questions about his energy consumption. The development of this language, following the Model Driven Development (MDD) approach, took into consideration the ideas of facility managers and home users in the phases of design and validation. These opinions were gathered through meetings with experts and a survey, which was conducted to the purpose of collecting statistics about what home users want to know.

Classificação Internacional de Funcionalidade, Incapacidade e Saúde : uma dimensão do neurodesenvolvimento

RESUMO: Objetivo Principal • Determinar a consistência da utilização dos instrumentos de avaliação da capacidade intelectual – escalas de Griffiths e WISC III – no enquadramento dos domínios e dos qualificadores da CIF-CJ, restrita às funções mentais do corpo. Objetivo secundário: • Estudar a efetividade e concordância inter-observador da aplicação da CIF, com base na leitura dos dados obtidos em avaliação efetuada com os instrumentos referidos, por duas observadoras independentes, em contexto de articulação saúde, respetivamente educação e segurança social Métodos • Estudo observacional, descritivo, transversal e prospetivo. • Foi estudada uma amostra de conveniência 355 crianças, num período de três anos (Maio de 2010 a 30 de Abril de 2013), com patologia da área da pediatria do neurodesenvolvimento (total de 4000 consultas) no Centro de Desenvolvimento (CD) do Hospital de Dona Estefânia (HDE), Centro Hospitalar de Lisboa Central, EPE (CHLC, EPE). • Critérios de inclusão: crianças de ambos os sexos, observadas no CD do HDE, CHLC (primeiras consultas e consultas de reavaliação) com idade ≥12 meses e ≤17 anos e incapacidade intelectual definida de acordo com os critérios da DSM-IV-TR, DSM 5 e CID-10. • Critérios de exclusão: crianças com autismo, perturbações específicas da linguagem, hiperatividade, défice de atenção e concentração, défices sensoriais congénitos (baixa visão e ou audição), ou com outros diagnósticos de perturbações de neurodesenvolvimento. • O estudo teve duas fases: na primeira, a investigadora principal colheu ou atualizou a história clínica, observou clinicamente as crianças solicitando os exames complementares considerados necessários e foi efetuada avaliação psicológica com os instrumentos adiante descritos, pela mesma psicóloga clínica, devidamente credenciada, e com larga experiência nas escalas referidas. Com base nos dados colhidos, quer por observação direta, quer através dos resultados das escalas Griffiths e WISC – III, a investigadora aplicou a CIF-CJ, circunscrita aos domínios e funções (variáveis): 1. FUNÇÕESMENTAIS GLOBAIS (b110- Funções da consciência, b114- Funções da orientação no espaço e no tempo, b117 – Funções intelectuais, b122- Funções psicossociais globais, b125- Funções intrapessoais, b126- Funções do temperamento e da personalidade); 2.FUNÇÕES MENTAIS ESPECÌFICAS (b140- funções da atenção, b147- Funções psicomotoras, b152- Funções emocionais, b156- Funções da perceção, b163- Funções cognitivas básicas, b164- Funções cognitivas de nível superior, b167- Funções mentais da linguagem 3. FUNÇÕES DA VOZ E DA FALA (b320- Funções da articulação, b330- Funções da fluência e do ritmo da fala). Numa segunda fase, foi solicitada a colaboração de duas co-investigadoras, com formação específica nas escalas utilizadas e na CIF-CJ, a aplicação da CIF nos mesmos domínios e funções. Estas observadoras não efetuaram observações diretas das crianças envolvidas. • Para efetuar a análise estatística e analisar a relação entre os qualificadores (0 a 4) das variáveis da CIF em estudo (b117, b122, b147, b163, b164, b167, b320 e b330) e os instrumentos psicométricos (escalas de Griffiths e WISC III), que constitui a primeira parte do estudo, recorreu-se à técnica estatística não paramétrica do coeficiente de correlação de Spearman, que quantifica a intensidade e sinal da eventual correlação existente entre as variáveis em estudo. • Para determinar as correlações referentes à segunda parte do estudo, foram utilizados os programas SPSS®, (IBM SPSS Statistics) e Statistica® (StatSoft, Inc., 2011). STATISTICA (data analysis software system, version 10. www.statsoft.com.), tendo-se dado preferência aos gráficos deste último. Resultados 1. Observou-se um predomínio do sexo masculino (relação de 1:1,9); relativamente à idade no momento de avaliação, 242 crianças (68,1%) tinham entre zero e seis anos e, dentro destas, a maioria (189) situava-se entre os três e os seis anos. 2. De acordo com a DSM-IV e DSM-5, 261 (73,4%) crianças apresentavam incapacidade intelectual ligeira. 3. A avaliação da competência intelectual pelas escalas de Ruth Griffiths e WISC III (QI), revelaram correlação negativa predominantemente forte e muito forte (índice de Spearman) com os qualificadores das funções do corpo estudadas (funções mentais, mentais específicas e da voz). Os resultados obtidos pela co-investigadora A foram sobreponíveis aos da investigadora principal. Os resultados obtidos pela co-investigadora B revelaram correlação negativa moderada e forte, correlação inferior à da investigadora principal; Conclusões Os resultados permitem inferir que as escalas de Ruth Griffiths e WISC-III são instrumentos adequados para caracterizar a incapacidade intelectual na CIF-CJ; a concordância inter-observador, moderada, nos qualificadores atribuídos nas funções em análise pela investigadora e co-investigadoras, permite concluir que as escalas de Ruth Griffiths e WISC IIIl são bons instrumentos para caracterizar os qualificadores nos domínios e funções estudados, por diferentes grupos de profissionais ligados à infância. Subsistem dificuldades na diferenciação entre qualificadores, designadamente entre os qualificadores 1 e 2, o que tem necessariamente implicações na elegibilidade das crianças para os apoios preconizados pelo DL 3/2008. ------------------------ ABSTRACT: Main objective • To determine the consistency of the use of assessment tools for intellectual ability - Griffiths and WISC III scales - in the context of domains and qualifiers for the ICF-CY, restricted to the mental functions of the body. Secondary objective • Studying the effectiveness and inter-observer concordance concerning the application of the ICF, based on the data recovered from the assessment made with the mentioned instruments, carried out by two independent observers including their perspective on health, education and social security. Methods • Observational, descriptive, cross-sectional and prospective study. • A convenience sample of 355 children was studied over a period of three years (May 2010 to April 2013), with a pathology in the area of pediatric neurodevelopment – intellectual disability (total of 4000 consultations, including first consultations and revaluations) were observed in the Development Centre (CD) in Hospital de Dona Estefânia (HDE), Centro Hospitalar de Lisboa Central, EPE (CHLC). • Inclusion criteria: children of both sexes aged ≥12 months and years ≤17 and intellectual disability defined according to the criteria in the DSM-IV-TR, DSM 5 and ICD-10. • Exclusion criteria: children with autism; specific language impairment, hyperactivity; attention deficit disorder; severe birth sensory deficits (eg, impaired vision and hearing); amongst other diagnoses for neurodevelopmental disorders. • The study was conducted in two phases: in the first phase the principal investigator collected or updated medical history, clinically observed children requesting additional investigations if she deemed necessary. Psychological evaluation was performed by a single, duly licensed clinical psychologist with extensive experience in the referred scales using the instruments described below. Based on data collected, either by direct observation or through the results of Griffiths scales and WISC - III, the researcher applied the ICF-CY confined to the following fields and functions (variables): 1. GLOBAL MENTAL FUNCTIONS (b110- functions of consciousness, b114- Functions referring to space and time orientation , b117 - intellectual functions, b122- global psychosocial functions, b125- intrapersonal functions, b126- functions related to temperament and personality); 2. SPECIFIC MENTAL FUNCTIONS ( b140- attention functions, b147-psychomotor functions, b152- Emotional functions, b156- perception functions, b163- basic cognitive functions and cognitive functions b164- top level b167- language related mental functions. ) 3. VOICE AND SPEECH FUNCTIONS (b320-articulation functions, b330- fluency and rhythm of speech functions). • In the second phase, two co-investigators, with specific training on the scales used and the ICF-CY have applied the ICF in the domains and functions mentioned above, based on the scales results. These co-investigators did not make any direct observation of the studied children. • To perform the statistical analysis and analyze the relationship between the qualifiers (0-4) of the variables in the ICF study (b117, b122, b147, B163, B164, b167, b320 and B330) and psychometric instruments (Griffiths scale and WISC III), which is the first part of the study, the statistical technique of non-parametric Spearman correlation coefficient was used, which quantifies the strength and sign of the possible correlation between the variables under study. • For submission of correlations related to the second part of the study, SPSS (IBM SPSS) and Statistica (StatSoft, Inc., 2011) programs were used. STATISTICA (data analysis software system, version 10 www.statsoft.com.). Preference was given to graphs computed in Statistica. Results • Male predominated (ratio of 1: 1.9). 242 children (68.1% of the sample) were aged between zero and six years and, among these, the majority (189) was aged largest number between three and six years. • According to the DSM-IV and DSM-5, 261 (73.4%) children had mild intellectual disability. The correlation between the assessment of intellectual competence by Ruth Griffiths scales and WISC III (QI), was predominantly negative strong and very strong correlation with the qualifiers of body functions studied (specific mental functions, mental and voice functions using Spearman index). The levels of correlation obtained by the co-investigatores were in agreeance with the results from the principal investigator. The results obtained by co-investigator B showed moderate to strong negative correlation, levels that were lower to the those registered by the principal investigator; Conclusions These results indicate that Ruth Griffiths and WISC-III scales are adequate tools to characterize intellectual disability in the ICF-CY; moderate inter-observer agreement in the qualifiers assigned the functions under analysis by the researcher and co-researchers, shows that the scales are also good tools to measure CIF qualifyers by diferent technicians with different professional orientations, related to children. However, there are still difficulties in differentiating qualifiers, namely between qualifiers 1/2 and 3/4, which necessarily has implications for the eligibility of children for the state support advocated by the Portuguese Decret Law 3/2008.

Sexual dysfunction and dissatisfaction in chronic hepatitis C patients

IntroductionThe prevalence of sexual dysfunction (SD) and dissatisfaction with sexual life (DSL) in patients with chronic hepatitis C virus infection (CHC) was jointly investigated via a thorough psychopathological analysis, which included dimensions such as fatigue, impulsiveness, psychiatric comorbidity, health-related quality of life (HRQL) and sociodemographic and clinical characteristics.MethodsMale and female CHC patients from an outpatient referral center were assessed using the Brief Fatigue Inventory, the Barrat Impulsiveness Scale, the Beck Depression Inventory (BDI), the Hospital Anxiety and Depression Scale, the Hamilton Anxiety Scale (HAM-A), and the World Health Organization Quality of Life Scale-Brief Version (WHOQOL-BREF). Structured psychiatric interviews were performed according to the Mini-International Neuropsychiatric Interview. SD was assessed based on specific items in the BDI (item 21) and the HAM-A (item 12). DSL was assessed based on a specific question in the WHOQOL-BREF (item 21). Multivariate analysis was performed according to an ordinal linear regression model in which SD and DSL were considered as outcome variables.ResultsSD was reported by 60 (57.1%) of the patients according to the results of the BDI and by 54 (51.4%) of the patients according to the results of the HAM-A. SD was associated with older age, female gender, viral genotype 2 or 3, interferon-α use, impulsiveness, depressive symptoms, antidepressant and benzodiazepine use, and lower HRQL. DSL was reported by 34 (32.4%) of the patients and was associated with depressive symptoms, anxiety symptoms, antidepressant use, and lower HRQL.ConclusionsThe prevalence of SD and DSL in CHC patients was high and was associated with factors, such as depressive symptoms and antidepressant use. Screening and managing these conditions represent significant steps toward improving medical assistance and the HRQL of CHC patients.

Conceptual-physical bridging – From BPMN models to physical implementations on kettle

Developing and implementing data-oriented workflows for data migration processes are complex tasks involving several problems related to the integration of data coming from different schemas. Usually, they involve very specific requirements - every process is almost unique. Having a way to abstract their representation will help us to better understand and validate them with business users, which is a crucial step for requirements validation. In this demo we present an approach that provides a way to enrich incrementally conceptual models in order to support an automatic way for producing their correspondent physical implementation. In this demo we will show how B2K (Business to Kettle) system works transforming BPMN 2.0 conceptual models into Kettle data-integration executable processes, approaching the most relevant aspects related to model design and enrichment, model to system transformation, and system execution.

Automatic generation of ETL physical systems from BPMN conceptual models

ETL conceptual modeling is a very important activity in any data warehousing system project implementation. Owning a high-level system representation allowing for a clear identification of the main parts of a data warehousing system is clearly a great advantage, especially in early stages of design and development. However, the effort to model conceptually an ETL system rarely is properly rewarded. Translating ETL conceptual models directly into something that saves work and time on the concrete implementation of the system process it would be, in fact, a great help. In this paper we present and discuss a hybrid approach to this problem, combining the simplicity of interpretation and power of expression of BPMN on ETL systems conceptualization with the use of ETL patterns to produce automatically an ETL skeleton, a first prototype system, which has the ability to be executed in a commercial ETL tool like Kettle.

Hybrid hypervisor partially deployed on FPGA

Tese de Doutoramento em Engenharia Eletrónica e Computadores.

Disseny d'un cronòmetre i d'un freqüencímetre integrats en un NIOS controlats sobre μClinux

El projecte que es presenta permet analitzar els avantatges i inconvenients d’una programació orientada a hardware i d’una programació orientada a software a partir del desenvolupament de dos dissenys, un cronòmetre i un freqüencímetre en cadascun dels modes de programació. Donat que en les dues aplicacions es requereix alta precisió de temps (μs) i flexibilitat en el control, la solució final que es proposa és un disseny “mixt” amb dos mòduls hardware específics (cronòmetre i freqüencímetre) integrats en un NIOS/CPU sobre una FPGA. Els dos mòduls es controlen per software sobre un sistema Linux empotrat (μCLinux).

Sistema de control ambiental flexible per a la indústria agroalimentària (SCAFIA)

El present treball està basat en el desenvolupament d¿un sistema que permeti fer una demostració pràctica i útil amb els materials que l¿àrea de sistemes encastats posa a la nostra disposició. De forma resumida es tracta de motes/nodes amb possibilitat de comunicació inhalàmbrica entre ells i un sistema operatiu TinyOS programable amb el llenguatge nesC.

CD1d-restricted NK T cells are dispensable for specific antibody responses and protective immunity against liver stage malaria infection in mice.

Immunization with a single dose of irradiated sporozoites is sufficient to induce protection against malaria in wild-type mice. Although this protection is classically attributed to conventional CD4+ and CD8+ T cells, several recent reports have suggested an important role for CD1-restricted NK T cells in immunity to malaria. In this study, we directly compared the ability of C57BL/6 wild-type and CD1-deficient mice to mount a protective immune response against Plasmodium berghei sporozoites. Our data indicate that CD1-restricted NK T cells are not required for protection in this model system. Moreover, specific IgG antibody responses to the P. berghei circumsporozoite repeat sequence were also unaffected by CD1 deficiency. Collectively, our data demonstrate that CD1-restricted NK T cells are dispensable for protective immunity to liver stage P. berghei infection.

A Computer Based Information System for County Equipment Cost Records, Interim Report, HR-173, 1975

This report describes the work accomplished to date on research project HR-173, A Computer Based Information System for County Equipment Cost Records, and presents the initial design for this system. The specific topics discussed here are findings from the analysis of information needs, the system specifications developed from these findings, and the proposed system design based upon the system specifications. The initial system design will include tentative input designs for capturing input data, output designs to show the output formats and the items to be output for use in decision making, file design showing the organization of information to be kept on each piece of equipment in the computer data file, and general system design explaining how the entire system will operate. The Steering Committee appointed by Iowa Highway Research Board is asked to study this report, make appropriate suggestions, and give approval to the proposed design subject to any suggestions made. This approval will permit the designer to proceed promptly with the development of the computer program implementation phase of the design.

Modeling information in software languages

Ohjelmiston kehitystyökalut käyttävät infromaatiota kehittäjän tuottamasta lähdekoodista. Informaatiota hyödynnetään ohjelmistoprojektin eri vaiheissa ja eri tarkoituksissa. Moderneissa ohjelmistoprojekteissa käytetyn informaation määrä voi kasvaa erittäin suureksi. Ohjelmistotyökaluilla on omat informaatiomallinsa ja käyttömekanisminsa. Informaation määrä sekä erilliset työkaluinformaatiomallit tekevät erittäin hankalaksi rakentaa joustavaa työkaluympäristöä, erityisesti ongelma-aluekohtaiseen ohjelmiston kehitysprosessiin. Tässä työssä on analysoitu perusinformaatiometamalleja Unified Modeling language kielestä, Python ohjelmointikielestä ja C++ ohjelmointikielestä. Metainformaation taso on rajoitettu rakenteelliselle tasolle. Ajettavat rakenteet on jätetty pois. ModelBase metamalli on yhdistetty olemassa olevista analysoiduista metamalleista. Tätä metamallia voidaan käyttää tulevaisuudessa ohjelmistotyökalujen kehitykseen.