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.

A New Electronic Approach for the Surgical Safety Checklist

To improve surgical safety, and to reduce the mortality and surgical complications incidence, the World Health Organization (WHO) developed the Surgical Safety Checklist (SSC). The SSC is a support of information that aids health professionals to reduce the number of complications, induction of anaesthesia, period before skin incision and period before leaving the operating room (OR). The SSC was tested in several countries of the world and their results shown that after introduction of the SSC the incidence of patient complication lowered from 11.0% to 7.0% (P<0.001), the rate of death declined from 1.5% to 0.8% (P = 0.003) and the nurses recognized that patients identity was more often con rmed (81.6% to 94.2%, P<0.01) in many institutions. Recently the SSC was also implemented in Portuguese hospitals, which led us to its study in the real clinical environment. An observational study was performed: several health professionals were observed and interviewed, to understand the functioning of the SSC in an OR, during the clinical routine. The objective of this study was to understand the current use of the SSC, and how it may be improved in terms of usability, taking advantage of the technological advancements such as mobile applications. During two days were observed 14 surgeries, only 2 surgeries met the requirements for the three phases of the SSC, as de ned by the WHO. Of the remaining 12 observed surgeries, 9 surgeries completed the last phase at the correct time. It was also observed that only in 2 surgeries all the phases of the SSC were read aloud to the team and that, in 7 surgeries, several items were read aloud and answered but no one was checking the SSC, only after the end of the phase. The observational study results disclose that several health professionals do not meet with rules of the WHO manual. This study demonstrates that it is urgent to change the mindset of health professionals, and that di erent features in the SSC may be useful to make it more easy to use. With the results of the observational study, a SSC application proposal was developed with new functionalities to improve and aid the health professional in its use. In this application the user can chose between a SSC already created to a speci c surgery or to create a new SSC, adding and adapting some questions from the WHO standard. To create a new SSC, the application is connected to an online questionnaire builder (JotForm). The choice for this online questionnaire builder went through three essential characteristics: number of types of questions, mainly checkbox, radio button and text; the possibility of to create sections inside sections and the API. In addition, in this proposal the improvements are focused in forcing the user to focus in the work ow of the SSC and to save the input timestamps and any actions made by them. Therefore, the following features was implemented to achieve that goal: display one item of the SSC at a time; display the stage where the SSC is; do not allow going back to the previous step; do not allow going forward to the next item if the current is not lled; do not allow going forward to the next item if the time it took to ll the item was too short and log any action made by the user.

Multilevel model of safety climate for furniture industries

BACKGROUND: Furniture companies can analyze their safety status using quantitative measures. However, the data needed are not always available and the number of accidents is under-reported. Safety climate scales may be an alternative. However, there are no validated Portuguese scales that account for the specific attributes of the furniture sector. OBJECTIVE: The current study aims to develop and validate an instrument that uses a multilevel structure to measure the safety climate of the Portuguese furniture industry. METHODS: The Safety Climate in Wood Industries (SCWI) model was developed and applied to the safety climate analysis using three different scales: organizational, group and individual. A multilevel exploratory factor analysis was performed to analyze the factorial structure. The studied companies’ safety conditions were also analyzed. RESULTS: Different factorial structures were found between and within levels. In general, the results show the presence of a group-level safety climate. The scores of safety climates are directly and positively related to companies’ safety conditions; the organizational scale is the one that best reflects the actual safety conditions. CONCLUSIONS: The SCWI instrument allows for the identification of different safety climates in groups that comprise the same furniture company and it seems to reflect those groups’ safety conditions. The study also demonstrates the need for a multilevel analysis of the studied instrument.

Training and discovering corpus-based data driven exercices in english teaching (L2/FL) to native speakers of portuguese (L1)

Project submitted as part requirement for the degree of Masters in English teaching,

O Treino de Ortostatismo (Tilt Training) Aumenta a Reserva Vasoconstritora em Doentes com Síncope Reflexa Neurocardiogénica

A síncope neurocardiogénica (SNc) é uma entidade clínica comum, resultante de uma resposta autonómica reflexa excessiva durante o stress ortostático. As diferentes opções terapêuticas são controversas e de eficácia limitada. O treino de ortostatismo (TTr) tem-se mostrado uma alternativa prometedora no tratamento destes doentes (D). No entanto, permanece por esclarecer o seu mecanismo de acção e o impacto clínico numa população com SNc recorrente. Objectivo: Caracterizar a resposta hemodinâmica e autonómica durante um programa de TTr em doentes com SNc refratária às medidas convencionais. População e métodos: Foram estudados 28D (50% do sexo masculino, 41±14 anos), sem evidência de cardiopatia, com SNc documentada em teste de ortostatismo passivo. O TTr incluiu 9 sessões hospitalares (3x/semana, 30 minutos) com monitorizac¸ão contínua de pressão arterial e frequência cardíaca (60◦ - 6 sessões - 70◦ - 3 sessões), complementadas com treino diário no domicílio e elevação da cabeceira a 10◦ durante o sono. O volume sistólico, o débito cardíaco, a resistência vascular periférica, a sensibilidade do barorreflexo e a variabilidade da frequência cardíaca foram calculados. Todos os doentes foram reavaliados no fim do 1.◦ mês e no final de cada 6 meses num período máximo de 36 meses (follow-up 24±12 meses). Resultados: Ao longo das sessões de TTr verificou-se um aumento significativo e consistente da resistência total periférica (1485±225 vs. 1591±187 dyne*s/cm−5, p < 0,05) associado a uma diminuição do seu desvio-padrão (206±60 vs. 150±42, p < 0,05). Durante o período de follow-up, houve recorrência de síncope em 5D (19%), com redução significativa do número de síncopes (4,0±3,2/D nos 12 meses pre-TTr vs. 1,4±0,8/D pos-TTr, p < 0,05). Conclusão: Em doentes com SNc refratária, o TTr mostrou ser uma opção terapêutica eficaz, com benefício a longo prazo. A melhor tolerância ao ortostatismo parece resultar do aumento da reserva vasoconstritora e da sua menor variabilidade.

Exploring the long-term associations between adolescents’ music training and academic achievement

There is a positive relationship between learning music and academic achievement, although doubts remain regarding the mechanisms underlying this association. This research analyses the academic performance of music and non-music students from seventh to ninth grade. The study controls for socioeconomic status, intelligence, motivation and prior academic achievement. Data were collected from 110 adolescents at two time points, once when the students were between 11 and 14 years old in the seventh grade, and again 3 years later. Our results show that music students perform better academically than non-music students in the seventh grade (Cohen’s d = 0.88) and in the ninth grade (Cohen’s d = 1.05). This difference is particularly evident in their scores in Portuguese language and natural science; the difference is somewhat weaker in history and geography scores, and is least pronounced in mathematics and English scores (η2 p from .09 to .21). A longitudinal analysis also revealed better academic performance by music students after controlling for prior academic achievement (η2 p = .07). Furthermore, controlling for intelligence, socioeconomic status and motivation did not eliminate the positive association between music learning from the seventh to the ninth grade and students’ academic achievement (η2 p = .06). During the period, music students maintained better and more consistent academic standing. We conclude that, after controlling for intelligence, socioeconomic status and motivation, music training is positively associated with academic achievement.

Segurança de Redes em Sistemas de Experimentação Remota

O crescimento dos sistemas de informação e a sua utilização massiva criou uma nova realidade no acesso a experiências remotas que se encontram geograficamente distribuídas. Nestes últimos tempos, a temática dos laboratórios remotos apareceu nos mais diversos campos como o do ensino ou o de sistemas industriais de controlo e monitorização. Como o acesso aos laboratórios é efectuado através de um meio permissivo como é o caso da Internet, a informação pode estar à mercê de qualquer atacante. Assim, é necessário garantir a segurança do acesso, de forma a criar condições para que não se verifique a adulteração dos valores obtidos, bem como a existência de acessos não permitidos. Os mecanismos de segurança adoptados devem ter em consideração a necessidade de autenticação e autorização, sendo estes pontos críticos no que respeita à segurança, pois estes laboratórios podem estar a controlar equipamentos sensíveis e dispendiosos, podendo até eventualmente comprometer em certos casos o controlo e a monotorização de sistemas industriais. Este trabalho teve como objectivo a análise da segurança em redes, tendo sido realizado um estudo sobre os vários conceitos e mecanismos de segurança necessários para garantir a segurança nas comunicações entre laboratórios remotos. Dele resultam as três soluções apresentadas de comunicação segura para laboratórios remotos distribuídos geograficamente, recorrendo às tecnologias IPSec, OpenVPN e PPTP. De forma a minimizar custos, toda a implementação foi assente em software de código aberto e na utilização de um computador de baixo custo. No que respeita à criação das VPNs, estas foram configuradas de modo a permitir obter os resultados pretendidos na criação de uma ligação segura para laboratórios remotos. O pfSense mostrou-se a escolha acertada visto que suporta nativamente quaisquer das tecnologias que foram estudadas e implementadas, sem necessidade de usar recursos físicos muito caros, permitindo o uso de tecnologias de código aberto sem comprometer a segurança no funcionamento das soluções que suportam a segurança nas comunicações dos laboratórios remotos.

Effects of a mental health training program on health care worker's knowledge and attitude and practice in Belize

ABSTRACT This study was conducted to assess mental health knowledge, attitude and practices among health care workers in Belize before and immediately after a competency based training program in mental health. A baseline Knowledge, Attitudes and Practices (KAP) survey was given to health personnel, mainly nurses, working primary and secondary care. The intervention was a 13-week face-to-face training course for health care professionals with the objective of increasing their competency in mental health and reducing stigma. After the training a post intervention KAP survey was conducted among the original respondents. 88 health care workers completed the baseline survey and 61 of those respondents completed the post-intervention questionnaire. The results showed that the level of knowledge of the participants had improved by the training intervention and that in general, the intervention was effective in correcting some misconceptions about mental illness and reducing stigmatizing attitudes among the participants.

Metodologia de desenvolvimento de competências para os técnicos do setor elétrico

A solFORM é uma empresa de Consultoria e Formação Profissional nas áreas da Energia e Eletricidade, Higiene e Segurança no Trabalho e Comportamental. O seu foco de atuação é a oferta de formação profissional especializada a empresas que trabalham na rede de distribuição de energia elétrica. O diagnóstico realizado permitiu identificar como potencialidade de intervenção os serviços de recursos humanos prestados pela empresa, mais especificamente conceber uma metodologia de avaliação de competências e de identificação de necessidades de desenvolvimento para os técnicos do setor elétrico. A aplicação deste projeto permite adequar as competências dos colaboradores dos clientes da solFORM, empresas do setor elétrico, aos perfis profissionais exigidos pela agência reguladora da formação do setor, a AQTSE - Associação para a Qualificação Técnica do Setor Energético. Assim, o objetivo final será que a solFORM possa propor planos de desenvolvimento adequados às necessidades específicas dos colaboradores das suas empresas clientes. Depois de definido o planeamento estratégico e operacional da nova metodologia foi implementada num grupo piloto. Ao longo da implementação e no final foram avaliados os indicadores que demonstram o cumprimento dos objetivos estabelecidos, assim como a finalidade do projeto.

Safety and skin delayed-type hypersensitivity response in vervet monkeys immunized with Leishmania donovani sonicate antigen delivered with adjuvants

In this study, we report on the safety and skin delayed-type hypersensitivity (DTH), responses of the Leishmania donovani whole cell sonicate antigen delivered in conjunction with alum-BCG (AlBCG), Montanide ISA 720 (MISA) or Monophosphoryl lipid A (MPLA) in groups of vervet monkeys. Following three intradermal injections of the inoculums on days 0, 28 and 42, safety and DTH responses were assessed. Preliminary tumor necrosis factor alpha (TNF-α) and interferon gamma (IFN-γ) levels were also measured and these were compared with DTH. Only those animals immunized with alum-BCG reacted adversely to the inoculum by producing ulcerative erythematous skin indurations. Non-parametric analysis of variance followed by a post-test showed significantly higher DTH responses in the MISA+Ag group compared with other immunized groups (p < 0.001). The MPLA+Ag group indicated significantly lower DTH responses to the sonicate antigen compared with the AlBCG+Ag group. There was a significant correlation between the DTH and cytokine responses (p < 0.0001). Based on this study we conclude that Leishmania donovani sonicate antigen containing MISA 720 is safe and is associated with a strong DTH reaction following immunization.

A Communication Intervention for Training Southern European Oncologists to Recognize Psychosocial Morbidity in Cancer. I - Development of the Model and Preliminary Results on Physicians' Satisfaction

BACKGROUND: The detection of psychosocial distress is a significant communication problem in Southern Europe and other countries. Work in this area is hampered by a lack of data. Because not much is known about training aimed at improving the recognition of psychosocial disorders in cancer patients, we developed a basic course model for medical oncology professionals. METHODS: A specific educational and experiential model (12 hours divided into 2 modules) involving formal teaching (ie, journal articles, large-group presentations), practice in small groups (ie, small-group exercises and role playing), and discussion in large groups was developed with the aim of improving the ability of oncologists to detect emotional disturbances in cancer patients (ie, depression, anxiety, and adjustment disorders). RESULTS: A total of 30 oncologists from 3 Southern European countries (Italy, Portugal, and Spain) participated in the workshop. The training course was well accepted by most participants who expressed general satisfaction and a positive subjective perception of the utility of the course for clinical practice. Of the total participants, 28 physicians (93.3%) thought that had they been exposed to this material sooner, they would have incorporated the techniques received in the workshop into their practices; 2 participants stated they would likely have done so. Half of the doctors (n = 15) believed that their clinical communication techniques were improved by participating in the workshop, and the remaining half thought that their abilities to communicate with cancer patients had improved. CONCLUSIONS: This model is a feasible approach for oncologists and is easily applicable to various oncology settings. Further studies will demonstrate the effectiveness of this method for improving oncologists skills in recognizing emotional disorders in their patients with cancer.

Formação em Gestão de Risco e Segurança do Doente

A Gestão do Risco define-se como a cultura, processos e estruturas que sustentam a gestão efetiva de potenciais oportunidades e efeitos adversos, implicando a definição e a utilização de vários instrumentos que permitem a identificação e a avaliação dos riscos (gestão de risco proactiva) e a deteção e análise de incidentes (gestão de risco reativa). A premência de disponibilizar formação sobre Gestão do Risco e Segurança do Doente a todos os profissionais do Centro Hospitalar de Lisboa Central (CHLC), criou a necessidade de encontrar múltiplas estratégias que permitam alcançar este objetivo. Desta forma a Equipa de Gestão do Risco do CHCL estabeleceu um programa de formação sobre este tema de forma a dar resposta às necessidades de formação neste âmbito em todas as áreas profissionais. Este programa de formação é realizado nos moldes tradicionais de ensino/aprendizagem com obrigatoriedade presencial, constando-se a necessidade de promover outras estratégias de formação modernas que atinjam o máximo de profissionais possível. Uma destas estratégias passa pelo planeamento e organização de formação e-learning nesta área com a finalidade de potencializar um modelo de ensino/aprendizagem não presencial.

In situ measured cross section geometry of old timber structures and its influence on structural safety

Old timber structures may show significant variation in the cross section geometry along the same element, as a result of both construction methods and deterioration. As consequence, the definition of the geometric parameters in situ may be both time consuming and costly. This work presents the results of inspections carried out in different timber structures. Based on the obtained results, different simplified geometric models are proposed in order to efficiently model the geometry variations found. Probabilistic modelling techniques are also used to define safety parameters of existing timber structures, when subjected to dead and live loads, namely self-weight and wind actions. The parameters of the models have been defined as probabilistic variables, and safety of a selected case study was assessed using the Monte Carlo simulation technique. Assuming a target reliability index, a model was defined for both the residual cross section and the time dependent deterioration evolution. As a consequence, it was possible to compute probabilities of failure and reliability indices, as well as, time evolution deterioration curves for this structure. The results obtained provide a proposal for definition of the cross section geometric parameters of existing timber structures with different levels of decay, using a simplified probabilistic geometry model and considering a remaining capacity factor for the decayed areas. This model can be used for assessing the safety of the structure at present and for predicting future performance.

Safety function analysis in an industrial production process

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