Building dependability into complex, computer-based systems. Air traffic control, telecommunications, defence, power distribution and many other vital infrastructures all rely on complex computer-based systems. Whenever one of these systems fails, it can cause major disruption to society, create large financial losses and even pose risks to life.
This project will integrate and improve methods for modelling and analysing computer-based systems in terms of their requirements and architectures ....Building dependability into complex, computer-based systems. Air traffic control, telecommunications, defence, power distribution and many other vital infrastructures all rely on complex computer-based systems. Whenever one of these systems fails, it can cause major disruption to society, create large financial losses and even pose risks to life.
This project will integrate and improve methods for modelling and analysing computer-based systems in terms of their requirements and architectures, focusing on how to achieve and maintain dependability in the context of on-going change and failure to meet requirements. These methods will be based on sound mathematical foundations and proven engineering approaches applicable to industrial-scale complex systems.Read moreRead less
A Scalable Theory of Behavior Composition for Practical Engineering Models of Human Performance. Minimizing human error and maximizing human performance is a major design goal in safety critical systems. The development of methods for affordable human performance modeling has widespread applicability for evaluating user-system interfaces. The compositional method explored here has been shown to make accurate predictions reduce model development time by an order of magnitude. Large safety critica ....A Scalable Theory of Behavior Composition for Practical Engineering Models of Human Performance. Minimizing human error and maximizing human performance is a major design goal in safety critical systems. The development of methods for affordable human performance modeling has widespread applicability for evaluating user-system interfaces. The compositional method explored here has been shown to make accurate predictions reduce model development time by an order of magnitude. Large safety critical applications, such as military or air traffic control systems, would benefit greatly. The proposed work tests whether the compositional methods will scale to more complex domains. The work will be coordinated with Australian industry, academia, and government research efforts.Read moreRead less
Through Walls Collaboration to Support Command and Control Operations with Eyes and Ears in the Field. Australia is a geographically dispersed country with locations of high concentrations of technology resources. Australia requires the ability to gather real time intelligence information in the field to support planning and operational decisions by a command team for military and civil defence operations. Currently Australia supports such operations in remote areas of the country and numerous o ....Through Walls Collaboration to Support Command and Control Operations with Eyes and Ears in the Field. Australia is a geographically dispersed country with locations of high concentrations of technology resources. Australia requires the ability to gather real time intelligence information in the field to support planning and operational decisions by a command team for military and civil defence operations. Currently Australia supports such operations in remote areas of the country and numerous overseas operations. A major research outcome is the design and development of interaction techniques for the mobile users in through walls collaboration systems to control and manipulate augmented reality information in the field across a number of application domains, such as medical, maintenance, military, search and rescue, and GIS visualization.Read moreRead less
Integrating human operators into large-scale sensor networks. Information awareness is critical in many applications of national importance: from bush fire fighting and defence to transportation and health care. These applications involve tasks in which timely delivery and fusion of heterogeneous information streams is of critical importance. They can all benefit from the use of robotic and embedded sensor networks considered in this project. Human operators, acting as users or supervisors, will ....Integrating human operators into large-scale sensor networks. Information awareness is critical in many applications of national importance: from bush fire fighting and defence to transportation and health care. These applications involve tasks in which timely delivery and fusion of heterogeneous information streams is of critical importance. They can all benefit from the use of robotic and embedded sensor networks considered in this project. Human operators, acting as users or supervisors, will remain at the centre of these systems. The technology and algorithms developed in this project will efficiently structure information exchange between humans and sensor networks. Establishing Australian leadership in this fast-evolving high-technology field will spur growth and job creation.Read moreRead less
Visual tracking of multiple objects: A stochastic geometrical approach. Reliable real-time visual multiple-object tracking techniques will open up new applications that enhance the quality of life such as driving safety, traffic monitoring, home security, security and surveillance of public facilities. These new applications have huge commercial potentials, and the technology developed from this project will provide the catalyst for vibrant new industries to grow. In addition, the expertise deve ....Visual tracking of multiple objects: A stochastic geometrical approach. Reliable real-time visual multiple-object tracking techniques will open up new applications that enhance the quality of life such as driving safety, traffic monitoring, home security, security and surveillance of public facilities. These new applications have huge commercial potentials, and the technology developed from this project will provide the catalyst for vibrant new industries to grow. In addition, the expertise developed from the project will provide a competitive edge for Australian industries in aerospace, oceanography, robotics, remote sensing, and biomedical engineering. Read moreRead less
Image Based Visual Servo Control of Dynamic Under-Actuated Systems. The project builds on earlier work on visual servo control of under-actuated rigid body dynamics to develop and implement sophisticated and robust image based visual servo control for a wide class of under-actuated and fully actuated dynamic systems. The scope of the project extends far beyond basic testing of preliminary results to address key technical issues facing visual servo control algorithms at this time. The project i ....Image Based Visual Servo Control of Dynamic Under-Actuated Systems. The project builds on earlier work on visual servo control of under-actuated rigid body dynamics to develop and implement sophisticated and robust image based visual servo control for a wide class of under-actuated and fully actuated dynamic systems. The scope of the project extends far beyond basic testing of preliminary results to address key technical issues facing visual servo control algorithms at this time. The project is strongly motivated by the host of emerging applications for visual servo control of unmanned aerial vehicles. The experimental program within the project is based on control of a four rotor VTOL `hoverbot'.Read moreRead less
Algorithmics for Extremely Mobile Wireless Networks. Existing wireless network protocols need stringent conditions to be effective. These conditions are rarely met for concrete applications such as Defence, Disaster-Relief, Search-and-Rescue. All these cannot rely on existing infrastructure, and often require high mobility. This is crucial in the case of Australia which cannot rely on complete network coverage of its lands and seas. This project will develop new wireless protocols for applicati ....Algorithmics for Extremely Mobile Wireless Networks. Existing wireless network protocols need stringent conditions to be effective. These conditions are rarely met for concrete applications such as Defence, Disaster-Relief, Search-and-Rescue. All these cannot rely on existing infrastructure, and often require high mobility. This is crucial in the case of Australia which cannot rely on complete network coverage of its lands and seas. This project will develop new wireless protocols for applications requiring extreme mobility. It will increase Australia's control of this, now ubiquitous, technology thus rendering Australia a key player in this field.Read moreRead less
Holographic Videography for Spatial Communication. This project is aimed at developing a true colour holographic video display in which a user or users may interact with completely synthetic objects.
This will be the first system of its kind, giving a user the illusion of real physical interaction with a completely holographic object. The illusion may be shared by many participants without the use of external aids. The project has the potential to improve productivity in many applications suc ....Holographic Videography for Spatial Communication. This project is aimed at developing a true colour holographic video display in which a user or users may interact with completely synthetic objects.
This will be the first system of its kind, giving a user the illusion of real physical interaction with a completely holographic object. The illusion may be shared by many participants without the use of external aids. The project has the potential to improve productivity in many applications such as geospatial information systems, x-ray inspection, and medical imaging, by giving a user a much more natural way of interacting with three dimensional data.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
Systems to Support Knowledge Creation in Learning Organisations. The proposed project will investigate the capacity of IT to support knowledge making for innovation in modern organisations. Prototypes of three flexible computer-based systems will be iteratively developed and evaluated for their support of knowledge workers in three different industries. The investigators are experienced in socio-technical approaches, which will be used to emphasise the integration between people and IT systems ....Systems to Support Knowledge Creation in Learning Organisations. The proposed project will investigate the capacity of IT to support knowledge making for innovation in modern organisations. Prototypes of three flexible computer-based systems will be iteratively developed and evaluated for their support of knowledge workers in three different industries. The investigators are experienced in socio-technical approaches, which will be used to emphasise the integration between people and IT systems. An interpretive study will determine how the systems can contribute to organisational learning, performance, and responsiveness to change. The outcomes will inform the designers of such systems and show Australian organisations how to gain competitive advantage by expanding their capacity to learn.Read moreRead less