Wyniki wyszukiwania - BazTech

1

Reference Abstract Domains and Applications to String Analysis

Amadini R., Gange G., Gauthier F., Jordan A., Schachte P., Søndergaard H., Stuckey P. J., Zhang C.

Fundamenta Informaticae

|

2018

|

Vol. 158, nr 4

297--326

EN

Abstract interpretation is a well established theory that supports reasoning about the run-time behaviour of programs. It achieves tractable reasoning by considering abstractions of run-time states, rather than the states themselves. The chosen set of abstractions is referred to as the abstract domain. We develop a novel framework for combining (a possibly large number of) abstract domains. It achieves the effect of the so-called reduced product without requiring a quadratic number of functions to translate information among abstract domains. A central notion is a reference domain, a medium for information exchange. Our approach suggests a novel and simpler way to manage the integration of large numbers of abstract domains. We instantiate our framework in the context of string analysis. Browser-embedded dynamic programming languages such as JavaScript and PHP encourage the use of strings as a universal data type for both code and data values. The ensuing vulnerabilities have made string analysis a focus of much recent research. String analysis tends to combine many elementary string abstract domains, each designed to capture a specific aspect of strings. For this instance the set of regular languages, while too expensive to use directly for analysis, provides an attractive reference domain, enabling the efficient simulation of reduced products of multiple string abstract domains.

2

Equipment failures and their contribution to industrial incidents and accidents in the manufacturing industry

Bourassa D., Gauthier F., Abdul-Nour G.

International Journal of Occupational Safety and Ergonomics

|

2016

|

Vol. 22, No. 1

131--141

EN

Accidental events in manufacturing industries can be caused by many factors, including work methods, lack of training, equipment design, maintenance and reliability. This study is aimed at determining the contribution of failures of commonly used industrial equipment, such as machines, tools and material handling equipment, to the chain of causality of industrial accidents and incidents. Based on a case study which aimed at the analysis of an existing pulp and paper company's accident database, this paper examines the number, type and gravity of the failures involved in these events and their causes. Results from this study show that equipment failures had a major effect on the number and severity of accidents accounted for in the database: 272 out of 773 accidental events were related to equipment failure, where 13 of them had direct human consequences. Failures that contributed directly or indirectly to these events are analyzed.

3

Experimental Analysis of 31 Risk Estimation Tools Applied to Safety of Machinery

Gauthier F., Lambert S., Chinniah Y.

International Journal of Occupational Safety and Ergonomics

|

2012

|

Vol. 18, No. 2

245--265

EN

This article studies differences in the results of using different risk estimation tools in the same hazardous situations involving dangerous machinery. We investigated how (a) types of risk estimation parameters and methods of constructing tools, (b) the number of levels of each parameter, and (c) the number of risk levels influence the results. Consequently, 31 risk estimation tools were compared by using them to estimate risk levels associated with 20 hazardous situations. Risk estimation appears to be tool-dependent, as different tools give different results with identical hazardous situations. The scope of the tool, its use, and construction could explain these differences. This article also proposes a series of rules for constructing tools to alleviate many problems associated with the variability of risk estimations.

4

Analysis and Classification of the Tools for Assessing the Risks Associated With Industrial Machines

Paques J. J., Gauthier F., Perez A.

International Journal of Occupational Safety and Ergonomics

|

2007

|

Vol. 13, No. 2

173--187

EN

To assess and plan future risk-analysis research projects, 275 documents describing methods and tools for assessing the risks associated with industrial machines or with other sectors such as the military, and the nuclear and aeronautics industries, etc., were collected. These documents were in the format of published books or papers, standards, technical guides and company procedures collected throughout industry. From the collected documents, 112 documents were selected for analysis; 108 methods applied or potentially applicable for assessing the risks associated with industrial machines were analyzed and classified. This paper presents the main quantitative results of the analysis of the methods and tools.