Formal verification of safety protocol in train control system

In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verification of the safety protocols may be formidable due to the system complexity. In this paper, interface automata (IA) are used to describe the safety service interface behaviors of safety communication protocol. A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN. A case study of using this method to describe and verify a safety communication protocol is included. The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks, livelocks and several mandatory consistency properties. A prototype of safety protocols is also developed based on the presented formally verifying method.

Individual and Organizational Factors Influencing Technology Adoption for Construction Safety

Thesis (Master's)--University of Washington, 2016-06

Clinical communication and adverse health events: literature review

Abstract Health institutions have an increased risk of occurrence of errors due to their diversity, specificity and volume of services, representing a great concern for health professionals whose main function is to protect the health and lives of their patients. We intend to identify a body of evidence, that shows what the most common adverse events are and what adverse events potentially arise from clinical miscommunications. An integrative literature review using the keywords "Adverse Events", "Patient Safety", "Communication". An inquiry was made on databases PubMed, Web of Science, Scielo and CINAHL, in articles published between January 2010 and March 2016, available in Portuguese and English. Of the 216 articles that emerged were selected eight articles that answered the research questions: what are the most common adverse events that have their origin in communication errors? Analyzing the selected studies, it appears that the most common adverse events arise in the context of obstetrics and pediatrics, in surgical contexts, in the continuity of care and related medication. Patient safety should be seen as a key component of quality in health care, with good management of the risk of fundamental error for the promotion of this security. The knowledge and understanding that communication failures are one of the main factors contributing to the occurrence of errors in the context of health care, allows the subsequent development of strategies to improve this process and thus ensure safer healthcare.

Comunicação em saúde e a segurança do doente: problemas e desafios

A segurança do doente constitui um dos grandes desafios dos cuidados de saúde do séc. XXI. O reconhecimento da ocorrência de erros ou acidentes adversos com consequências gravosas para os doentes e para as instituições de saúde, levou, recentemente, a Organização Mundial de Saúde (OMS) a nomear comissões centradas na identificação de situações de risco e na elaboração de soluções que possam servir de recurso para a prevenção dessas situações. O resultado dos trabalhos destas comissões tornou evidente a importância da comunicação como determinante da qualidade e da segurança na prestação de cuidados. Neste artigo é abordada a problemática da comunicação em saúde e a sua relação com a segurança do doente, identificados problemas e apontadas algumas pistas para a sua prevenção. São especificamente referidos os principais problemas de comunicação entre os profissionais de saúde (nas passagens de turno e nas equipas de saúde) e entre estes profissionais e os doentes.

Turvallisuusjohtamisen muutoksen suunnittelu

Tässä diplomityössä selvitetään Stora Enso Oyj:n henkilöstön näkemyksiä uudesta turvallisuusjohtamisen mallista, jonka vaiheittainen käyttöön otto aloitettiin vuoden 2012 alussa. Uusi turvallisuusjohtamisen malli koostuu kymmenestä turvallisuuden työkalusta ja neljästä turvallisuusohjelmasta, joiden tarkoituksena on muuttaa organisaation turvallisuuskulttuuria ja saavuttaa nollatapaturmatavoite. Työssä selvitetään ensin muutosjohtamisen teorioiden avulla, mitä tulisi ottaa huomioon, jotta muutos saadaan vietyä onnistuneesti läpi koko organisaatiossa; kuinka muutos tulisi suunnitella, kuinka siitä pitäisi viestiä organisaatiolle ja kuinka muutoksen käytännön toteutus tulisi tehdä. Lisäksi teorioiden avulla selvitetään, millaisia haasteita muutos sisältää ja miten muutos koetaan organisaatiossa. Työn kokeellinen osuus koostuu henkilökohtaisista haastatteluista, jotka tehtiin Stora Enso Oyj:n Imatran, Veitsiluodon, Skutskärin ja Riian tehtailla. Haastattelujen tuloksena saatiin tietoa uuden turvallisuusjohtamismallin suurimmista haasteista sekä asioista, joihin tulisi erityisesti panostaa, jotta muutoksen toteutus onnistuisi. Uuden turvallisuusjohtamismallin työkalujen käyttöönotto tulisi suunnitella huolellisesti ja kouluttaa henkilöstöä niiden käyttöön. Henkilöstöllä olisi oltava mahdollisuus osallistua muutoksen suunnitteluun ja toteutukseen, jotta muutosvastarinta pysyisi vähäisenä. Johdon ja esimiesten merkitys muutoksessa on tärkeää ja heidän tulisi toimia esimerkkinä henkilöstölle sekä ohjata, seurata ja valvoa, että uusia toimintamalleja pidetään yllä ja ohjeita noudatetaan. Esimiesten huoli kasvavasta työkuormasta on myös syytä huomioida ja johdon tulisi antaa heille tukea ja kannustusta.

Evaluación de intervención de alertas para riesgo cardiovascular por diclofenaco en afiliados al régimen contributivo 2014 -2015

El objetivo fue evaluar la intervención de las alertas en la prescripción de diclofenaco. Estudio observacional, comparativo, post intervención, de un antes después, en pacientes con prescripción de diclofenaco. Se evaluó la intervención de las alertas restrictivas antes y después de su implementación en los pacientes prescritos con diclofenaco y que tenían asociado un diagnóstico de riesgo cardiovascular según CIE 10 o eran mayores de 65 años. Un total de 315.135 transacciones con prescripción de diclofenaco, en 49.355 pacientes promedio mes. El 94,8% (298.674) de las transacciones fueron prescritas por médicos generales.

Checklist de cirurgia segura: análise da segurança e comunicação das equipes de um hospital escola

Este estudo teve como objetivo aplicar o checklist de cirurgia segura, da Organização Mundial de Saúde, nas especialidades cirúrgicas de um hospital escola, e verificar a opinião das equipes sobre a influência da aplicação do checklist na segurança do processo cirúrgico e da comunicação interpessoal da equipe. Trata-se de um estudo de campo, descritivo, analítico, com abordagem qualitativa, realizado no centro cirúrgico de um hospital-escola. Para a coleta de dados, foi aplicado o checklist num total de 30 cirurgias, conduzido pela pesquisadora, em três etapas, e, a seguir, um componente da equipe cirúrgica foi convidado a participar do estudo, assinando o TCLE e respondendo a questões norteadoras. Para organização e análise dos dados, recorremos ao Método de Análise de Conteúdo de Bardin. Os sujeitos não perceberam mudanças na comunicação interpessoal com o uso do checklist, porém, indicaram que o uso proporcionou mais segurança ao procedimento. Adaptações ao checklist foram sugeridas.

Social Skills Training in Flight Schools: A Proactive Tool for Management of Threats and Risks

Safety Management Systems in aviation generate training programs that develop skills needed to perform safety functions. The objective of this study is to show that, in groups, individuals need to have interpersonal skills and, in particular, ability to communicate with others, to listen, and to influence. It is for this reason that Social Skills Training is important in Aviation. Professionals trained in social skills are more likely to identify threats and risks caused by interpersonal situations, be assertive, and take appropriate action. As a contribution, this paper suggests a set of policies, procedures and practices for educating and training future professionals who will work in aviation safety.

Communication barriers in counselling foreign-language patients in public pharmacies: threats to patient safety?

Foreign-language (FL) patients are at increased risk for adverse drug events. Evidence regarding communication barriers and the safety of pharmaceutical care of FL patients in European countries is scarce despite large migrant populations.

HEALTH AND SAFETY ISSUES IN THE WORKPLACE: THE CASE OF CAMEROON TEA ESTATE (CTE), A RISK COMMUNICATION APPROACH

In 2002, motivated largely by the uncontested belief that the private sector would operate more efficiently than the government, the government of Cameroon initiated a major effort to privatize some of Cameroon’s largest, state-run industries. One of the economic sectors affected by this privatization was tea production. In October 2002, the Cameroon Tea Estate (CTE), a privately owned, tea-cultivating organization, bought the Tole Tea Estate from the Cameroon Development Corporation (CDC), a government-owned entity. This led to an increase in the quantity of tea production; however, the government and CTE management appear not to have fully considered the risks of privatization. Using classical rhetorical theory, Richard Weaver’s conception of “god terms” (or “uncontested terms”), and John Ikerd’s ethical approach to risk communication, this study examines risks to which Tole Tea Estate workers were exposed and explores rhetorical strategies that workers employed in expressing their discontent. Sources for this study include online newspapers, which were selected on the basis of their reputation and popularity in Cameroon. Analysis of the data shows that, as a consequence of privatization, Tole Tea Estate workers were exposed to three basic risks: marginalization, unfulfilled promises, and poor working conditions. Workers’ reactions to these risks tended to grow more emotional as management appeared to ignore their demands. The study recommends that respect for labor law, constructive dialogue among stakeholders, and transparency might serve as guiding principles in responding to the politics of privatization in developing countries.