Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

The impact of safety politics in the current globalization context

The globalization is a process of economical, social, cultural and political integration motivated by the needs generated by a consumption-orientated society and a set of factors that have led to its development, such as reducing transport costs, the technological advancement and the development of communication networks. However, the phenomenon of globalization has been accompanied by increasing levels of insecurity as a result of various types of threats and transnational crimes that the International Community seeks to control and minimize. Throughout this work, we examined how the globalization process has been developing and how nations are able to maintain security levels consistent with their economical status and social development, without disturbing the normal course of organizations’ economical activity and the well-being of people. From the investigation developed we concluded that, besides the confirmation that economic integration and the opening of markets have influence on internal consumption, market globalization and migrations have been causing modifications in the consumption habits. We also concluded that the security measures implemented by States or by the International Community affect international trade, but do not imply disproportionate costs or significant delays in transactions. Likewise, we concluded that the control measures implemented in international trade are sufficient to ensure the safety of the people and nations, enabling us to confirm two of the three conjectures raised in this study.

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.

An investigation of safety design practices of metal machines

BACKGROUND: Machinery safety issues are a challenge facing manufacturers who are supposed to create and provide products in a better and faster way. In spite of their construction and technological advance, they still contribute to many potential hazards for operators and those nearby. OBJECTIVE: The aim of this study is to investigate safety aspects of metal machinery offered for sale on Internet market according to compliance with minimum and fundamental requirements. METHODS: The study was carried out with the application of a checklist prepared on the basis of Directive 2006/42/EC and Directive 2009/104/EC and regulations enforcing them into Polish law. RESULTS: On the basis of the study it was possible to reveal the safety aspects that were not met in practice. It appeared that in the case of minimum requirements the most relevant problems concerned information, signal and control elements, technology and machinery operations, whereas as far as fundamental aspects are concerned it was hard to assure safe work process. CONCLUSIONS: In spite of the fact that more and more legal acts binding in the Member Countries of the European Union are being introduced to alleviate the phenomenon, these regulations are often not fulfilled.

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.

Safety management of cranes on construction sites in Portugal: Critical factors of safety

The evolution of the construction caused a need to use more effective equipments, capable of meeting the increasingly demanding deadlines for the completion of works. In this context, the safety and efficiency of equipment have become key aspects in order to optimize the execution time of the works, as well as reducing labor costs and loss of materials. With the evolution of construction and construction processes, cranes have come to represent a signal of the construction of buildings, revealing to be, in most of the cases, the main equipment of construction sites. Currently, some engineers revels some apprehension regarding the use and handling of cranes which is natural and acceptable, since an equipment failure can lead to serious or fatal accidents. The factors affecting safety management of the cranes in construction sites were investigated, identified, classified and evaluated according to their degree of importance, through interviews with representatives of the general contractors of a set of selected construction sites.

Initial assessment of safety and clinical feasibility of irreversible electroporation in the focal treatment of prostate cancer.

BACKGROUND: To evaluate the safety and clinical feasibility of focal irreversible electroporation (IRE) of the prostate. METHODS: We assessed the toxicity profile and functional outcomes of consecutive patients undergoing focal IRE for localised prostate cancer in two centres. Eligibility was assessed by multi-parametric magnetic resonance imaging (mpMRI) and targeted and/or template biopsy. IRE was delivered under transrectal ultrasound guidance with two to six electrodes positioned transperineally within the cancer lesion. Complications were recorded and scored accordingly to the NCI Common Terminology Criteria for Adverse Events; the functional outcome was physician reported in all patients with at least 6 months follow-up. A contrast-enhanced MRI 1 week after the procedure was carried out to assess treatment effect with a further mpMRI at 6 months to rule out evidence of residual visible cancer. RESULTS: Overall, 34 patients with a mean age of 65 years (s.d.=±6) and a median PSA of 6.1 ng ml(-1) (interquartile range (IQR)= 4.3-7.7) were included. Nine (26%), 24 (71%) and 1 (3%) men had low, intermediate and high risk disease, respectively (D'Amico criteria). After a median follow-up of 6 months (range 1-24), 12 grade 1 and 10 grade 2 complications occurred. No patient had grade >/= 3 complication. From a functional point of view, 100% (24/24) patients were continent and potency was preserved in 95% (19/20) men potent before treatment. The volume of ablation was a median 12 ml (IQR=5.6-14.5 ml) with the median PSA after 6 months of 3.4 ng ml(-1) (IQR=1.9-4.8 ng ml(-1)). MpMRI showed suspicious residual disease in six patients, of whom four (17%) underwent another form of local treatment. CONCLUSIONS: Focal IRE has a low toxicity profile with encouraging genito-urinary functional outcomes. Further prospective development studies are needed to confirm the functional outcomes and to explore the oncological potential.

A gut feeling of the PXR, PPAR and NF-kappaB connection.

Bowel diseases reveal the complex interplay of sensing and signalling pathways in maintaining healthy homeostasis of the intestine. Recent studies of the xenobiotic nuclear receptor, pregnane X receptor and the inflammatory mediator nuclear transcription factor kappaB (NF-kappaB) reveal a functional link between xenobiotic neutralization and inflammation and explain how certain xenobiotics can affect the immune response. Furthermore, another nuclear receptor, peroxisome proliferator-activated receptor gamma (PPAR gamma) has been shown to produce beneficial effects in experimental inflammatory bowel diseases by repression of NF-kappaB thereby reducing inflammation, whilst its close relative PPAR beta/delta appears at a central position in signalling pathways involved in the progression of colon cancer. Recently accumulated knowledge on the action of these nuclear receptors and NF-kappaB in intestinal homeostasis may provide the rationale for the development of innovative treatment strategies with selective receptor modulators.

Evaluation of Safety Treatments for Roadside Culverts: TR-517, April 24, 2009

Roadside cross-drainage culverts have been found to impact vehicle accident injury levels. Designers have commonly used three safety treatments to protect errant drivers from culvert accidents. These treatments have included: culvert extension, guardrail installation and grating. In order to define which safety treatment is the most appropriate, benefit-cost analysis has used accident cost reduction to estimate societal gains earned by using any safety treatment. The purpose of this study was to estimate accident costs for a wide range of roadway and roadside characteristics so that designers can calculate benefit/cost ratios for culvert safety treatment options under any particular scenario. This study began with conducting a parametric study in order to find variables which have significant impact on accident cost changes. The study proceeded with highway scenario modeling which included scenarios with different values for combinations of roadway and roadside variables. These variables were chosen based upon findings from the parametric study and their values were assigned based upon highway classification. This study shows that the use of different culvert safety treatments should be flexible to roadway and roadside characteristics. It also shows that culvert extension and grating were the safety treatments found to produce the lowest accident costs for all highway scenarios modeled. Therefore, it is believed that the expanded adoption of culvert extension and culvert grates can improve overall highway safety.

Analysis of Safety Benefits for Shielding of Bridge Piers, 2009

The highway system in the State of Iowa includes many grade separation structures constructed to provide maximum safety and mobility to road users on intersecting roadways. However, these structures can present possible safety concerns for traffic passing underneath due to close proximity of piers and abutments. Shielding of these potential hazards has been a design consideration for many years. This study examines historical crash experience in the State of Iowa to address the advisability of shielding bridge piers and abutments as well as other structure support elements considering the offset from the traveled way. A survey of nine Midwestern states showed that six states had bridge pier shielding practices consistent with those in Iowa. Data used for the analyses include crash data (2001 to 2007) from the Iowa Department of Transportation (Iowa DOT), the Iowa DOT’s Geographic Information Management System (GIMS) structure and roadway data (2006) obtained from the Office of Transportation Data, and shielding and offset data for the bridges of interest. Additionally, original crash reports and the Iowa DOT video log were also utilized as needed. Grade-separated structures over high-speed, multilane divided Interstate and primary highways were selected for analysis, including 566 bridges over roadways with a speed limit of at least 45 mph. Bridges that met the criteria for inclusion in the study were identified for further analysis using crash data. The study also included economic analysis for possible shielding improvement.

Synthesis Study: Effectiveness of Safety Corridor Programs, Report on Tasks 1-3, 2008

This report synthesizes the safety corridor programs of 13 states that currently have some type of program: Alaska, California, Florida, Kentucky, Minnesota, New Jersey, New Mexico, New York, Ohio, Oregon, Pennsylvania, Virginia, and Washington. This synthesis can help Midwestern states implement their own safety corridor programs and select pilot corridors or enhance existing corridors. Survey and interview information about the states’ programs was gathered from members of each state department of transportation (DOT) and Federal Highway Administration (FHWA) division office. Topics discussed included definitions of a safety corridor; length and number of corridors in the program; criteria for selection of a corridor; measures of effectiveness of an implemented safety corridor; organizational structure of the program; funding and legislation issues; and engineering, education, enforcement, and emergency medical service strategies. Safety corridor programs with successful results were then examined in more detail, and field visits were made to Kansas, Oregon, Pennsylvania, and Washington for first-hand observations. With the survey and field visit information, several characteristics of successful safety corridor programs were identified, including multidisciplinary (3E and 4E) efforts; selection, evaluation, and decommissioning strategies; organization structure, champions, and funding; task forces and Corridor Safety Action Plans; road safety audits; and legislation and other safety issues. Based on the synthesis, the report makes recommendations for establishing and maintaining a successful safety corridor program.

Experimental thermal hydraulic studies on the enhancement of safety of LWRs

The safe use of nuclear power plants (NPPs) requires a deep understanding of the functioning of physical processes and systems involved. Studies on thermal hydraulics have been carried out in various separate effects and integral test facilities at Lappeenranta University of Technology (LUT) either to ensure the functioning of safety systems of light water reactors (LWR) or to produce validation data for the computer codes used in safety analyses of NPPs. Several examples of safety studies on thermal hydraulics of the nuclear power plants are discussed. Studies are related to the physical phenomena existing in different processes in NPPs, such as rewetting of the fuel rods, emergency core cooling (ECC), natural circulation, small break loss-of-coolant accidents (SBLOCA), non-condensable gas release and transport, and passive safety systems. Studies on both VVER and advanced light water reactor (ALWR) systems are included. The set of cases include separate effects tests for understanding and modeling a single physical phenomenon, separate effects tests to study the behavior of a NPP component or a single system, and integral tests to study the behavior of the whole system. In the studies following steps can be found, not necessarily in the same study. Experimental studies as such have provided solutions to existing design problems. Experimental data have been created to validate a single model in a computer code. Validated models are used in various transient analyses of scaled facilities or NPPs. Integral test data are used to validate the computer codes as whole, to see how the implemented models work together in a code. In the final stage test results from the facilities are transferred to the NPP scale using computer codes. Some of the experiments have confirmed the expected behavior of the system or procedure to be studied; in some experiments there have been certain unexpected phenomena that have caused changes to the original design to avoid the recognized problems. This is the main motivation for experimental studies on thermal hydraulics of the NPP safety systems. Naturally the behavior of the new system designs have to be checked with experiments, but also the existing designs, if they are applied in the conditions that differ from what they were originally designed for. New procedures for existing reactors and new safety related systems have been developed for new nuclear power plant concepts. New experiments have been continuously needed.

Domains of importance to the quality of life of older people from two Swiss regions

BACKGROUND: quality of life (QoL) is a subjective perception whose components may vary in importance between individuals. Little is known about which domains of QoL older people deem most important. OBJECTIVE: this study investigated in community-dwelling older people the relationships between the importance given to domains defining their QoL and socioeconomic, demographic and health status. METHODS: data were compiled from older people enrolled in the Lc65+ cohort study and two additional, population-based, stratified random samples (n = 5,300). Principal components analysis (PCA) was used to determine the underlying domains among 28 items that participants defined as important to their QoL. The components extracted were used as dependent variables in multiple linear regression models to explore their associations with socioeconomic, demographic and health status. RESULTS: PCA identified seven domains that older persons considered important to their QoL. In order of importance (highest to lowest): feeling of safety, health and mobility, autonomy, close entourage, material resources, esteem and recognition, and social and cultural life. A total of six and five domains of importance were significantly associated with education and depressive symptoms, respectively. The importance of material resources was significantly associated with a good financial situation (β = 0.16, P = 0.011), as was close entourage with living with others (β = 0.20, P = 0.007) and as was health and mobility with age (β = -0.16, P = 0.014). CONCLUSION: the importance older people give to domains of their QoL appears strongly related to their actual resources and experienced losses. These findings may help clinicians, researchers and policy makers better adapt strategies to individuals' needs.