Safety cases have been used in the safety domain for a number of years, mostly in the defence, aerospace and energy domains. Their usefulness, as a tool to improving safety, has been appreciated by many practitioners. This has resulted in the core concepts of safety cases to be transferred to other domains (e.g. automotive), and their focus on other system attributes (e.g. security cases). This...

Patients and visitors to healthcare premises will not be familiar with buildings or the fire safety measures and procedures that are in place. Healthcare staff have a key role to ensure the safety of everyone who could be present. Healthcare premises are required to have high standards of fire safety built into the fabric of the building together with robust fire safety procedures. In order tha...

Sequencing of messages speciied by types of objects is desirable especially in concurrent systems. Types in popular concurrent object calculi cannot support sequencing of messages. We present a calculus that supports sequencing of messages and compare it to the calculus of Vasconcelos and Honda. Type safety in our calculus does not allow a certain kind of nondeterminism supported by other calculi.

Safe sharing is a desirable feature of an object oriented database because it protects valuable database objects from program errors in application code. It is especially desirable in a heterogeneous environment in which applications are written in various programming languages, many of which have unsafe features. However, safe sharing is not without its potential performance costs. This paper ...

The gap between the safety developments for critical systems and safety validations is very significant. In this paper, we propose to study the development of a safety framework that bridges the gap between safety developments and safety validations using a set of different but related models. Our proposed framework, among other things, includes a collection of models capturing both the behavio...

This paper aims to place current safe design activity in Australia into context by providing an overview of the regulatory environment, the history of safe design initiatives in Australia, and the influence of the National Occupational Health and Safety (OHS) strategy. The paper summarizes recent work in safe design policy undertaken at the national level in Australia. The paper sets out the Au...

Schools are pushing to implement more technology use to promote student learning. Yet, adults may not be completely aware of the non-academic online activities students engage in, like cyberbullying, sexting, and online sharing. In this study, parents (N = 663) and educators (N = 548) from four US states were surveyed on their understanding and awareness of their children’s/students’ online act...

Asset Health Management (AHM), supported by condition monitoring (CM) and performance measuring technologies, together with trending, modelling and diagnostic frameworks, is not only critical to the reliability of high-value machines, but also to a companies Overall Equipment Efficiency (OEE), system safety and profitability. In addition these protocols are also critical to the global concern o...

The paper presents an approach to diagnosis of CLP programs and a diagnoser for CHIP based on this approach. The objective is to achieve partial correctness of the program w.r.t. a specification of type terms which describe sets of calls and successes of program predicates. Parametric regular term grammars with constraints are used to define the meaning of type terms as sets. The diagnoser comp...