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
Crisis in chemistry: How do we best teach particle concepts for understanding? Fundamental chemistry knowledge is essential in the information age because citizens and professionals need to make informed decisions about GM technology, pollution and how to teach science. Chemistry learning is compromised by recurring intuitive and taught misconceptions about atoms and molecules. The widely documented misconceptions emphasise what students cannot do. This unique project studies students, teachers ....Crisis in chemistry: How do we best teach particle concepts for understanding? Fundamental chemistry knowledge is essential in the information age because citizens and professionals need to make informed decisions about GM technology, pollution and how to teach science. Chemistry learning is compromised by recurring intuitive and taught misconceptions about atoms and molecules. The widely documented misconceptions emphasise what students cannot do. This unique project studies students, teachers and international chemistry educators to develop a theoretical and practical model of what students can understand and do in primary, secondary and university chemistry with respect to atoms and molecules. The research will significantly improve chemistry teaching at the macroscopic, microscopic and symbolic levels.Read moreRead less
A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. ....A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. Increased international recognition will positively impact on future interactions with the service composition research groups in Europe and the USA.Read moreRead less