Design and Formal Verification of Control and Data Acquisition Protocols. This research will develop new specification and verification techniques for remote control protocols, used among interconnected sites in supply utilities such as electricity grids, based on a proven formal methods technology. These protocols are used in the monitoring of data from remote sites, and the transmission of control commands to such sites from a central location. Benefits to the industrial partner include increa ....Design and Formal Verification of Control and Data Acquisition Protocols. This research will develop new specification and verification techniques for remote control protocols, used among interconnected sites in supply utilities such as electricity grids, based on a proven formal methods technology. These protocols are used in the monitoring of data from remote sites, and the transmission of control commands to such sites from a central location. Benefits to the industrial partner include increased assurance that their control technology does correctly realise the adopted protocols. Assurance of correctness is significant in that incorrect protocol implementation may cause errant operation of equipment, and lead to economic and environmental damage.Read moreRead less
Advanced computer simulations of star cluster evolution. The topic of this fellowship is dynamical simulations of star clusters using high-end graphics cards originally developed for the computer gaming industry. The proposed fellowship will thereby enhance Australia's capacity in the exploitation of high-performance computing and will give it a strong position in the new field of graphics card based simulations. The computer cluster built during the fellowship will also be an outstanding enviro ....Advanced computer simulations of star cluster evolution. The topic of this fellowship is dynamical simulations of star clusters using high-end graphics cards originally developed for the computer gaming industry. The proposed fellowship will thereby enhance Australia's capacity in the exploitation of high-performance computing and will give it a strong position in the new field of graphics card based simulations. The computer cluster built during the fellowship will also be an outstanding environment for the training of students. In addition, while Australia has a strong tradition in star cluster astronomy, it has so far not captured a leadership role in the theoretical analysis. The four years of this fellowship will allow it to establish a world-leading position in star cluster simulations.Read moreRead less
Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems. The project aims are:
to significantly advance our understanding of the key concepts needed to successfully exploit dynamic, run-time reconfigurable computing, a technology that is now becoming increasingly available due to developments in FPGA (Field Progammable Gate Array) devices, and
the development of an innovative high-level programming environment that will include a language, associated design method ....Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems. The project aims are:
to significantly advance our understanding of the key concepts needed to successfully exploit dynamic, run-time reconfigurable computing, a technology that is now becoming increasingly available due to developments in FPGA (Field Progammable Gate Array) devices, and
the development of an innovative high-level programming environment that will include a language, associated design methodologies, compilation techniques, and run-time support that will make dynamic reconfigurable computing accessible to a wide community of potential users.
Read moreRead less