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
Software Quality Improvement Through Static Analysis and Annotation. Software forms the basis of critical infrastructure that supports industries such as electronic commerce. Flaws in the software can lead to failure of the overall system, or allow the security mechanisms of the software to be by-passed. This project is developing methods to improve the quality of software by finding common flaws that lead to security vulnerabilities or runtime failures. Within Australia, it is estimated that th ....Software Quality Improvement Through Static Analysis and Annotation. Software forms the basis of critical infrastructure that supports industries such as electronic commerce. Flaws in the software can lead to failure of the overall system, or allow the security mechanisms of the software to be by-passed. This project is developing methods to improve the quality of software by finding common flaws that lead to security vulnerabilities or runtime failures. Within Australia, it is estimated that there are approximately 75,000 software developers who make substantial use of C/C++ and who could benefit from the availability of better automatic static analysis tools to improve both the quality of the code they produce and their productivity.Read moreRead less
Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these system ....Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these systems in a way that allows one assess their dependability.
Australia industry is actively working in these areas through companies like Ansaldo Australia, in automated railway systems, and Boeing Australia, in the defence sector.Read moreRead less
Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlin ....Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlines within programs. This allows a partitioning of the development process into a machine-independent phase that derives a program to meet a high-level specification, and a machine-dependent phase that checks that the timing deadlines within the generated machine code are guaranteed to be met.Read moreRead less
Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, b ....Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, based on program refinement theory, that automatically translates specification statements in programs into executable code. Such an outcome will ultimately improve the speed, accuracy and cost-effectiveness of critical software development.Read moreRead less
The role of subject-matter knowledge in teaching science and mathematics: Practices of teachers with advanced qualifications in the sciences. High quality science and mathematics education is central to economic prosperity. This study will achieve two outcomes. Firstly it explores the importance of subject matter knowledge in teaching. Much has been studied about the knowledge of teachers but limited research has been conducted with teachers who have substantial subject-matter knowledge. These f ....The role of subject-matter knowledge in teaching science and mathematics: Practices of teachers with advanced qualifications in the sciences. High quality science and mathematics education is central to economic prosperity. This study will achieve two outcomes. Firstly it explores the importance of subject matter knowledge in teaching. Much has been studied about the knowledge of teachers but limited research has been conducted with teachers who have substantial subject-matter knowledge. These findings will inform the current debate about the appropriate models of teacher education and the balance of emphasis on content knowledge and pedagogical knowledge. Secondly, given a number of attempts to attract mid career professionals with high qualifications to teaching, the study will provide evidence on how these people transition to their new careers and what support is needed.Read moreRead less
Comparative effectiveness of three literacy teaching approaches for young children with reading difficulties. This project addresses concerns expressed by the Minister for Education, Science and Training, and the Australian Senate in regard to the relative poor performance of Australian children in national reading tests. Specifically, the project seeks to identify the most effective early literacy instructional method or methods to redress the growing concern that Australian children are droppi ....Comparative effectiveness of three literacy teaching approaches for young children with reading difficulties. This project addresses concerns expressed by the Minister for Education, Science and Training, and the Australian Senate in regard to the relative poor performance of Australian children in national reading tests. Specifically, the project seeks to identify the most effective early literacy instructional method or methods to redress the growing concern that Australian children are dropping behind in international competitiveness in reading and literacy achievement. The study concentrates on early reading development and to inform on teacher education and classroom teaching practices. Read moreRead less
Researching Collective Argumentation in Mathematics and Science Classrooms. The project will provide evidence-based pedagogical strategies for the reform of classroom teaching and learning in the crucial areas of mathematics and science. We will develop a form of pedagogy (Collective Argumentation) that enables students to be confident in deploying mathematical and scientific knowledge and skills in relation to the economic and social choices that they make in everyday contexts. Collective Argum ....Researching Collective Argumentation in Mathematics and Science Classrooms. The project will provide evidence-based pedagogical strategies for the reform of classroom teaching and learning in the crucial areas of mathematics and science. We will develop a form of pedagogy (Collective Argumentation) that enables students to be confident in deploying mathematical and scientific knowledge and skills in relation to the economic and social choices that they make in everyday contexts. Collective Argumentation can induct students into 'habits of mind and social practices' necessary for building an innovative learning community. This project will enable us to extend this innovative approach and to further develop its effectiveness.Read moreRead less
Telling Tales from the Bush: Gender, rurality and post-school transitions. The completion of formal schooling is a critical point of decision-making for all young Australians, but it is particularly critical for young men and women from the bush, who are often already disadvantaged in the quality of schooling they receive, and their access to facilities and opportunities. This longitudinal study will address a significant research gap in this area, by analysing the potentially limiting effect g ....Telling Tales from the Bush: Gender, rurality and post-school transitions. The completion of formal schooling is a critical point of decision-making for all young Australians, but it is particularly critical for young men and women from the bush, who are often already disadvantaged in the quality of schooling they receive, and their access to facilities and opportunities. This longitudinal study will address a significant research gap in this area, by analysing the potentially limiting effect gender constructs can play in the decision-making and life trajectories of these young adults. By so doing, the study contributes directly to the national interest by improving the social and economic futures of rural Australians.Read moreRead less
Emotional Transitions: Exploring Professional Transitions of Science Teachers. Research most needed to inform policy and practice for improving teacher education and the retention of new-science teachers is that which captures the experiences and development of the new teacher, particularly in the critical transition period from university to full-time work in schools. This period is fundamental to becoming a satisfied and effective teacher. Our study contributes significantly to national concer ....Emotional Transitions: Exploring Professional Transitions of Science Teachers. Research most needed to inform policy and practice for improving teacher education and the retention of new-science teachers is that which captures the experiences and development of the new teacher, particularly in the critical transition period from university to full-time work in schools. This period is fundamental to becoming a satisfied and effective teacher. Our study contributes significantly to national concerns for quality-teacher education by providing new insights into the emotions and identities of transitioning-science teachers in practice. The proposed study also models innovative procedures that can enrich subsequent longitudinal studies of teacher transitions and impact of teacher-education programs.Read moreRead less