Combining mathematical programming and constraint programming to solve large-scale integrated scheduling problems. This project will target major savings in the airline industry, with resulting benefits for others such as tourism. The efficient use of airline fuel, which will be directly addressed in the project, is very important for the environment. The algorithms developed can improve cost and quality of service for Australian transportation, manufacturing and other industries.
The solut ....Combining mathematical programming and constraint programming to solve large-scale integrated scheduling problems. This project will target major savings in the airline industry, with resulting benefits for others such as tourism. The efficient use of airline fuel, which will be directly addressed in the project, is very important for the environment. The algorithms developed can improve cost and quality of service for Australian transportation, manufacturing and other industries.
The solutions developed within the project will be sold by the industrial partner, CTI, into major companies worldwide, and the technology will be used to develop further products.
Finally the project will extend Australia's lead in constraint programming and expertise in optimisation. This creates a major opportunity for the Australian software industry.
Read moreRead less
From Tactical Planning to Operational Control - Bridging the Chasm. All organisations plan, and all organisations suffer from the disruptions that occur when plans are put into practice. Few organisations manage to balance operational control with planning to as to maintain both efficiency and flexibility to deal with the unexpected. This project addresses this requirement for the transportation and logistics industries.
The results discovered within the project will enable the industrial ....From Tactical Planning to Operational Control - Bridging the Chasm. All organisations plan, and all organisations suffer from the disruptions that occur when plans are put into practice. Few organisations manage to balance operational control with planning to as to maintain both efficiency and flexibility to deal with the unexpected. This project addresses this requirement for the transportation and logistics industries.
The results discovered within the project will enable the industrial partner, CTI, to develop solutions for major companies worldwide. The technology will be used to build further optimisation products.
Moreover the project will extend Australia's lead in constraint programming and expertise in optimisation. This creates a major opportunity for Australia's software industry.
Read moreRead less
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.
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
Application of Knowledge-Based Engineering (KBE) Technology to Intelligent Design Engineering Systems. Knowledge Based Engineering (KBE) is a systematic approach to the integration of design and manufacturing of products and their related processes, from concept to disposal. Typical for KBE applications is that it accepts design rules and procedures. This makes the design process more efficient, which reduces development cost and product lead time. It also enables knowledge and experience to be ....Application of Knowledge-Based Engineering (KBE) Technology to Intelligent Design Engineering Systems. Knowledge Based Engineering (KBE) is a systematic approach to the integration of design and manufacturing of products and their related processes, from concept to disposal. Typical for KBE applications is that it accepts design rules and procedures. This makes the design process more efficient, which reduces development cost and product lead time. It also enables knowledge and experience to be captured and retained which reduces training cost and makes new staff more effective. The aim of the project is to develop a KBE environment for wire and conduit routing through complex structures and verify the benefits in an industry environment.Read moreRead less
Large-Scale Emulation for Enterprise Software Systems. This project will deliver a key future software technology for scalable quality assurance of highly interconnected enterprise IT systems, significantly contributing to more reliable and effective business operations in all industry sectors. It will fill a market gap and give Australian businesses a world competitive advantage. The project will generate world-leading research outcomes and further cement Australia’s leading research position i ....Large-Scale Emulation for Enterprise Software Systems. This project will deliver a key future software technology for scalable quality assurance of highly interconnected enterprise IT systems, significantly contributing to more reliable and effective business operations in all industry sectors. It will fill a market gap and give Australian businesses a world competitive advantage. The project will generate world-leading research outcomes and further cement Australia’s leading research position in enterprise software systems engineering. In particular, it will make major contributions to research into complex large-scale system interaction, system performance and scalability, and system behaviour modelling. The project also provides an excellent training environment for young researchers. Read moreRead less
Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – w ....Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – what the data means and what it can be used for – with sophisticated, scalable computational techniques to mine and present information from the huge volumes of raw data. This project is expected to improve productivity and quality of big data analytics and visualisation in critical domains.Read moreRead less
Socially Oriented Requirements Engineering - Software Engineering meets Ethnography. The project should lead to the design and development of better software/information and communications technologies in the homes of Australians, that encourage flexible social ineractions, and has been designed with the user in mind.
Metamorphic slices and their applications in fault localization. The main purpose of this project is to enhance the quality of software. The expected outcomes include the delivery of new cost-effective methods to debug software, and the extension of current debugging methods to be applicable in wider contexts.
Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in ra ....Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries. Furthermore, this collaboration will help young Australian researchers to link to the Chinese Academy of Sciences, a leading-edge international research institute.Read moreRead less