Reducing the risks associated with developing large-scale, critical software-integrated systems. Industry, government and defence increasingly rely on large-scale, critical software-integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems ....Reducing the risks associated with developing large-scale, critical software-integrated systems. Industry, government and defence increasingly rely on large-scale, critical software-integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems and failures. This project builds on results from our current collaboration - a new method for modelling, analysis and defect detection for the requirements of large-scale systems. We will develop and scale-up to industry strength, simpler, more powerful, strategies for analysing, designing and providing the high level of assurance required.Read moreRead less
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
Information Security Evaluation of Embedded Computer Software. Safeguarding classified electronic communications is of major national importance. This research, into security evaluation of computer software, is supported by the Defence Signals Directorate, which verifies the security of communications devices used by Australia's government and armed forces. As such devices become increasingly sophisticated, traditional security evaluation techniques have become unacceptably difficult and costl ....Information Security Evaluation of Embedded Computer Software. Safeguarding classified electronic communications is of major national importance. This research, into security evaluation of computer software, is supported by the Defence Signals Directorate, which verifies the security of communications devices used by Australia's government and armed forces. As such devices become increasingly sophisticated, traditional security evaluation techniques have become unacceptably difficult and costly. Hardware evaluation techniques, based on tracing paths through circuitry diagrams, have proven unsuitable for software evaluations. Consequently, devising new tools and techniques for information security evaluation of embedded computer software is essential for preserving Australia's national security.Read moreRead less
A hardware accellerated platform for high-fidelity, high speed simulation of infrared scenes. Missiles present a major military and terrorist threat to aircraft and ships. A possible method to detect them is an infrared imaging system which is sensitive to a missile's spectrally unique rocket propulsion exhaust. It is both dangerous and expensive to conduct field trials; so simulation is used extensively. This project aims to use high performance computing to accelerate the slowest parts of the ....A hardware accellerated platform for high-fidelity, high speed simulation of infrared scenes. Missiles present a major military and terrorist threat to aircraft and ships. A possible method to detect them is an infrared imaging system which is sensitive to a missile's spectrally unique rocket propulsion exhaust. It is both dangerous and expensive to conduct field trials; so simulation is used extensively. This project aims to use high performance computing to accelerate the slowest parts of the industrial partner's existing simulations: the generation of simulated infrared images.
This project will improve the competitiveness of the manufacturer of infrared threat and warning systems and provide research training in an area of high performance computing.
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
Model Checking Knowledge and Probability in Pursuit-Evasion Games. The research will produce software enabling modellers to better understand their models in applications including planning under uncertainty, information flow security and systems fault diagnosis. The application studied in this project is military search and rescue mission planning, resulting in greater confidence in mission success. The research is also relevant to emergency response and collision avoidance. The project will ....Model Checking Knowledge and Probability in Pursuit-Evasion Games. The research will produce software enabling modellers to better understand their models in applications including planning under uncertainty, information flow security and systems fault diagnosis. The application studied in this project is military search and rescue mission planning, resulting in greater confidence in mission success. The research is also relevant to emergency response and collision avoidance. The project will support retention of Australian intellectual property with potential for future commercialisation. It will foster linkages between Australian researchers and an international defence alliance partner. Outcomes will be available to Australian Defence through existing Defence research sharing arrangements.Read moreRead less
Producing 3D video sequences from 2D input video. The project will develop new methods for extracting 3D information from existing films so that they may be used with 3D television monitors marketed by the industrial partner, Dynamic Digital Depth. The 3D representation will allow existing video material such as existing films, TV programs and news video to be viewed in 3D on a suitable 3D TV monitor. This will give a boost to the acceptance of 3D television and film as a preferred medium. Ex ....Producing 3D video sequences from 2D input video. The project will develop new methods for extracting 3D information from existing films so that they may be used with 3D television monitors marketed by the industrial partner, Dynamic Digital Depth. The 3D representation will allow existing video material such as existing films, TV programs and news video to be viewed in 3D on a suitable 3D TV monitor. This will give a boost to the acceptance of 3D television and film as a preferred medium. Expected outcome is a software system that will speed the conversion of 2D video to a 3D representation through automatic and interactive analysis techniques.Read moreRead less
Crisis management simulation: developing a methodology for transforming communication response. The ability of any large corporation or public institution to handle a crisis can have major economic, environmental, social or cultural consequences. For the Australian Defence Force (ADF), effective crisis management communication can literally mean life or death. This project merges cutting-edge digital games technology with applied drama techniques to produce a crisis management game to simulate ....Crisis management simulation: developing a methodology for transforming communication response. The ability of any large corporation or public institution to handle a crisis can have major economic, environmental, social or cultural consequences. For the Australian Defence Force (ADF), effective crisis management communication can literally mean life or death. This project merges cutting-edge digital games technology with applied drama techniques to produce a crisis management game to simulate conflict and crisis scenarios. Working closely with the ADF to better understand organisational communication under extreme pressure, this new approach will build teamwork and break down barriers to effective crisis management. The methodology developed will have global application to public and private organisations.
Read moreRead less
New Analytical Perspectives on the Algorithmic Complexity of the Hamiltonian Cycle Problem. Hamiltonian Cycle Problem (HCP), known - in the complexity theory of
algorithms -to be NP-hard is proposed for study, from three innovative,
separate (yet related) analytical perspectives: singularly perturbed
(controlled) Markov chains, that links the HCP with systems and control
theories; parametric nonconvex optimization, that links HCP with fast
interior point methods of modern optimization an ....New Analytical Perspectives on the Algorithmic Complexity of the Hamiltonian Cycle Problem. Hamiltonian Cycle Problem (HCP), known - in the complexity theory of
algorithms -to be NP-hard is proposed for study, from three innovative,
separate (yet related) analytical perspectives: singularly perturbed
(controlled) Markov chains, that links the HCP with systems and control
theories; parametric nonconvex optimization, that links HCP with fast
interior point methods of modern optimization and the spectral approach
based on a novel adaptation of Ihara-Selberg trace formula for regular
graphs. Our mathematical approach to this archetypal complex problem of graph
theory and discrete optimization promises to enhance the fundamental
understanding - and ultimate "managibility" - of the underlying
difficulty of HCP.
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