Integration of Object Behavior in Federated Information Systems. Integration of autonomous object-oriented systems requires the integration
of object structure and object behaviour. Research in federated information
systems has so far mainly addressed integration of object structure. This
project will investigate the integration of object behaviour, especially object
life cycles. A major application area is the integration of business processes,
which is typically required when companies me ....Integration of Object Behavior in Federated Information Systems. Integration of autonomous object-oriented systems requires the integration
of object structure and object behaviour. Research in federated information
systems has so far mainly addressed integration of object structure. This
project will investigate the integration of object behaviour, especially object
life cycles. A major application area is the integration of business processes,
which is typically required when companies merge or enter into
consumer-producer relationships and constitutes a key capability for B2B e-commerce
systems. Consistency criteria for behaviour integration
will be defined and applied in a graphical integration tool that guides the
definition of global behavioural views upon autonomous object-oriented systems.
Read moreRead less
Dynamic Semantic Interoperability for Business Processes. The integration of independently developed applications constitutes
one of the major bottlenecks in modern software development in
business, industry, and defense, in particular for a nation such as
Australia that is highly reliant on overseas trade. Technologies that
facilitate the smooth application integration promise significant
savings in software development. By offering automated support task,
this project offers the potenti ....Dynamic Semantic Interoperability for Business Processes. The integration of independently developed applications constitutes
one of the major bottlenecks in modern software development in
business, industry, and defense, in particular for a nation such as
Australia that is highly reliant on overseas trade. Technologies that
facilitate the smooth application integration promise significant
savings in software development. By offering automated support task,
this project offers the potential of significant cost savings, highly
beneficial to any industry with a major ICT component. 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
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
Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and ....Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and more efficient than previous work. Here we wish to extend this family to operate effectively in a specific architecture increasingly favoured by many modern distributed high-performance computing systems.Read moreRead less
Accurate Performance Modelling and Prediction of Cluster Computers. The tools, methodologies and data produced by this project will assist
Australian academic and industrial organisations in choosing the most
cost-effective cluster configurations for their specific high
performance computing requirements. It will also help an Australian
company to compete with increasing strength against the major
multinationals. The project will also draw together and promote future
research links between ....Accurate Performance Modelling and Prediction of Cluster Computers. The tools, methodologies and data produced by this project will assist
Australian academic and industrial organisations in choosing the most
cost-effective cluster configurations for their specific high
performance computing requirements. It will also help an Australian
company to compete with increasing strength against the major
multinationals. The project will also draw together and promote future
research links between two major academic institutions in this field.
Finally, the project will provide high-level training in research,
with industrial grounding, in the high performance computing industry.
Read moreRead less
Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environme ....ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environments. EII will address 3 tightly coupled research themes: Ability to interoperate across existing heterogenous platforms & applications; Efficient processing of very large data sets; Technology adoption & impact. Generic results will be applicable to e-science and large business information systems installations.Read moreRead less
Special Research Initiatives - Grant ID: SR0567450
Funder
Australian Research Council
Funding Amount
$109,564.00
Summary
Real-time control and data analysis of remote synchrotron microprobe experiments. A Canadian-Australian collaboration to design and construct sister synchrotron microdiffraction fluorescence probes (mDFP) commenced in 2004. The Canadian mDFP will be available in the first half of 2006, at least two years prior to the sister facility at the Australian Synchrotron. The proposed project will extend this collaboration to develop a system for remote control of mDFP experiments, incorporating real-t ....Real-time control and data analysis of remote synchrotron microprobe experiments. A Canadian-Australian collaboration to design and construct sister synchrotron microdiffraction fluorescence probes (mDFP) commenced in 2004. The Canadian mDFP will be available in the first half of 2006, at least two years prior to the sister facility at the Australian Synchrotron. The proposed project will extend this collaboration to develop a system for remote control of mDFP experiments, incorporating real-time data analysis and 3D visualization. This system will enable Australian scientists to use the Canadian mDFP, and subsequently the Australian Synchrotron mDFP, from their home institutions. The resulting flexibility of scheduling and alleviation of downtime for travel will be particularly beneficial for industry users.Read moreRead less
Development of a validated tool to help manage the risk of human fatigue in the workplace. Our world has embraced many benefits of the 24-hour society. However, these benefits can not be delivered without the costs: one significant cost is human fatigue. A recent federal parliamentary inquiry recommended that a fatigue risk management approach be applied to the regulation of working hours within industry. A key requirement of such an approach, and the aim of the proposed project, is to develo ....Development of a validated tool to help manage the risk of human fatigue in the workplace. Our world has embraced many benefits of the 24-hour society. However, these benefits can not be delivered without the costs: one significant cost is human fatigue. A recent federal parliamentary inquiry recommended that a fatigue risk management approach be applied to the regulation of working hours within industry. A key requirement of such an approach, and the aim of the proposed project, is to develop a scientifically validated tool to help manage the work-related fatigue associated with hours-of-work. Ultimately, this will reduce the costs of our 24-hour society on employees, their families, organisations and the wider community.Read moreRead less