Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0668447
Funder
Australian Research Council
Funding Amount
$320,000.00
Summary
Enterprise Grid Laboratory. Parallel and distributed processing can improve company profit, lower costs of design, production and deployment of new technologies, and create better business environments. To achieve this, new inexpensive parallel and distributed systems are needed. Research and initial developments show that such systems can be built based on enterprise grids. The understanding of enterprise grids, and in particular their operating systems, scheduling algorithms, load balancing, h ....Enterprise Grid Laboratory. Parallel and distributed processing can improve company profit, lower costs of design, production and deployment of new technologies, and create better business environments. To achieve this, new inexpensive parallel and distributed systems are needed. Research and initial developments show that such systems can be built based on enterprise grids. The understanding of enterprise grids, and in particular their operating systems, scheduling algorithms, load balancing, heterogeneity, transparency, applications deployment, is of the most critical importance for their development and taking them by industry and business. The new laboratory funded by this grant will place Australia at the forefront of research into the future generation of grids.Read moreRead less
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less