Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing impro ....Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing improved ways of military operation flows, and for making Australian security communication systems more dependable.Read moreRead less
Management of Complex Assets Using Smart Information Systems. The aim is to develop an integrative framework and a smart system for holistic asset management in order to manage and optimise asset decisions vis-a-vis shifts in customer and market needs. It will develop an advanced conceptual framework, a dedicated smart system that is capable of handling uncertainty often associated with decision making in large complex operations. The benefits of this research are: a more competitive indusry wit ....Management of Complex Assets Using Smart Information Systems. The aim is to develop an integrative framework and a smart system for holistic asset management in order to manage and optimise asset decisions vis-a-vis shifts in customer and market needs. It will develop an advanced conceptual framework, a dedicated smart system that is capable of handling uncertainty often associated with decision making in large complex operations. The benefits of this research are: a more competitive indusry with focus on markets; a smart system to demonstrate business-based decision making and generally a much more sophisticated approach to asset management.Read moreRead less