Development process and initial validation of the ethical conflict in nursing questionnaire-critical care version

Background: Ethical conflicts are arising as a result of the growing complexity of clinical care, coupled with technological advances. Most studies that have developed instruments for measuring ethical conflict base their measures on the variables"frequency" and"degree of conflict". In our view, however, these variables are insufficient for explaining the root of ethical conflicts. Consequently, the present study formulates a conceptual model that also includes the variable"exposure to conflict", as well as considering six"types of ethical conflict". An instrument was then designed to measure the ethical conflicts experienced by nurses who work with critical care patients. The paper describes the development process and validation of this instrument, the Ethical Conflict in Nursing Questionnaire Critical Care Version (ECNQ-CCV). Methods: The sample comprised 205 nursing professionals from the critical care units of two hospitals in Barcelona (Spain). The ECNQ-CCV presents 19 nursing scenarios with the potential to produce ethical conflict in the critical care setting. Exposure to ethical conflict was assessed by means of the Index of Exposure to Ethical Conflict (IEEC), a specific index developed to provide a reference value for each respondent by combining the intensity and frequency of occurrence of each scenario featured in the ECNQ-CCV. Following content validity, construct validity was assessed by means of Exploratory Factor Analysis (EFA), while Cronbach"s alpha was used to evaluate the instrument"s reliability. All analyses were performed using the statistical software PASW v19. Results: Cronbach"s alpha for the ECNQ-CCV as a whole was 0.882, which is higher than the values reported for certain other related instruments. The EFA suggested a unidimensional structure, with one component accounting for 33.41% of the explained variance. Conclusions: The ECNQ-CCV is shown to a valid and reliable instrument for use in critical care units. Its structure is such that the four variables on which our model of ethical conflict is based may be studied separately or in combination. The critical care nurses in this sample present moderate levels of exposure to ethical conflict. This study represents the first evaluation of the ECNQ-CCV.

Premature Discontinuation of Randomized Trials in Critical and Emergency Care: A Retrospective Cohort Study.

OBJECTIVES: Randomized clinical trials that enroll patients in critical or emergency care (acute care) setting are challenging because of narrow time windows for recruitment and the inability of many patients to provide informed consent. To assess the extent that recruitment challenges lead to randomized clinical trial discontinuation, we compared the discontinuation of acute care and nonacute care randomized clinical trials. DESIGN: Retrospective cohort of 894 randomized clinical trials approved by six institutional review boards in Switzerland, Germany, and Canada between 2000 and 2003. SETTING: Randomized clinical trials involving patients in an acute or nonacute care setting. SUBJECTS AND INTERVENTIONS: We recorded trial characteristics, self-reported trial discontinuation, and self-reported reasons for discontinuation from protocols, corresponding publications, institutional review board files, and a survey of investigators. MEASUREMENTS AND MAIN RESULTS: Of 894 randomized clinical trials, 64 (7%) were acute care randomized clinical trials (29 critical care and 35 emergency care). Compared with the 830 nonacute care randomized clinical trials, acute care randomized clinical trials were more frequently discontinued (28 of 64, 44% vs 221 of 830, 27%; p = 0.004). Slow recruitment was the most frequent reason for discontinuation, both in acute care (13 of 64, 20%) and in nonacute care randomized clinical trials (7 of 64, 11%). Logistic regression analyses suggested the acute care setting as an independent risk factor for randomized clinical trial discontinuation specifically as a result of slow recruitment (odds ratio, 4.00; 95% CI, 1.72-9.31) after adjusting for other established risk factors, including nonindustry sponsorship and small sample size. CONCLUSIONS: Acute care randomized clinical trials are more vulnerable to premature discontinuation than nonacute care randomized clinical trials and have an approximately four-fold higher risk of discontinuation due to slow recruitment. These results highlight the need for strategies to reliably prevent and resolve slow patient recruitment in randomized clinical trials conducted in the critical and emergency care setting.

Are alcohol outlet densities strongly associated with alcohol-related outcomes? A critical review of recent evidence.

ISSUES: There have been reviews on the association between density of alcohol outlets and harm including studies published up to December 2008. Since then the number of publications has increased dramatically. The study reviews the more recent studies with regard to their utility to inform policy. APPROACH: A systematic review found more than 160 relevant studies (published between January 2009 and October 2014). The review focused on: (i) outlet density and assaultive or intimate partner violence; (ii) studies including individual level data; or (iii) 'natural experiments'. KEY FINDINGS: Despite overall evidence for an association between density and harm, there is little evidence on causal direction (i.e. whether demand leads to more supply or increased availability increases alcohol use and harm). When outlet types (e.g. bars, supermarkets) are analysed separately, studies are too methodologically diverse and partly contradictory to permit firm conclusions besides those pertaining to high outlet densities in areas such as entertainment districts. Outlet density commonly had little effect on individual-level alcohol use, and the few 'natural experiments' on restricting densities showed little or no effects. IMPLICATIONS AND CONCLUSIONS: Although outlet densities are likely to be positively related to alcohol use and harm, few policy recommendations can be given as effects vary across study areas, outlet types and outlet cluster size. Future studies should examine in detail outlet types, compare different outcomes associated with different strengths of association with alcohol, analyse non-linear effects and compare different methodologies. Purely aggregate-level studies examining total outlet density only should be abandoned. [Gmel G, Holmes J, Studer J. Are alcohol outlet densities strongly associated with alcohol-related outcomes? A critical review of recent evidence. Drug Alcohol Rev 2015].

Image guided critical screw placement precision in the cervical spine : important or incidental? : results of a series of 91 consecutive cases using OVEM

Study design: A retrospective study of image guided cervical implant placement precision. Objective: To describe a simple and precise classification of cervical critical screw placement. Summary of Background Data: "Critical" screw placement is defined as implant insertion into a bone corridor which is surrounded circumferentially by neurovascular structures. While the use of image guidance has improved accuracy, there is currently no classification which provides sufficient precision to assess the navigation success of critical cervical screw placement. Methods: Based on postoperative clinical evaluation and CT imaging, the orthogonal view evaluation method (OVEM) is used to classify screw accuracy into grade I (no cortical breach), grade la (screw thread cortical breach), grade II (internal diameter cortical breach) and grade III (major cortical breach causing neural or vascular injury). Grades II and III are considered to be navigation failures, after accounting for bone corridor / screw mismatch (minimal diameter of targeted bone corridor being smaller than an outer screw diameter). Results: A total of 276 screws from 91 patients were classified into grade I (64.9%), grade la (18.1%), and grade II (17.0%). No grade III screw was observed. The overall rate of navigation failure was 13%. Multiple logistic regression indicated that navigational failure was significantly associated with the level of instrumentation and the navigation system used. Navigational failure was rare (1.6%) when the margin around the screw in the bone corridor was larger than 1.5 mm. Conclusions: OVEM evaluation appears to be a useful tool to assess the precision of critical screw placement in the cervical spine. The OVEM validity and reliability need to be addressed. Further correlation with clinical outcomes will be addressed in future studies.

The cutting of cocaine and heroin: a critical review

The illicit drug cutting represents a complex problem that requires the sharing of knowledge from addiction studies, toxicology, criminology and criminalistics. Therefore, cutting is not well known by the forensic community. Thus, this review aims at deciphering the different aspects of cutting, by gathering information mainly from criminology and criminalistics. It tackles essentially specificities of cocaine and heroin cutting. The article presents the detected cutting agents (adulterants and diluents), their evolution in time and space and the analytical methodology implemented by forensic laboratories. Furthermore, it discusses when, in the history of the illicit drug, cutting may take place. Moreover, researches studying how much cutting occurs in the country of destination are analysed. Lastly, the reasons for cutting are addressed. According to the literature, adulterants are added during production of the illicit drug or at a relatively high level of its distribution chain (e.g. before the product arrives in the country of destination or just after its importation in the latter). Their addition seems hardly justified by the only desire to increase profits or to harm consumers' health. Instead, adulteration would be performed to enhance or to mimic the illicit drug effects or to facilitate administration of the drug. Nowadays, caffeine, diltiazem, hydroxyzine, levamisole, lidocaïne and phenacetin are frequently detected in cocaine specimens, while paracetamol and caffeine are almost exclusively identified in heroin specimens. This may reveal differences in the respective structures of production and/or distribution of cocaine and heroin. As the relevant information about cutting is spread across different scientific fields, a close collaboration should be set up to collect essential and unified data to improve knowledge and provide information for monitoring, control and harm reduction purposes. More research, on several areas of investigation, should be carried out to gather relevant information.

Thermal-Hydraulic Studies on the Safety Of VVER-440 Type Nuclear Power Plants

This thesis includes several thermal hydraulic analyses related to the Loviisa WER 440 nuclear power plant units. The work consists of experimental studies, analysis of the experiments, analysis of some plant transits and development of a calculational model for calculation of boric acid concentrations in the reactor. In the first part of the thesis, in the case of won of boric acid solution behaviour during long term cooling period of LOCAs, experiments were performed in scaled down test facilities. The experimental data together with the results of RELAPS/MOD3 simulations were used to develop a model for calculations of boric acid concentrations in the reactor during LOCAs. The results of calculations showed that margins to critical concentrations that would lead to boric acid crystallization were large, both in the reactor core and in the lower plenum. This was mainly caused by the fact that water in the primary cooling circuit includes borax (Na)BsO,.IOHZO), which enters the reactor when ECC water is taken from the sump and greatly increases boric acid solubility in water. In the second part, in the case of simulation of horizontal steam generators, experiments were performed with PACTEL integral test loop to simulate loss of feedwater transients. The PACTEL experiments, as well as earlier REWET III natural circulation tests, were analyzed with RELAPS/MOD3 Version Sm5 code. The analysis showed that the code was capable of simulating the main events during the experiments. However, in the case of loss of secondary side feedwater the code was not completely capable to simulate steam superheating in the secondary side of the steam generators. The third part of the work consists of simulations of Loviisa VVER reactor pump trip transients with RELAPSlMODI Eur, RELAPS/MOD3 and CATHARE codes. All three codes were capable to simulate the two selected pump trip transients and no significant differences were found between the results of different codes. Comparison of the calculated results with the data measured in the Loviisa plant also showed good agreement.

Distribution and role of macrophytes in coastal lagoons : implications of critical shifts

Crossroads, crucibles and refuges are three words that may describe natural coastal lagoon environments. The words refer to the complex mix of marine and terrestrial influences, prolonged dilution due to the semi-enclosed nature and the function of a habitat for highly diverse plant and animal communities, some of which are endangered. To attain a realistic picture of the present situation, high vulnerability to anthropogenic impact should be added to the description. As the sea floor in coastal lagoons is usually entirely photic, macrophyte primary production is accentuated compared with open sea environments. There is, however, a lack of proper knowledge on the importance of vegetation for the general functioning of coastal lagoon ecosystems. The aim of this thesis is to assess the role of macrophyte diversity, cover and species identity over temporal and spatial scales for lagoon functions, and to determine which steering factors primarily restrict the qualitative and quantitative composition of vegetation in coastal lagoons. The results are linked to patterns of related trophic levels and the indicative potential of vegetation for assessment of general conditions in coastal lagoons is evaluated. This thesis includes five field studies conducted in flads and glo-flads in the brackish water northern Baltic Sea. Flads and glo-flads are defined as a Baltic variety of coastal lagoons, which due to an inlet threshold and post-glacial landuplift slowly will be isolated from the open sea. This process shrinks inlet size, increases exposure and water retention, and is called habitat isolation. The studied coastal lagoons are situated in the archipelago areas of the eastern coast of Sweden, the Åland Islands and the south-west mainland of Finland, where land-uplift amounts to ca. 5 mm/ per year. Out of 400 evaluated sites, a total of 70 lagoons varying in inlet size, archipelago position and anthropogenic influence to cover for essential environmental variation were chosen for further inventory. Vegetation composition, cover and richness were measured together with several hydrographic and morphometric variables in the lagoons both seasonally and inter-annually to cover for general regional, local and temporal patterns influencing lagoon and vegetation development. On smaller species-level scale, the effects of macrophyte species identity and richness for the fish habitat function were studied by examining the influence of plant interaction on juvenile fish diversity. Thus, the active election of plant monoand polycultures by fish and the diversity of fish in the respective culture were examined and related to plant height and water depth. The lagoons and vegetation composition were found to experience a regime shift initiated by increased habitat isolation along with land-uplift. Vegetation composition altered, richness decreased and cover increased forming a less isolated and more isolated regime, named the vascular plant regime and charophyte regime, respectively according to the dominant vegetation. As total phosphorus in the water, turbidity and the impact of regional influences decreased in parallel, the dominance of charophytes and increasing cover seemed to buffer and stabilize conditions in the charophyte regime and indicated an increased functional role of vegetation for the lagoon ecosystem. The regime pattern was unaffected by geographical differences, while strong anthropogenic impact seemed to distort the pattern due to loss of especially Chara tomentosa L. in the charophyte regime. The regimes were further found unperturbed by short-time temporal fluctuations. In fact the seasonal and inter-annual dynamics reinforced the functional difference between the regimes by the increasing role of vegetation along habitat isolation and the resemblance to lake environments for the charophyte regime. For instance, greater total phosphorus and chlorophyll a concentrations in the water in the beginning of the season in the charophyte regime compared with the vascular plant regime presented a steeper reduction to even lower values than in the vascular plant regime along the season. Despite a regional importance and positive relationship of macrophyte diversity in relation to trophic diversity, species identity was underlined in the results of this thesis, especially with decreasing spatial scale. This result was supported partly by the increased role of charophytes in the functioning of the charophyte regime, but even more explicitly by the species-specific preference of juvenile fish for tall macrophyte monocultures. On a smaller species-level scale, tall plant species in monoculture seemed to be able to increase their length, indicating that negative selection forms preferred habitat structures, which increase fish diversity. This negative relationship between plant and fish diversity suggest a shift in diversity patterns among trohic levels on smaller scale. Thus, as diversity patterns seem complex and diverge among spatial scales, it might be ambiguous to extend the understanding of diversity relationships from one trophic level to the other. All together, the regime shift described here presents similarities to the regime development in marine lagoon environments and shallow lakes subjected to nutrient enrichment. However, due to nutrient buffering by vegetation with increased isolation and water retention as a consequence of the inlet threshold, the development seems opposite to the course along an eutrophication gradient described in marine lagoons lacking an inlet threshold, where the role of vegetation decreases. Thus, the results imply devastating consequences of inlet dredging (decreasing isolation) in terms of vegetation loss and nutrient release, and call for increased conservational supervision. Especially the red listed charophytes would suffer negatively from such interference and the consequences are likely to also deteriorate juvenile fish production. The fact that a new species to Finland, Chara connivens Salzm. Ex. Braun 1835 was discovered during this study further indicates a potential of the lagoons serving as refuges for rare species.

Finnish Critical Industries, Maritime Transport Vulnerabilities and societal Implications

Maritime transports are very essential for Finland as over 80% of the foreign trade in the country is seaborne and possibilities to carry out these transports by are limited. Any disruption in maritime transports has negative consequences to many sectors in the Finnish economy. Maritime transport thus represents critical infrastructure for Finland. This report focuses on the importance of maritime transports on security of supply in Finland and for the so called critical industries in particular. The report summarizes the results of the Work Package 2 of the research project STOCA – “Study of cargo flows in the Gulf of Finland in emergency situations”. The aim of the research was to analyze the cargo flows and infrastructure that are vital for maintaining security of supply in Finland, as well as the consequences of disruptions in the maritime traffic for the Finnish critical industries and for the Finnish society. In the report we give a presentation of the infrastructure and transport routes which are critical for maintaining security of supply in Finland. We discuss import dependency of the critical industries, and the importance of the Gulf of Finland ports for Finland. We assess vulnerabilities associated with the critical material flows of the critical industries, and possibilities for alternative routings in case either one or several of the ports in Finland would be closed. As a concrete example of a transport disruption we analyze the consequences of the Finnish stevedore strike at public ports (4.3.–19.3.2010). The strike stopped approximately 80% of the Finnish foreign trade. As a result of the strike Finnish companies could not export their products and/or import raw materials, components and spare parts, or other essential supplies. We carried out personal interviews with representatives of the companies in Finnish critical industries to find out about the problems caused by the strike, how companies carried out they transports and how they managed to continue their operations during the strike. Discussions with the representatives of the companies gave us very practical insights about companies’ preparedness towards transport disruptions in general. Companies in the modern world are very vulnerable to transport disruptions because companies regardless of industries have tried to improve their performance by optimizing their resources and e.g. by reducing their inventory levels. At the same time they have become more and more dependent on continuous transports. Most companies involved in foreign trade have global operations and global supply chains, so any disruption anywhere in the world can have an impact on the operations of the company causing considerable financial loss. The volcanic eruption in Iceland in April 2010 stopping air traffic in the whole Northern Europe and most recently the earth quake causing a tsunami in Japan in March 2011 are examples of severe disruptions causing considerable negative impacts to companies’ supply chains. Even though the Finnish stevedore strike was a minor disruption compared to the natural catastrophes mentioned above, it showed the companies’ vulnerability to transport disruptions very concretely. The Finnish stevedore strike gave a concrete learning experience of the importance of preventive planning for all Finnish companies: it made them re-think their practical preparedness towards transport risks and how they can continue with their daily operations despite the problems. Many companies realized they need to adapt their long-term countermeasures against transport disruptions. During the strike companies did various actions to secure their supply chains. The companies raised their inventory levels before the strike began, they re-scheduled or postponed their deliveries, shifted customer orders between production plants among their company’s production network or in the extreme case bought finished products from their competitor to fulfil their customers’ order. Our results also show that possibilities to prepare against transport disruptions differ between industries. The Finnish society as a whole is very dependent on imports of energy, various raw materials and other supplies needed by the different industries. For many of the Finnish companies in the export industries and e.g. in energy production maritime transport is the only transport mode the companies can use due to large volumes of materials transported or due to other characteristics of the goods. Therefore maritime transport cannot be replaced by any other transport mode. In addition, a significant amount of transports are concentrated in certain ports. From a security of supply perspective attention should be paid to finding ways to decrease import dependency and ensuring that companies in the critical industries can ensure the continuity of their operations.

Competence in intensive and critical care nursing - development of a basic assessment scale for graduating nursing students

Intensive and critical care nursing is a speciality in its own right and with its own nature within the nursing profession. This speciality poses its own demands for nursing competencies. Intensive and critical care nursing is focused on severely ill patients and their significant others. The patients are comprehensively cared for, constantly monitored and their vital functions are sustained artificially. The main goal is to win time to cure the cause of the patient’s situation or illness. The purpose of this empirical study was i) to describe and define competence and competence requirements in intensive and critical care nursing, ii) to develop a basic measurement scale for competence assessment in intensive and critical care nursing for graduating nursing students, and iii) to describe and evaluate graduating nursing students’ basic competence in intensive and critical care nursing by seeking the reference basis of self-evaluated basic competence in intensive and critical care nursing from ICU nurses. However, the main focus of this study was on the outcomes of nursing education in this nursing speciality. The study was carried out in different phases: basic exploration of competence (phase 1 and 2), instrumentation of competence (phase 3) and evaluation of competence (phase 4). Phase 1 (n=130) evaluated graduating nursing students’ basic biological and physiological knowledge and skills for working in intensive and critical care with Basic Knowledge Assessment Tool version 5 (BKAT-5, Toth 2012). Phase 2 focused on defining competence in intensive and critical care nursing with the help of literature review (n=45 empirical studies) as well as competence requirements in intensive and critical care nursing with the help of experts (n=45 experts) in a Delphi study. In phase 3 the scale Intensive and Critical Care Nursing Competence Scale (ICCN-CS) was developed and tested twice (pilot test 1: n=18 students and n=12 nurses; pilot test 2: n=56 students and n=54 nurses). Finally, in phase 4, graduating nursing students’ competence was evaluated with ICCN-CS and BKAT version 7 (Toth 2012). In order to develop a valid assessment scale of competence for graduating nursing students and to evaluate and establish the competence of graduating nursing students, empirical data were retrieved at the same time from both graduating nursing students (n=139) and ICU nurses (n=431). Competence can be divided into clinical and general professional competence. It can be defined as a specific knowledge base, skill base, attitude and value base and experience base of nursing and the personal base of an intensive and critical care nurse. Personal base was excluded in this self-evaluation based scale. The ICCN-CS-1 consists of 144 items (6 sum variables). Finally, it became evident that the experience base of competence is not a suitable sum variable in holistic intensive and critical care competence scale for graduating nursing students because of their minor experience in this special nursing area. ICCN-CS-1 is a reliable and tolerably valid scale for use among graduating nursing students and ICU nurses Among students, basic competence of intensive and critical care nursing was self-rated as good by 69%, as excellent by 25% and as moderate by 6%. However, graduating nursing students’ basic biological and physiological knowledge and skills for working in intensive and critical care were poor. The students rated their clinical and professional competence as good, and their knowledge base and skill base as moderate. They gave slightly higher ratings for their knowledge base than skill base. Differences in basic competence emerged between graduating nursing students and ICU nurses. The students’ self-ratings of both their basic competence and clinical and professional competence were significantly lower than the nurses’ ratings. The students’ self-ratings of their knowledge and skill base were also statistically significantly lower than nurses’ ratings. However, both groups reported the same attitude and value base, which was excellent. The strongest factor explaining students’ conception of their competence was their experience of autonomy in nursing. Conclusions: Competence in intensive and critical care nursing is a multidimensional concept. Basic competence in intensive and critical care nursing can be measured with self-evaluation based scale but alongside should be used an objective evaluation method. Graduating nursing students’ basic competence in intensive and critical care nursing is good but their knowledge and skill base are moderate. Especially the biological and physiological knowledge base is poor. Therefore in future in intensive and critical care nursing education should be focused on both strengthening students’ biological and physiological knowledge base and on strengthening their overall skill base. Practical implications are presented for nursing education, practice and administration. In future, research should focus on education methods and contents, mentoring of clinical practice and orientation programmes as well as further development of the scale.

Nuss procedure for Pectus excavatum repair: critical appraisal of the evidence

Objective: To evaluate the effectiveness and safety of correction of pectus excavatum by the Nuss technique based on the available scientific evidence.Methods: We conducted an evidence synthesis following systematic processes of search, selection, extraction and critical appraisal. Outcomes were classified by importance and had their quality assessed by the Grading of Recommendations Assessment, Development and Evaluation (GRADE).Results: The process of selection of items led to the inclusion of only one systematic review, which synthesized the results of nine observational studies comparing the Nuss and Ravitch procedures. The evidence found was rated as poor and very poor quality. The Nuss procedure has increased the incidence of hemothorax (RR = 5.15; 95% CI: 1.07; 24.89), pneumothorax (RR = 5.26; 95% CI: 1.55; 17.92) and the need for reintervention (RR = 4.88; 95% CI: 2.41; 9.88) when compared to the Ravitch. There was no statistical difference between the two procedures in outcomes: general complications, blood transfusion, hospital stay and time to ambulation. The Nuss operation was faster than the Ravitch (mean difference [MD] = -69.94 minutes, 95% CI: -139.04, -0.83).Conclusion: In the absence of well-designed prospective studies to clarify the evidence, especially in terms of aesthetics and quality of life, surgical indication should be individualized and the choice of the technique based on patient preference and experience of the team.

Thermalhydraulic behavior of electrically heated rod during a critical heat flux transient

In nuclear reactors, the occurrence of critical heat flux leads to fuel rod overheating with clad fusion and radioactive products leakage. To predict the effects of such phenomenon, experiments are performed using electrically heated rods to simulate operational and accidental conditions of nuclear fuel rods. In the present work, it is performed a theoretical analysis of the drying and rewetting front propagation during a critical heat flux experiment, starting with the application of an electrical power step from steady state condition. After the occurrence of critical heat flux, the drying front propagation is predicted. After a few seconds, a power cut is considered and the rewetting front behavior is analytically observed. Studies performed with various values of coolant mass flow rate show that this variable has more influence on the drying front velocity than on the rewetting one.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Industry specific lifecycle services for process critical motors

This Master’s Thesis examines industrial service business and studies how Global Technical Support Center Finland, part of ABB Oy, can develop its lifecycle services based on availability related customer needs. Focus is in three most business critical industry segments OGP (Oil, Gas and Petrochemical), Power and Metals. The research was conducted as a qualitative case study, including literature review and empirical part. The literature review explores industrial service business, product lifecycle services and related customer needs, product effectiveness and maintenance. This study contains also characteristics of constructive research. Primary material was gathered through internal and external interviews. Both theme and semi-structured interviews were performed. This research has shown that customers have different needs depending of the industry segment where they operate. Most remarkable differences are related to maintenance schedules. The main outcomes of the study are the industry specific lifecycle service models that combine company recommendations with customer specific needs. Other development needs were related to proactivity, condition based monitoring, information sharing and lifecycle estimations.

The shifting terrain of feminist theory and activism : university-based women's centres and third wave feminism

This thesis, based on the results of an organizational ethnography of a university-based feminist organization in Southern Ontario (the Centre), traces how third wave feminism is being constituted in the goals, initiatives, mandate, organizational structure, and overall culture of university-based feminist organizations. I argue that, from its inception, the meanings and goals of the Centre have been contested through internal critique, reflection, and discussion inspired by significant shifts in feminist theory that challenge the fundamental principles of second wave feminism. I identify a major shift in the development and direction of the Centre that occurs in two distinct phases. The first phase of the shift occurs with the emergence of an antioppression framework, which broadens the Centre's mandate beyond gender and sexism to consider multiple axes of identity and oppression that affect women's lives. The second phase of this shift is characterized by a focus on (trans) inclusion and accessibility and has involved changing the Centre's name so that it is no longer identified as a women's centre in order to reflect more accurately its focus on mUltiple axes of identity and oppression. Along with identifying two phases of a major shift in the direction of the Centre, I trace two discourses about its development. The dominant discourse of the Centre's development is one of progress and evolution. The dominant discourse characterizes the Centre as a dynamic feminist organization that consistently strives to be more inclusive and diverse. The reverse discourse undermines the dominant discourse by emphasizing that, despite the Centre's official attempts to be inclusive and to build diversity, little has actually changed, leaving women of colour marginalized in the Centre's dominant culture of whiteness. This research reveals that, while many of their strategies have unintended (negative) consequences, members of the Centre are working to build an inclusive politics of resistance that avoids the mistakes of earlier feminist movements and organizations. These members, along with other activists, actively constitute third wave feminism in a process that is challenging, contradictory, and often painful. A critical analysis of this process and the strategies it involves provides an opportunity for activists to reflect on their experiences and develop new strategies in an effort to further struggles for social justice and equity.

Conversations with EFL teachers: toward an understanding of whiteness in the classroom /

Few teachers would question that teaching is a contextual and situational process, yet as Gay (2000) reminds us, too few teachers have sufficient knowledge of how teaching practices reflect dominant cultural values. This qualitative study explored whiteness in the EFL classroom and the relation between teacher identity and pedagogy. This research was shaped by the overarching research questions: How does being white influence teachers' educational practices? How can teachers successfully negotiate crosscultural teaching? Data included open-ended interviews, a content analysis of EFL training materials, and my research and personal journals. The experiences of five EFL teachers form the central focus of this study. My personal story, as a white EFL teacher, is also included throughout this thesis. This study offers a detailed description of the complex and dynamic ways in which these five teachers understood their racial identities, and the classroom decisions they made in response to their understandings. Included in the discussion are the strategies that my participants and I used to subtly resist the notion and exploration of racial privilege. Implications for teacher education programs and possible directions for further study are offered.