Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, con ....Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, concentrating on their software control components.Read moreRead less
Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge ....Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge is that processor emulations involve both legacy code and new subroutines, written in different programming languages. This project will enable verification of safety and mission-critical emulated systems by devising a multilingual modelling and reasoning formalism, based on program refinement theory.Read moreRead less
Girls and Information Communication Technology (ICT) Career Pathways: Tackling the Upper Middle School 'Turn Off'. This project aims to develop strategic responses to factors associated with girls forming such negative perceptions of Information Communication Technology during their upper middle school years that they overwhelmingly reject Information Communication Technology as an option for advanced study and future careers. This project will contribute towards Australia's National Research Pr ....Girls and Information Communication Technology (ICT) Career Pathways: Tackling the Upper Middle School 'Turn Off'. This project aims to develop strategic responses to factors associated with girls forming such negative perceptions of Information Communication Technology during their upper middle school years that they overwhelmingly reject Information Communication Technology as an option for advanced study and future careers. This project will contribute towards Australia's National Research Priority 3 of building and transforming frontier technologies to maximize creative, technological capability by collaboratively developing a strategic model for responding to factors identified as 'turning girls off Information Communication Technology'.Read moreRead less
Developing informed and integrated strategies to address low female participation rates in professional Information Communication Technologies careers and pathways. This project proposes collaborative research to address low rates of female participation in Information Communication Technology professional occupations and education pathways - involving academic researchers and personnel from Education Queensland and Queensland based ICT companies . A comprehensive Queensland data set will be gen ....Developing informed and integrated strategies to address low female participation rates in professional Information Communication Technologies careers and pathways. This project proposes collaborative research to address low rates of female participation in Information Communication Technology professional occupations and education pathways - involving academic researchers and personnel from Education Queensland and Queensland based ICT companies . A comprehensive Queensland data set will be generated by surveying and interviewing female Year 11-12 students and ICT professionals, and analysed with industry partner involvement. Results will provide the basis for developing new and coordinated strategic approaches among education systems, ICT industry, and universities to improving school programs and enhancing female participation rates. This is necessary for addressing projected skill shortfalls and maximising talent pools available to industry.
Read moreRead less
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.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