Implementation of low damage construction: What are the challenges?

Christchurch earthquake events have raised questions on the adequacy of performance-based provisions in the current national building code. At present, in the building code the performance objectives are expressed in terms of safety and health criteria that could affect building occupants. In general, under the high intensity Christchurch events, buildings performed well in terms of life-safety (with a few exceptions) and it proved that the design practices adopted for those buildings could meet the performance objectives set by the building code. However, the damage incurred in those buildings resulted in unacceptably high economic loss. It is timely and necessary to revisit the objectives towards building performance in the building code and to include provisions for reducing economic implications in addition to the current requirements. Based on the observed performance of some buildings, a few specific issues in the current design practices that could have contributed to extensive damage have been identified and recommended for further research leading towards improved performance of structures. In particular, efforts towards innovative design/construction solutions with low-damage concepts are encouraged. New Zealand has been one of the leading countries in developing many innovative technologies. However, such technically advanced research findings usually face challenges towards implementation. Some of the reasons include: (i) lack of policy requirements; (iii) absence of demonstrated performance of new innovations to convince stakeholders; and (iv) non-existence of design guidelines. Such barriers significantly affect implementation of low damage construction and possible strategies to overcome those issues are discussed in this paper

Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel

Read-Copy Update (RCU) is a scalable, high-performance Linux-kernel synchronization mechanism that runs low-overhead readers concurrently with updaters. Production-quality RCU implementations for multi-core systems are decidedly non-trivial. Giving the ubiquity of Linux, a rare "million-year" bug can occur several times per day across the installed base. Stringent validation of RCU's complex behaviors is thus critically important. Exhaustive testing is infeasible due to the exponential number of possible executions, which suggests use of formal verification. Previous verification efforts on RCU either focus on simple implementations or use modeling languages, the latter requiring error-prone manual translation that must be repeated frequently due to regular changes in the Linux kernel's RCU implementation. In this paper, we first describe the implementation of Tree RCU in the Linux kernel. We then discuss how to construct a model directly from Tree RCU's source code in C, and use the CBMC model checker to verify its safety and liveness properties. To our best knowledge, this is the first verification of a significant part of RCU's source code, and is an important step towards integration of formal verification into the Linux kernel's regression test suite.Comment: This is a long version of a conference paper published in the 2018 Design, Automation and Test in Europe Conference (DATE

Uptake of an OHS code of practice by construction firms : barriers and enablers in an Australian industry

The Australian construction industry, reflecting a global trend, is moving towards the implementation of a voluntary code of practice (hereafter VCP) for occupational health and safety. The evidence suggests that highlyvisible clients and project management firms, in addition to their subcontractors, look set to embrace such a code. However, smaller firms not operating in high-profile contracting regimes may prove reticent to adopt a VCP. This paper incorporates qualitative data from a high-profile research project commissioned by Engineers Australia and supported by the Australian Contractors’ Association, Property Council of Australia, Royal Australian Institute of Architects, Association of Consulting Engineers Australia, Australian Procurement and Construction Council, Master Builders Australia and the Australian CRC for Construction Innovation. The paper aims to understand the factors that facilitate or prevent the uptake of the VCP by smaller firms, together with pathways to the adoption of a VCP by industry

Work-related road safety risk assessment: utilisation of self-report surveys to predict organisational risk

Work-related driving safety is an emerging concern for Australian and overseas organisations. Research has shown that road crashes are the most common cause of work-related fatalities, injuries and absences from work. This study's objectives were to identify driver characteristics which pose potential risks to work-related driving safety within the organisation, as well as determining the value of such self-reported data to predict crash involvement and general aberrant driving behaviours. This paper reports on a study examining the predictive utility of predominant self-report questionnaires to identify individuals involved in work-related crashes within an Australian organisational fleet setting (N = 4195). Survey questionnaires included the Manchester Driver Behaviour Questionnaire (DBQ), Driver Attitude Questionnaire (DAQ), Safety Climate Questionnaire – Modified for Drivers (SCQ-MD) and Risk Taking. The tools were distributed through the company’s internal mail system to employees who volunteered to participate in the study. An important finding to emerge was that a potential fleet "speeding culture" was identified from univariate analyses. For example, drivers were most likely to report engaging in speeding behaviours and also believed that speeding was more acceptable compared to drink driving, following too closely or engaging in risky overtaking manoeuvres. However, multivariate analysis determining factors associated with self-reported crash involvement revealed that increased work pressure and driving errors were predictive of crash risk, even after controlling for exposure on the road. This paper highlights the major findings of the study and discusses the implications and difficulties associated with utilising driver behaviour measurement tools within contemporary organisational fleet settings

The 2008 Newsletter of the International Association of Labour Inspection

: The IALI newsletter reflects on the organization’s activities in 2008, which included involvement in a number of conferences and reports addressing workplace monitoring, forced labor and human trafficking, workplace stress, migrant workers, and health and safety issues. The newsletter gives a summary plan for the organizations 2009 goals

SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems

The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity. Autonomous robots increasingly depend on third party off-the-shelf components and complex machine-learning techniques. This trend makes it challenging to provide strong design-time certification of correct operation. To address these challenges, we present SOTER, a robotics programming framework with two key components: (1) a programming language for implementing and testing high-level reactive robotics software and (2) an integrated runtime assurance (RTA) system that helps enable the use of uncertified components, while still providing safety guarantees. SOTER provides language primitives to declaratively construct a RTA module consisting of an advanced, high-performance controller (uncertified), a safe, lower-performance controller (certified), and the desired safety specification. The framework provides a formal guarantee that a well-formed RTA module always satisfies the safety specification, without completely sacrificing performance by using higher performance uncertified components whenever safe. SOTER allows the complex robotics software stack to be constructed as a composition of RTA modules, where each uncertified component is protected using a RTA module. To demonstrate the efficacy of our framework, we consider a real-world case-study of building a safe drone surveillance system. Our experiments both in simulation and on actual drones show that the SOTER-enabled RTA ensures the safety of the system, including when untrusted third-party components have bugs or deviate from the desired behavior

Assessment Report 2014 KTC Limited, China AA0000000364

This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide. Special emphasis is placed on labor rights, working conditions, labor market changes, and union organizing.FLA_2014_KTC_AR_China_AA0000000364.pdf: 31 downloads, before Oct. 1, 2020

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1

This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS (Tigars) project. These notes aim to support the development and evaluation of autonomous vehicles. Part 1 addresses: Assurance-overview and issues, Resilience and Safety Requirements, Open Systems Perspective and Formal Verification and Static Analysis of ML Systems. Part 2: Simulation and Dynamic Testing, Defence in Depth and Diversity, Security-Informed Safety Analysis, Standards and Guidelines