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
Special Research Initiatives - Grant ID: SR0354735
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Australian Network on Microelectronics, Optoelectronics and Microelectromechanical Systems. The Network will encompass semiconductor microelectronics, optoelectronics, sensors and microelectromechanical systems (MEMS). Fundamental research in these areas enables the technological advances that underpin rapidly developing industries such as information and telecommunications technologies, defence, aerospace, medicine, and remote sensing. Exciting challenges exist in designing new devices that exp ....Australian Network on Microelectronics, Optoelectronics and Microelectromechanical Systems. The Network will encompass semiconductor microelectronics, optoelectronics, sensors and microelectromechanical systems (MEMS). Fundamental research in these areas enables the technological advances that underpin rapidly developing industries such as information and telecommunications technologies, defence, aerospace, medicine, and remote sensing. Exciting challenges exist in designing new devices that exploit unique semiconductor systems and technologies. By sharing capabilities and resources (both capital and human), the network will enable the issues associated with such novel materials and devices to be addressed in a targeted manner. The network will also guarantee the ongoing future of research in the area by actively involving early career researchers and postgraduate students.Read moreRead less
High-speed bidirectional optical interconnects for board-to-board communications. The project will contribute directly to Australia's participation in various ICT industries through the development of innovative solutions and will increase the knowledge and skills base in silicon-photonics. The development of the proposed board-to-board high-speed optical interconnect prototypes will result in R&D outcomes well-matched to the needs and interests of Australian companies; this project will assist ....High-speed bidirectional optical interconnects for board-to-board communications. The project will contribute directly to Australia's participation in various ICT industries through the development of innovative solutions and will increase the knowledge and skills base in silicon-photonics. The development of the proposed board-to-board high-speed optical interconnect prototypes will result in R&D outcomes well-matched to the needs and interests of Australian companies; this project will assist Australia to capitalise on new technology and to become a significant player in the next ICT boom. This project will put Australia at the cutting edge of high-speed interconnect technology and will generate income through licensing the technology and the establishment of spin-off opportunities in both Australia and off-shore.Read moreRead less
Smart CMOS Vision Sensors in Deep Sub-0.25um CMOS Technologies. This research project aims to develop a new generation of smart vision sensors featuring on-chip and pixel-level implementation of human vision based algorithms. Built in state-of-the-art deep sub-0.25um CMOS technologies, these imagers will feature extensive in-pixel processing power in contrast to the currently commercially available CMOS vision sensors. This will enable on-chip vision-based decision making but also increased on-c ....Smart CMOS Vision Sensors in Deep Sub-0.25um CMOS Technologies. This research project aims to develop a new generation of smart vision sensors featuring on-chip and pixel-level implementation of human vision based algorithms. Built in state-of-the-art deep sub-0.25um CMOS technologies, these imagers will feature extensive in-pixel processing power in contrast to the currently commercially available CMOS vision sensors. This will enable on-chip vision-based decision making but also increased on-chip image processing. These innovative system-on-chip features will contribute towards the positioning of CMOS imaging technology as the technology of choice for most digital imaging applications, in place of the existing, and so far unchallenged, CCD technology.
Read moreRead less
Development of an advanced semiconductor characterisation capability for infrared focal plane array applications. Australian access to world leading technology in state-of-the-art infrared detectors is key to future advanced systems for defence surveillance and sensing, mineral exploration, biomedical instrumentation, precision agriculture, environmental monitoring and homeland security. This project will ensure that Australia contributes to an integral component required in the development of t ....Development of an advanced semiconductor characterisation capability for infrared focal plane array applications. Australian access to world leading technology in state-of-the-art infrared detectors is key to future advanced systems for defence surveillance and sensing, mineral exploration, biomedical instrumentation, precision agriculture, environmental monitoring and homeland security. This project will ensure that Australia contributes to an integral component required in the development of these technologies allowing early access to future systems. It will also enable Austarlia to play a leading role in setting the research directions for infrared materials that will place Australian research at the forefront in this area.Read moreRead less