FPGA Controller Architectures for Safety Critical Applications. The project industry partner, Invensys Rail Systems, has a major design group in Australia, who work with railway signalling systems throughout the world. Invensys are keen to adopt new technologies to more efficiently and effectively implement signalling functions. However, the safety-critical nature of railway signalling means that any new technology must be analysed in detail to bring it to an acceptable technical readiness lev ....FPGA Controller Architectures for Safety Critical Applications. The project industry partner, Invensys Rail Systems, has a major design group in Australia, who work with railway signalling systems throughout the world. Invensys are keen to adopt new technologies to more efficiently and effectively implement signalling functions. However, the safety-critical nature of railway signalling means that any new technology must be analysed in detail to bring it to an acceptable technical readiness level. The outcomes of this research will be an improved technical readiness level for FPGAs in signalling systems, and this will allow Invensys' Australian design group to develop new technologies and allow them to compete more effectively in the global marketplace.Read moreRead less
A Paraconsistent Approach to Vagueness. This project will utilise logical techniques that have been developed largely by Australian logicians. This techniques will be brought to bear on the problem of vagueness, one of the most important problems in the philosophy of logic. The project will thus greatly enhance Australia's already strong international reputation in logic and philosophical logic.
Recently discovered rare manuscripts of mediaeval Pali subcommentaries: a missing link in Buddhist textual transmission. The project will "enhance Australia's capacity to interpret and engage with its regional environment through a greater understanding of languages, societies and cultures" (Research priority 4: Understanding our region and the world); it will deepen our understanding of religious and cultural traditions of many Buddhist countries, which constitute a substantial part of Australi ....Recently discovered rare manuscripts of mediaeval Pali subcommentaries: a missing link in Buddhist textual transmission. The project will "enhance Australia's capacity to interpret and engage with its regional environment through a greater understanding of languages, societies and cultures" (Research priority 4: Understanding our region and the world); it will deepen our understanding of religious and cultural traditions of many Buddhist countries, which constitute a substantial part of Australia's regional environment, and advance our knowledge of Buddhism, the fastest growing religion in Australia. Since this is the first project of its kind in the field of Pali studies, it will increase the international prestige of Australian research capability and open new possibilities for international cooperation in the field.Read moreRead less
The logical and metaphysical challenge of vague language. Where do we draw the line between life and death, tall and short, right and wrong? The vagueness or indeterminacy of such concepts prohibits easy answers. This projects aims to provide a philosophical analysis of such concepts which abound in natural language with a view to showing that orthodox views in logic and metaphysics are challenged by their presence. This analysis is to be published as a monograph whose significance lies in the f ....The logical and metaphysical challenge of vague language. Where do we draw the line between life and death, tall and short, right and wrong? The vagueness or indeterminacy of such concepts prohibits easy answers. This projects aims to provide a philosophical analysis of such concepts which abound in natural language with a view to showing that orthodox views in logic and metaphysics are challenged by their presence. This analysis is to be published as a monograph whose significance lies in the fact that it provides one of only four book-length treatments of the matter and does so from an entirely novel perspective.Read moreRead less
Are some languages better than others? It is important for the Australian community - speaking several hundred different indigenous and immigrant languages across the nation - to realise that each language has approximately (but not precisely) the same overall complexity as every other. One may have intricate word structure, while another has short words but elaborate rules for putting words together to make sentences. And, striding above 'political correctness', many people in Australia will be ....Are some languages better than others? It is important for the Australian community - speaking several hundred different indigenous and immigrant languages across the nation - to realise that each language has approximately (but not precisely) the same overall complexity as every other. One may have intricate word structure, while another has short words but elaborate rules for putting words together to make sentences. And, striding above 'political correctness', many people in Australia will be interested to know whether a certain language is a little more efficient than certain other languages for a particular purpose (for example, commercial business). Read moreRead less
Cycle decompositions of graphs. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. This project aims to solve long-standing and significant open problems in the field of mathematics known as graph theory. Solving such problems will undoubtedly bring Australian research in this field to the fore, and help to enhance Australia's international research profile generally. The project offers substantial postgraduate training in the form of t ....Cycle decompositions of graphs. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. This project aims to solve long-standing and significant open problems in the field of mathematics known as graph theory. Solving such problems will undoubtedly bring Australian research in this field to the fore, and help to enhance Australia's international research profile generally. The project offers substantial postgraduate training in the form of three excellent PhD projects in discrete mathematics. The computer age has ensured that this is a booming discipline and an increasing component of undergraduate syllabi around the world. It is thus a crucial area in which to be providing quality research training.Read moreRead less
Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will un ....Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will unify these two approaches for the first time by formally specifying and animating the very models used in cryptographic proofs. The result will be proofs that are uniquely accessible to practioners combined with increased confidence that the proofs are both correct and relevant.Read moreRead less
An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
Voices of Regional Australia: The linguistic patterning of local attachment. This project aims to investigate language and social dynamics among regional Australians, who, despite representing one third of the population, have been often neglected in the research to date. The project expects to generate new knowledge around regional attachment and the impact that has on speech patterns, adapting for the first time recently developed international metrics to the Australian context. Expected outco ....Voices of Regional Australia: The linguistic patterning of local attachment. This project aims to investigate language and social dynamics among regional Australians, who, despite representing one third of the population, have been often neglected in the research to date. The project expects to generate new knowledge around regional attachment and the impact that has on speech patterns, adapting for the first time recently developed international metrics to the Australian context. Expected outcomes include a better understanding of models of language change across urban and rural areas, and a novel dataset recording the stories of regional Australians, and in particular, their experiences facing bushfire. This should provide significant benefits as a record of life, language and community in regional Australia.Read moreRead less