Data flow analysis of embedded program expressions

Data flow analysis techniques can be used to help assess threats to data confidentiality and integrity in security critical program code. However, a fundamental weakness of static analysis techniques is that they overestimate the ways in which data may propagate at run time. Discounting large numbers of these false-positive data flow paths wastes an information security evaluator's time and effort. Here we show how to automatically eliminate some false-positive data flow paths by precisely modelling how classified data is blocked by certain expressions in embedded C code. We present a library of detailed data flow models of individual expression elements and an algorithm for introducing these components into conventional data flow graphs. The resulting models can be used to accurately trace byte-level or even bit-level data flow through expressions that are normally treated as atomic. This allows us to identify expressions that safely downgrade their classified inputs and thereby eliminate false-positive data flow paths from the security evaluation process. To validate the approach we have implemented and tested it in an existing data flow analysis toolkit.

An evaluation of the pattern and structure mathematics awareness program in the early school years

This paper reports a 2-year longitudinal study on the effectiveness of the Pattern and Structure Mathematical Awareness Program (PASMAP) on students’ mathematical development. The study involved 316 Kindergarten students in 17 classes from four schools in Sydney and Brisbane. The development of the PASA assessment interview and scale are presented. The intervention program provided explicit instruction in mathematical pattern and structure that enhanced the development of students’ spatial structuring, multiplicative reasoning, and emergent generalisations. This paper presents the initial findings of the impact of the PASMAP and illustrates students’ structural development.

goDesign travelling design workshop program for regional secondary students

goDesign Travelling Workshop Program for Regional Secondary Students was an initiative of Queensland University of Technology (QUT) and the Design Institute of Australia (DIA) Queensland Branch, which aligned with the DIA unleashed: Queensland design on tour 2010 Exhibition. It was designed be delivered by university design academics in state secondary schools in Chinchilla, Mt Isa, Quilpie, Emerald, Gladstone and Bundaberg between February and September 2010, to approximately 95 secondary students and 24 teachers from the subject areas of visual art, graphics and industrial technology and design. A talk by a visiting design practitioner whose work was displayed in the exhibition, also features in the final day of the program in each town, and student work from the workshop was displayed in the exhibition alongside the professional design work. The three-day workshop is a design immersion program for regional Queensland Secondary Schools, which responds to specific actions outlined in the Queensland Government Design Strategy 2020 to ‘Build Design Knowledge and Learning’ and ‘Foster a Design Culture’. Underpinned by a place-based approach and the integration of Dr Charles Burnette’s IDESIGN teaching model, the program gives students and teachers the opportunity to explore, analyse and reimagine their local town through a series of scaffolded problem solving activities around the theme of ‘place’. The program allows students to gain hands-on experience designing graphics, products, interior spaces and architecture to assist their local community, with the support of design professionals. Students work individually and in groups on real design problems learning sketching, making, communication, presentation and collaboration skills to improve their design process, while considering social, cultural and environmental opportunities. The program was designed to facilitate an understanding of the value of design thinking and its importance to regional communities, to give students more information about various design disciplines as career options, and provide a professional development opportunity for teachers. Advisory assistance for the program was gained through Kelvin Grove State College, Queensland Studies Authority and QMI/Manufacturing Skills Queensland Manager, Manufacturing & Engineering Gateway Schools Project.

Stepping Stones A world-Class Mathematics program for the Australian Curriculum Year 1 (Student Journal)

ORIGO Stepping Stones gives mathematics teachers the best of both worlds by delivering lessons and teacher guides on a digital platform blended with the more traditional printed student journals. This uniquely interactive program allows students to participate in exciting learning activites whilst still allowing the teacher to maintain control of learning outcomes. It is the first program in Australia to give teachers activities to differentiate instruction within each lesson and across school years. Written by a team of Australia's leading mathematics educators, this program integrates key research findings in a practical sequence of modules and lessons providing schools with a step-by-step approach to the new curriculum. Click links on the right to explore the program.

Demand for public hospital emergency department services in Australia : 2000–2001 to 2009–2010

Objective: Hospital EDs are a significant and high-profile component of Australia’s health-care system, which in recent years have experienced considerable crowding. This crowding is caused by the combination of increasing demand, throughput and output factors. The aim of the present article is to clarify trends in the use of public ED services across Australia with a view to providing an evidence basis for future policy analysis and discussion. Methods: The data for the present article have been extracted, compiled and analysed from publicly available sources for a 10 year period between 2000–2001 and 2009–2010. Results: Demand for public ED care increased by 37% over the decade, an average annual increase of 1.8% in the utilization rate per 1000 persons. There were significant differences in utilization rates and in trends in growth among states and territories that do not easily relate to general population trends alone. Conclusions: This growth in demand exceeds general population growth, and the variability between states both in utilization rates and overall trends defies immediate explanation. The growth in demand for ED services is a partial contributor to the crowding being experienced in EDs across Australia. There is a need for more detailed study, including qualitative analysis of patient motivations in order to identify the factors driving this growth in demand.

Communities of practice : building organisational capability through an undergraduate assurance of learning program

This study explores academic perceptions of organizational capability and culture following a project to develop a quality assurance of learning program in a business school. In the project a community of practice structure was established to include academics in the development of an embedded, direct assurance of learning program affecting more than 5000 undergraduate students and 250 academics from nine different disciplines across four discipline based departments. The primary outcome from the newly developed and implemented assurance of learning program was the five year accreditation of the business school’s programs by two international accrediting bodies, EQUIS and AACSB. This study explores a different outcome, namely perceptions of organizational culture and individual capabilities as academics worked together in teaching teams and communities. This study uses a survey and interviews with academics involved, through a retrospective panel design consisting of an experimental group and a control group. Results offer insights into communities of practice as a means of encouraging new individual and organizational capability and strategic culture adaptation.

Application of operations research techniques to improve efficiency in the emergency department

The main aim of this thesis is to analyse and optimise a public hospital Emergency Department. The Emergency Department (ED) is a complex system with limited resources and a high demand for these resources. Adding to the complexity is the stochastic nature of almost every element and characteristic in the ED. The interaction with other functional areas also complicates the system as these areas have a huge impact on the ED and the ED is powerless to change them. Therefore it is imperative that OR be applied to the ED to improve the performance within the constraints of the system. The main characteristics of the system to optimise included tardiness, adherence to waiting time targets, access block and length of stay. A validated and verified simulation model was built to model the real life system. This enabled detailed analysis of resources and flow without disruption to the actual ED. A wide range of different policies for the ED and a variety of resources were able to be investigated. Of particular interest was the number and type of beds in the ED and also the shift times of physicians. One point worth noting was that neither of these resources work in isolation and for optimisation of the system both resources need to be investigated in tandem. The ED was likened to a flow shop scheduling problem with the patients and beds being synonymous with the jobs and machines typically found in manufacturing problems. This enabled an analytic scheduling approach. Constructive heuristics were developed to reactively schedule the system in real time and these were able to improve the performance of the system. Metaheuristics that optimised the system were also developed and analysed. An innovative hybrid Simulated Annealing and Tabu Search algorithm was developed that out-performed both simulated annealing and tabu search algorithms by combining some of their features. The new algorithm achieves a more optimal solution and does so in a shorter time.

Demand for hospital emergency departments : a conceptual understanding

BACKGROUND: Emergency departments (EDs) are critical to the management of acute illness and injury, and the provision of health system access. However, EDs have become increasingly congested due to increased demand, increased complexity of care and blocked access to ongoing care (access block). Congestion has clinical and organisational implications. This paper aims to describe the factors that appear to infl uence demand for ED services, and their interrelationships as the basis for further research into the role of private hospital EDs. DATA SOURCES: Multiple databases (PubMed, ProQuest, Academic Search Elite and Science Direct) and relevant journals were searched using terms related to EDs and emergency health needs. Literature pertaining to emergency department utilisation worldwide was identified, and articles selected for further examination on the basis of their relevance and significance to ED demand. RESULTS: Factors influencing ED demand can be categorized into those describing the health needs of the patients, those predisposing a patient to seeking help, and those relating to policy factors such as provision of services and insurance status. This paper describes the factors influencing ED presentations, and proposes a novel conceptual map of their interrelationship. CONCLUSION: This review has explored the factors contributing to the growing demand for ED care, the influence these factors have on ED demand, and their interrelationships depicted in the conceptual model.

Peer state assessment of TxDOT maintenance program and practices, part II : test section survey findings and recommendations

This paper presents a road survey as part of a workshop conducted by the Texas Department of Transportation (TxDOT) to evaluate and improve the maintenance practices of the Texas highway system. Directors of maintenance from six peer states (California, Kansas, Georgia, Missouri, North Carolina, and Washington) were invited to this 3-day workshop. One of the important parts of this workshop was a Maintenance Test Section Survey (MTSS) to evaluate a number of pre-selected one-mile roadway sections. The workshop schedule allowed half a day to conduct the field survey and 34 sections were evaluated. Each of the evaluators was given a booklet and asked to rate the selected road sections. The goals of the MTSS were to: 1. Assess the threshold level at which maintenance activities are required as perceived by the evaluators from the peer states; 2. Assess the threshold level at which maintenance activities are required as perceived by evaluators from other TxDOT districts; and 3. Perform a pilot evaluation of the MTSS concept. This paper summarizes the information obtained from survey and discusses the major findings based on a statistical analysis of the data and comments from the survey participants.