Formal modelling and analysis of software requirements for air traffic management systems for improved integrity assurance. This project will significantly reduce the time and cost of developing software for critical applications such as aviation and air traffic management. As well as improving the trustworthiness of safety-critical computer-based systems, this project will also enable system improvements to be deployed faster and more reliably.
Building dependability into complex, computer-based systems. Air traffic control, telecommunications, defence, power distribution and many other vital infrastructures all rely on complex computer-based systems. Whenever one of these systems fails, it can cause major disruption to society, create large financial losses and even pose risks to life.
This project will integrate and improve methods for modelling and analysing computer-based systems in terms of their requirements and architectures ....Building dependability into complex, computer-based systems. Air traffic control, telecommunications, defence, power distribution and many other vital infrastructures all rely on complex computer-based systems. Whenever one of these systems fails, it can cause major disruption to society, create large financial losses and even pose risks to life.
This project will integrate and improve methods for modelling and analysing computer-based systems in terms of their requirements and architectures, focusing on how to achieve and maintain dependability in the context of on-going change and failure to meet requirements. These methods will be based on sound mathematical foundations and proven engineering approaches applicable to industrial-scale complex systems.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
Customer Responsive Risk-Managed Network Planning. The aim of this project is to reduce the cost of network delivery of electricity though a reduced network build. The cost of the network is balanced against the cost of reliability of supply. The key developments are optimisation of investment considering batteries etcetera, combined with customer load response and explicit inclusion of the uncertainties of load growth and in the response level of the customer loads. The project combines skills ....Customer Responsive Risk-Managed Network Planning. The aim of this project is to reduce the cost of network delivery of electricity though a reduced network build. The cost of the network is balanced against the cost of reliability of supply. The key developments are optimisation of investment considering batteries etcetera, combined with customer load response and explicit inclusion of the uncertainties of load growth and in the response level of the customer loads. The project combines skills of power engineering optimisation, software systems and social science. Most of the demand response programs globally have focused on a pure economic incentive for variation of customer load. This project aims to make use of recent findings on the benefits of combining community engagement with the incentives.Read moreRead less
Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing ....Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing the test error signal generated (the difference between the outputs of the two models). This is possible because one of the two versions is implemented in such a way that the test error carries an easily identifiable feature. This project could revolutionize the area of model verification.Read moreRead less
Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and valid ....Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and validation capabilities of local industry, allow them to save software development costs, and improve the quality of the software produced.Read moreRead less
Practical Tools and Techniques for the Testing of Concurrent Software Components. This project will develop tools and techniques for the practical, systematic testing of concurrent software components. Testing is a major means for ensuring that software performs as expected, but testing concurrent software is poorly understood even though the majority of complex, computer-based systems are concurrent in nature. The complexities arising from the non-deterministic nature of such software means tha ....Practical Tools and Techniques for the Testing of Concurrent Software Components. This project will develop tools and techniques for the practical, systematic testing of concurrent software components. Testing is a major means for ensuring that software performs as expected, but testing concurrent software is poorly understood even though the majority of complex, computer-based systems are concurrent in nature. The complexities arising from the non-deterministic nature of such software means that testing tools and techniques used for simpler, sequential software are inadequate. The outcomes of this project will consist of practical techniques for the effective testing of concurrent software components in general and tools for the testing of Java components in particular.Read moreRead less
Effective software process improvement in a large-scale defence contracting environment. Most organisations struggle to consistently develop high-quality software on schedule and within budget. Continuing changes in technologies and customer expectations complicate this challenge. Software process improvement frameworks aim to guide organisations towards best practice. This project will assess practical experience with individual software process improvement frameworks in a large-scale defence c ....Effective software process improvement in a large-scale defence contracting environment. Most organisations struggle to consistently develop high-quality software on schedule and within budget. Continuing changes in technologies and customer expectations complicate this challenge. Software process improvement frameworks aim to guide organisations towards best practice. This project will assess practical experience with individual software process improvement frameworks in a large-scale defence contracting environment, with the goal of developing an effective strategy for integrating them. The outcomes will include documented experience with specific process improvement frameworks and a strategy for an overall framework that combines them.Read moreRead less
Formalizing Software Design Pattern Concepts and Pattern Specifications using Metamodeling. Software design is currently an ad-hoc process that relies too heavily on each designer's personal experience. Software design patterns capture design know-how and make it reusable by identifying the problem and context in which a family of solutions can be applied. This project will use a formal metamodeling approach to define the concepts underlying software design patterns and hence will create precise ....Formalizing Software Design Pattern Concepts and Pattern Specifications using Metamodeling. Software design is currently an ad-hoc process that relies too heavily on each designer's personal experience. Software design patterns capture design know-how and make it reusable by identifying the problem and context in which a family of solutions can be applied. This project will use a formal metamodeling approach to define the concepts underlying software design patterns and hence will create precise and rigorous pattern specifications. Through this approach, we will incorporate patterns into the Unified Modeling Language (UML), the dominant object-oriented modeling language. Our pattern specifications will assist UML tool developers integrate software design patterns into their tools.Read moreRead less