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.

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.

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.

Práticas de gestão de recursos humanos: um estudo na indústria turística em Portugal

O Turismo em Portugal traduz uma das grandes apostas a nível económico e financeiro. Com o aumento da procura no Turismo Português e com a grande competitividade existente é imperativo, que a qualidade e a diferenciação dos produtos e dos serviços seja decisiva para a supervivência de muitos empreendimentos. Não só implica a prestação de serviços mas também a importância dos colaboradores nas organizações, passe a ser valorizada para o crescimento da organização. A análise de questões relacionadas com a Práticas de Recursos Humanos tem vindo a ter uma grande importância no sector organizacional, uma vez que é através delas que se reflete a natureza da organização e a sua consequente vantagem competitiva. Assim, torna-se impreterível que a Gestão de Recursos Humanos seja eficaz e eficiente, baseada em práticas e sistemas diferenciadores no mercado. Isto é, a Gestão de Recursos Humanos trata fundamentalmente a articulação e o ajustamento entre as pessoas que trabalham na organização e as necessidades que esta tem, assegurando a total utilização dos recursos humanos disponíveis (Bilhim, 2007). É sobre estas perspetivas que este estudo se debruça, tendo como principal objetivo caracterizar quais as práticas de gestão de recursos humanos, Estratégicas ou Tradicionais, existentes nos empreendimentos turísticos em Portugal. Os resultados demonstram que as PGRH Estratégicas predominantes são (1) a Comunicação e Partilha de Informação, (2) a Melhoria das Condições de Trabalho (3) e a Participação e Envolvimento dos Trabalhadores. Como PGRH mais Tradicionais os resultados apresentam como principais práticas a (1) Higiene e Segurança no Trabalho, (2) a Contratação (3) e a Formação Profissional.