The paper describes the first achievements and the future developments of the application of neural networks to structural engineering at ISMES. Two main fields of applications are presented: neural nets in design, with reference to the design of arch dams, and in data interpretation, with reference to the management of structural safety.

Safety cases offer a means for communicating information about the system safety among the system stakeholders. Recently, the requirement for a safety case has been considered by regulators for safety-critical systems. Adopting safety cases is necessarily dependent on the value added for regulatory authorities. In this work, we outline a structured approach for assessing the level of sufficienc...

Fears about personal safety on public transport can have an important impact on ridership. A range of studies have examined different factors that influence perceptions of crime risk. This study uses structural equation modelling to explore the influences on perceptions of safety on public transport and the impact these perceptions have on ridership using a survey sample from Melbourne, Austral...

In January 2006 the French Committee on Dams and Reservoirs – FrCOLD issued provisional guidelines for structural safety of gravity dams. It was the first attempt to produce a semi-probabilistic limit-state method for the design of hydraulic works, in a format similar to the Eurocodes. After 5 years of a progressive implementation of those guidelines, FrCOLD decided to produce an upgraded and e...

OBJECTIVE To assess the psychometric properties of the French version of the Hospital Survey on Patient Safety Culture questionnaire (HSOPSC) and study the hierarchical structure of the measured dimensions. DESIGN Cross-sectional survey of the safety culture. SETTING 18 acute care units of seven hospitals in South-western France. PARTICIPANTS Full- and part-time healthcare providers who w...

Despite the large body of work on the work-family interface, hardly any literature has addressed the work-family interface in safety-critical settings. This study draws from social exchange theory to examine the effect of employees' strain-based work-to-family conflict on their supervisors' rating of their safety participation through job satisfaction. The sample consisted of 494 drivers from a...

We consider the estimation of the coefficients of a linear structural equation in a simultaneous equation system when there are many instrumental variables. We derive some asymptotic properties of the limited information maximum likelihood (LIML) estimator when the number of instruments is large; some of these results are new as well as old, and we relate them to results in some recent studies....

The Center-TRACON Automation System (CTAS) is a collection of planning and control software functions that generate landing schedules and advisories to assist air traac controllers in handling traac in the en-route and terminal areas. In this paper, we propose a formal safety analysis methodology to determine the correctness of CTAS with respect to safety. Four large classes of safety notions a...

INTRODUCTION This study develops an integrative model of safety management based on social cognitive theory and the total safety culture triadic framework. The purpose of the model is to reveal the causal linkages between a hazardous environment, safety climate, and individual safety behaviors. METHOD Based on primary survey data from 209 front-line workers in one of the largest state-owned c...

One key step in the development of safety-critical applications is the assessment of the quality of the verification strategy. In practice, structural coverage is the methodology used to ascertain the testing campaign well satisfy a given quality criteria. In this paper, we describe the possible strategies to measure structural coverage in a DO-178B context. After evaluating state-ofthe-art app...