Training for critical thinking and decision making under stress associated with workplace accidents and disasters. Workplace accidents are a major concern for employees and employers alike. In the past two years, StateRail lost 7437 workdays to accidents, resulting in physical and mental distress for the employees, and considerable financial loss to the company. This project will test the effectiveness of employee training in critical thinking and decision making. In particular, the use of virtu ....Training for critical thinking and decision making under stress associated with workplace accidents and disasters. Workplace accidents are a major concern for employees and employers alike. In the past two years, StateRail lost 7437 workdays to accidents, resulting in physical and mental distress for the employees, and considerable financial loss to the company. This project will test the effectiveness of employee training in critical thinking and decision making. In particular, the use of virtual environments will be investigated as a means of simulating physically and mentally stressful situations. Ultimately, the projects seek to devise a training programme which will reduce the likelihood of accidents and improve employee response in the event that they occur.
Read moreRead less
Hybrid Job Shop Techniques for Dynamic Train Scheduling. The job shop approach to dynamic train scheduling promises considerable benefits over existing approaches, and allows problems of large size and complexity to be solved with great accuracy. The application of research results in Australia has the potential to:
- reduce train delays and costs by better planning of train schedules of railway systems;
- reduce transport costs to rail customers and increase rail's market share of freight ....Hybrid Job Shop Techniques for Dynamic Train Scheduling. The job shop approach to dynamic train scheduling promises considerable benefits over existing approaches, and allows problems of large size and complexity to be solved with great accuracy. The application of research results in Australia has the potential to:
- reduce train delays and costs by better planning of train schedules of railway systems;
- reduce transport costs to rail customers and increase rail's market share of freight movements;
- enhance the ability of operators to control operations in an efficient manner and minimise conflicts;
- to increase efficiency of Australian Railway System, leading to lower operating and capital costs;
- optimise the energy consumed.
Read moreRead less
An Integrated Environment for Verification of Large-Scale Railway Interlockings. Railway administrations produce tabular specifications called Control Tables that define the safety and operational requirements for Railway Interlockings. This project will address the critical problem of early detection and elimination of errors in Control Tables. The project will produce a prototype environment for verifying railway interlocking Control Tables, suitable for application to most of the interlockin ....An Integrated Environment for Verification of Large-Scale Railway Interlockings. Railway administrations produce tabular specifications called Control Tables that define the safety and operational requirements for Railway Interlockings. This project will address the critical problem of early detection and elimination of errors in Control Tables. The project will produce a prototype environment for verifying railway interlocking Control Tables, suitable for application to most of the interlockings on the Queensland Rail network. It will also deliver results that will improve the current state-of-the-art in the practical application of model-checking technology.Read moreRead less
Model-driven development and verification of railway interlocking control logic. Railway interlockings are an essential and safety-critical part of all rail infrastructure. The results of the proposed project are intended to reduce the cost of the development and improve the quality of railway interlockings control logic. This will contribute to safer and more cost-effective rail transport in Queensland, Australia and internationally. This project has the potential to improve both development an ....Model-driven development and verification of railway interlocking control logic. Railway interlockings are an essential and safety-critical part of all rail infrastructure. The results of the proposed project are intended to reduce the cost of the development and improve the quality of railway interlockings control logic. This will contribute to safer and more cost-effective rail transport in Queensland, Australia and internationally. This project has the potential to improve both development and V&V capabilities for organisations that plan to use model-driven architecture (MDA) for safety-critical systems. While the industrial usage of MDA is currently in its infancy, forecasts predict that MDA will fundamentally change software development practice, especially in developed countries like Australia.Read moreRead less