Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost ....Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost savings, highly beneficial to
the ICT industry. Lessons learned from the demonstration prototype,
can be directly carried over into commercial tool development. In
addition, the project strengthens links to high quality European
research laboratories.Read moreRead less
Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savin ....Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savings, highly beneficial to any industry with a significant ICT component, e.g., defense. Lessons learned from the demonstration prototype, can be directly carried over into commercial tool development. The project strengthens links to high quality European research laboratories.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
A Platform for Rapid and Flexible Development of Context-Aware Web Services. Context awareness is one of the most exciting trends in computing today, and it holds the potential to make our daily life more productive, convenient and enjoyable. The proposed project will produce a comprehensive platform for developing context-aware Web services, which will facilitate ready implementation of many innovative applications and make important contributions to Australian society and the national economy. ....A Platform for Rapid and Flexible Development of Context-Aware Web Services. Context awareness is one of the most exciting trends in computing today, and it holds the potential to make our daily life more productive, convenient and enjoyable. The proposed project will produce a comprehensive platform for developing context-aware Web services, which will facilitate ready implementation of many innovative applications and make important contributions to Australian society and the national economy. One such application is an intelligent seniors assistance service that will improve quality of life for senior citizens while helping them maintain an independent lifestyle. This project will also place Australia at the forefront of Web service development.Read moreRead less
Integrated On-line Condition Monitoring and Failure Diagnosis in Induction Motors. Electric motors are widely used in industry. Traditional maintenance approaches have involved regular overhauls/inspections and replacement after a fixed period. On-line condition monitoring involves taking non-invasive measurements to determine the motor's "health" and only scheduling maintenance when required. The benefits are reduced unexpected failures and reduced maintenance costs due to the greater maintena ....Integrated On-line Condition Monitoring and Failure Diagnosis in Induction Motors. Electric motors are widely used in industry. Traditional maintenance approaches have involved regular overhauls/inspections and replacement after a fixed period. On-line condition monitoring involves taking non-invasive measurements to determine the motor's "health" and only scheduling maintenance when required. The benefits are reduced unexpected failures and reduced maintenance costs due to the greater maintenance intervals. The majority of existing work on condition monitoring has looked at using a single sensor type (eg. vibration) for fault prediction. The proposed work seeks to improve the reliability and accuracy of fault diagnosis by correlating information from multiple sensor types, which can be accessed remotely.Read moreRead less
Special Research Initiatives - Grant ID: SR0354693
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in ....Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in other RNs linking to their motivating applications, enhancing prospects for research and integration. They participate in the APAC Grid program, leveraging 75 HPC staff nationally. A key aim is interoperability with "real-world Grids": eg e-learning & e-health programs.Read moreRead less
Fault detection and identification in nonlinear complex systems. Complex systems usually comprise a large number of inter-dependent subsystems linked together to perform a certain task. Examples of such systems are power systems, irrigation systems, air traffic control systems, to name a few. Such systems are subject to component failure or malfunction. Total failure can cause an unacceptable financial losses and/or danger to personnel. It is therefore extremely essential, from economic and safe ....Fault detection and identification in nonlinear complex systems. Complex systems usually comprise a large number of inter-dependent subsystems linked together to perform a certain task. Examples of such systems are power systems, irrigation systems, air traffic control systems, to name a few. Such systems are subject to component failure or malfunction. Total failure can cause an unacceptable financial losses and/or danger to personnel. It is therefore extremely essential, from economic and safety view points, that a way be found to ensure reliable and viable operation of complex plants. A first step in achieving this goal is to detect faults on-line and in real-time when they occur and identify their location and characteristics, which is the aim of this project.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
ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relat ....ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relating to critical infrastructure. World-leaders with extensive national and international linkages in relevant scientific, engineering and technological research will lead this collaboration. The RNSA will launch various activities to foster research collaboration and nurture young investigators.Read moreRead less
Hardware Verification Techniques for Complex High Performance Systems-on-a-chip. Verifying the correctness of modern integrated circuit designs is a critical success factor from both economic and technological perspectives. Rapid advances in semiconductor manufacturing technology are not matched by similar gains in hardware design verification methodology. This creates a widening verification gap that threatens the viability of future complex integrated circuits. This project aims to address th ....Hardware Verification Techniques for Complex High Performance Systems-on-a-chip. Verifying the correctness of modern integrated circuit designs is a critical success factor from both economic and technological perspectives. Rapid advances in semiconductor manufacturing technology are not matched by similar gains in hardware design verification methodology. This creates a widening verification gap that threatens the viability of future complex integrated circuits. This project aims to address this issue by developing novel hardware verification techniques targeting complex high performance systems-on-a-chip. The research outcome will be a set of verification techniques and tools that directly benefit the advancement of future integrated circuit development, verification and manufacturing.Read moreRead less