Discovery Early Career Researcher Award - Grant ID: DE160100850
Funder
Australian Research Council
Funding Amount
$330,000.00
Summary
Dynamic adaptive software configuration. The aim of this project is to use computational intelligence in software engineering processes to achieve self-optimising products. Many mobile device users bemoan inadequate battery life, and device size is largely determined by the battery. In addition, information and communications technology uses six per cent of the global electricity production. The expected outputs of this project will be packages of optimisation components that software engineers ....Dynamic adaptive software configuration. The aim of this project is to use computational intelligence in software engineering processes to achieve self-optimising products. Many mobile device users bemoan inadequate battery life, and device size is largely determined by the battery. In addition, information and communications technology uses six per cent of the global electricity production. The expected outputs of this project will be packages of optimisation components that software engineers can incorporate into next generation products: the products analyse their collected usage data, perform what-if analyses, and optimise their configurations accordingly for the next usage period. Hence, the products may respond faster, be more reliable, and consume less energy.Read moreRead less
Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that woul ....Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that would benefit by such technology is the Australian Navy, which is increasingly being confronted with the challenge of integrating off-the-shelf components in large Naval Combat Systems. Read moreRead less
Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less