Tool-supported dataflow analysis of a security-critical embedded device

Defence organisations perform information security evaluations to confirm that electronic communications devices are safe to use in security-critical situations. Such evaluations include tracing all possible dataflow paths through the device, but this process is tedious and error-prone, so automated reachability analysis tools are needed to make security evaluations faster and more accurate. Previous research has produced a tool, SIFA, for dataflow analysis of basic digital circuitry, but it cannot analyse dataflow through microprocessors embedded within the circuit since this depends on the software they run. We have developed a static analysis tool that produces SIFA compatible dataflow graphs from embedded microcontroller programs written in C. In this paper we present a case study which shows how this new capability supports combined hardware and software dataflow analyses of a security critical communications device.

Critical constructability activities in building projects

Fundamental studies on constructability issue done in United States, United Kingdom and Australia illustrate capability of this concept to affect overall objectives of construction projects. It can result in significant cost and time savings and improved final quality by consideration of construction contractors experiences during conceptual planning and design phases. As intensive as these studies are, they do not attempt to investigate importance of these activities in order to find each of their specific barriers separately. This research explores Constructability Activities (CAs) in all project phases separately based on amount of contractors involvement in each activity and also amount of gap that exists between target and actual effects of each activity on achieving the final objectives of building projects in Malaysia. It ends to development of Critical Constructability Activities (CCAs). This research is crucial to gaining a better understanding of CCAs which are caused based on contractors higher participation percentage and larger gaps between their target and actual effects on achieving the final aims of the project. This research highlights the need to overcome barriers of CAs implementation in building projects. This study recommends construction stakeholders to concentrate more on CCAs in order to achieve the overall objectives of the project much faster and easier.

Drivers of satisfaction and dissatisfaction for overseas service consumers : a critical incident technique approach

This is one of the few studies in the academic literature that directly addresses inward exporting of customer services, which is a topic that has gained less attention from an international services marketing point of view. The objective of this study is to explore the drivers of satisfaction and dissatisfaction for overseas service customers of higher education in Australia. Critical incident technique (CIT) method was used to collect and analyse the data and a total of 107 critical incidents were collected. Findings from this study show that service satisfaction and dissatisfaction for international students derive from: elements of the core service (educational service performance), personal sources (international student performance), and the external environment (socialization and host environment performance). Additionally, results show that the drivers of satisfaction and dissatisfaction for international students are not necessarily the same. Limitations relating to the specific sector of higher education and the cross sectional natures of the data are addressed.

Supply chain sustainability : a relationship management approach moderated by culture and commitment

This paper explores the nature of relationship management on construction projects in Australia and examines the effects of culture, by means of Schwarz’s value survey, on relationships under different contract strategies. The research was based on the view that the development of a sustainable supply chain depends on the transfer of knowledge and capabilities from the larger players in the supply chain through collaboration brought about by relationship management. The research adopted a triangulated approach in which quantitative data were collected by questionnaire, interviews were conducted to explore and enrich the quantitative data and case studies were undertaken in order to illustrate and validate the fi ndings. The aim was to investigate how values and attitudes enhance or reduce the incorporation of the supply chain into the project. From the research it was found that the degree of match and mismatch between values and contract strategy impacts commitment and the engagement and empowerment of the supply chain.

Tissue engineering bone - reconstruction of critical sized segmental bone defects in a large animal model

Currently, well established clinical therapeutic approaches for bone reconstruction are restricted to the transplantation of autografts and allografts, and the implantation of metal devices or ceramic-based implants to assist bone regeneration. Bone grafts possess osteoconductive and osteoinductive properties, their application, however, is associated with disadvantages. These include limited access and availability, donor site morbidity and haemorrhage, increased risk of infection, and insufficient transplant integration. As a result, recent research focuses on the development of complementary therapeutic concepts. The field of tissue engineering has emerged as an important alternative approach to bone regeneration. Tissue engineering unites aspects of cellular biology, biomechanical engineering, biomaterial sciences and trauma and orthopaedic surgery. To obtain approval by regulatory bodies for these novel therapeutic concepts the level of therapeutic benefit must be demonstrated rigorously in well characterized, clinically relevant animal models. Therefore, in this PhD project, a reproducible and clinically relevant, ovine, critically sized, high load bearing, tibial defect model was established and characterized as a prerequisite to assess the regenerative potential of a novel treatment concept in vivo involving a medical grade polycaprolactone and tricalciumphosphate based composite scaffold and recombinant human bone morphogenetic proteins.

Power relations and small and medium-sized enterprise strategies for capturing value in global production networks: visual effects (VFX) service firm in the Hollywood film industry

Power relations and small and medium-sized enterprise strategies for capturing value in global production networks: visual effects (VFX) service firms in the Hollywood film industry, Regional Studies. This paper provides insights into the way in which non-lead firms manoeuvre in global value chains in the pursuit of a larger share of revenue and how power relations affect these manoeuvres. It examines the nature of value capture and power relations in the global supply of visual effects (VFX) services and the range of strategies VFX firms adopt to capture higher value in the global value chain. The analysis is based on a total of thirty-six interviews with informants in the industry in Australia, the United Kingdom and Canada, and a database of VFX credits for 3323 visual products for 640 VFX firms.

Continuing the critical analysis of 'meaningful relationships' in the context of the 'twin pillars'

This article continues the critical analysis of ‘meaningful relationships’ in the context of the operation of the ‘twin pillars’ which underpin the parenting provisions. It will be argued that the attitude of judicial officers to three key questions influence how they interpret this concept and consequently apply the best interest considerations. Relevant to this discussion is an examination of the Full Court’s approach to the key parenting sections, particularly the interaction of the primary and additional considerations. Against this backdrop, a current proposal to amend the ‘twin pillars’ will be examined.

Thermal profile of a near-adiabatic compression process in a cylindrical tube and establishment of critical control elements for repeatable process control

The compressed gas industry and government agencies worldwide utilize "adiabatic compression" testing for qualifying high-pressure valves, regulators, and other related flow control equipment for gaseous oxygen service. This test methodology is known by various terms including adiabatic compression testing, gaseous fluid impact testing, pneumatic impact testing, and BAM testing as the most common terms. The test methodology will be described in greater detail throughout this document but in summary it consists of pressurizing a test article (valve, regulator, etc.) with gaseous oxygen within 15 to 20 milliseconds (ms). Because the driven gas1 and the driving gas2 are rapidly compressed to the final test pressure at the inlet of the test article, they are rapidly heated by the sudden increase in pressure to sufficient temperatures (thermal energies) to sometimes result in ignition of the nonmetallic materials (seals and seats) used within the test article. In general, the more rapid the compression process the more "adiabatic" the pressure surge is presumed to be and the more like an isentropic process the pressure surge has been argued to simulate. Generally speaking, adiabatic compression is widely considered the most efficient ignition mechanism for directly kindling a nonmetallic material in gaseous oxygen and has been implicated in many fire investigations. Because of the ease of ignition of many nonmetallic materials by this heating mechanism, many industry standards prescribe this testing. However, the results between various laboratories conducting the testing have not always been consistent. Research into the test method indicated that the thermal profile achieved (i.e., temperature/time history of the gas) during adiabatic compression testing as required by the prevailing industry standards has not been fully modeled or empirically verified, although attempts have been made. This research evaluated the following questions: 1) Can the rapid compression process required by the industry standards be thermodynamically and fluid dynamically modeled so that predictions of the thermal profiles be made, 2) Can the thermal profiles produced by the rapid compression process be measured in order to validate the thermodynamic and fluid dynamic models; and, estimate the severity of the test, and, 3) Can controlling parameters be recommended so that new guidelines may be established for the industry standards to resolve inconsistencies between various test laboratories conducting tests according to the present standards?

A Delphi study on the critical sustainability criteria and indicators for Australian road infrastructure projects

With increasing media exposure and evidence of environmental impacts, it is increasingly recognized that incorporating sustainability principles in construction works is both crucial and beneficial. However a recent survey reveals that among stakeholders of infrastructure projects such as roads, there is no common understanding on what constitutes sustainability in real-life projects. Sustainability has been interpreted widely and differently and as a result, sustainability outcomes are not tangible at the project level or often neglected. Under such conditions, policies and strategies on sustainability remain largely ideological and cannot be sufficiently reflected in the actual project delivery. The major difficulty of this sustainability pursuit lies in the lack of consensus among the experts on sustainability criteria and indicators. To move ahead, these criteria and indicators are to be agreed upon. This paper reviews the sustainable infrastructure development, its criteria and indicators, focusing on road infrastructure context. It goes on to introduce a Delphi study, an integral part of a QUT research, aimed at identifying critical sustainability criteria and indicators for Australian road infrastructure projects. It paves the way for further identification of solutions for each critical indicator at a subsequent stage. The criteria, indicators and solutions will be encapsulated into a decision making framework for the enhancement of sustainability deliverables. By doing so, the research will promote more integrated thinking of and consistent approaches to the sustainability agenda in road and highway infrastructure projects in Australia.

'Homes for Life' : a critical ecological study of an independent living project

In this paper, an ‘ecological’ lens is applied to an independent living project aiming to provide ‘homes for life’ for adult children with disabilities. The qualities of the project as ecological praxis are highlighted along with the implications for an open-ended enquiry into ecologies for and of the interior. In terms of the ecological concern for intimate modes of being, interior design is shown to be well placed through its association with environments in which people spend most of their life and through powerful concepts such as ‘interiority’ and ‘home’ which link to fundamental existential notions of ‘self ’ and ‘identity’. However, despite the interior being a significant generative force, this has not happened to the exclusion of other disciplines. Ignoring territorial urges to claim areas and concepts as one’s own, the paper describes how the project has actively encouraged design disciplines to trespass in each other’s territories. Ecologies for and of the interior, while recognising the need for discipline emphasis, also demand an integrated and collective approach through what is in effect transdisciplinary practice.

From supply to demand-driven opportunities : unravelling the role of the customer in opportunity identification processes

Successful identification and exploitation of opportunities has been an area of interest to many entrepreneurship researchers. Since Shane and Venkataraman’s seminal work (e.g. Shane and Venkataraman, 2000; Shane, 2000), several scholars have theorised on how firms identify, nurture and develop opportunities. The majority of this literature has been devoted to understanding how entrepreneurs search for new applications of their technological base or discover opportunities based on prior knowledge (Zahra, 2008; Sarasvathy et al., 2003). In particular, knowledge about potential customer needs and problems that may present opportunities is vital (Webb et al., 2010). Whereas the role of prior knowledge of customer problems (Shane, 2003; Shepherd and DeTienne, 2005) and positioning oneself in a so-called knowledge corridor (Fiet, 1996) has been researched, the role of opportunity characteristics and their interaction with customer-related mechanisms that facilitate and hinder opportunity identification has received scant attention.

Mathematical modelling of tumour-induced angiogenesis

The growth of solid tumours beyond a critical size is dependent upon angiogenesis, the formation of new blood vessels from an existing vasculature. Tumours may remain dormant at microscopic sizes for some years before switching to a mode in which growth of a supportive vasculature is initiated. The new blood vessels supply nutrients, oxygen, and access to routes by which tumour cells may travel to other sites within the host (metastasize). In recent decades an abundance of biological research has focused on tumour-induced angiogenesis in the hope that treatments targeted at the vasculature may result in a stabilisation or regression of the disease: a tantalizing prospect. The complex and fascinating process of angiogenesis has also attracted the interest of researchers in the field of mathematical biology, a discipline that is, for mathematics, relatively new. The challenge in mathematical biology is to produce a model that captures the essential elements and critical dependencies of a biological system. Such a model may ultimately be used as a predictive tool. In this thesis we examine a number of aspects of tumour-induced angiogenesis, focusing on growth of the neovasculature external to the tumour. Firstly we present a one-dimensional continuum model of tumour-induced angiogenesis in which elements of the immune system or other tumour-cytotoxins are delivered via the newly formed vessels. This model, based on observations from experiments by Judah Folkman et al., is able to show regression of the tumour for some parameter regimes. The modelling highlights a number of interesting aspects of the process that may be characterised further in the laboratory. The next model we present examines the initiation positions of blood vessel sprouts on an existing vessel, in a two-dimensional domain. This model hypothesises that a simple feedback inhibition mechanism may be used to describe the spacing of these sprouts with the inhibitor being produced by breakdown of the existing vessel's basement membrane. Finally, we have developed a stochastic model of blood vessel growth and anastomosis in three dimensions. The model has been implemented in C++, includes an openGL interface, and uses a novel algorithm for calculating proximity of the line segments representing a growing vessel. This choice of programming language and graphics interface allows for near-simultaneous calculation and visualisation of blood vessel networks using a contemporary personal computer. In addition the visualised results may be transformed interactively, and drop-down menus facilitate changes in the parameter values. Visualisation of results is of vital importance in the communication of mathematical information to a wide audience, and we aim to incorporate this philosophy in the thesis. As biological research further uncovers the intriguing processes involved in tumourinduced angiogenesis, we conclude with a comment from mathematical biologist Jim Murray, Mathematical biology is : : : the most exciting modern application of mathematics.

From critique to cultural recovery: critical futures studies and casual layered analysis

Critical futures studies is not about the careers of a few scholars, rather it is about projects that transcend the narrow boundaries of the self. This biographical monograph examines the life and work of Richard Slaughter and Sohail Inayatullah.

Sustainable housing: family experiences with supply chain ethics

Climate change, resource depletion and increasing urbanization are converging global issues that are challenging the way we design, construct and operate buildings. The housing sector is a significant contributor to these global issues through consumption of limited resources, waste generation and disposal (solid, liquid and atmospheric waste) and negative human health impacts (Senick 2006). Although the design and construction of ‘sustainable housing’ would appear to be an obvious and technically feasible solution, there remains multi-faceted issues affecting the delivery of sustainable housing (Holloway and Bunker 2006). Two fundamental issues - what makes a house sustainable, and to what extent regulation should be used to deliver sustainability - have been, and continue to be, debated at multiple levels in society. Despite personal, professional and political views on these issues, three key characteristics of the whole housing supply chain require fundamental change if we are to successfully address sustainability challenges (Birkeland 2008). These include: fragmentation; established methods, practices and processes, and the relationships between players. A more in-depth understanding of the role of ethics (values, beliefs and standards) and potential ethical conflicts within the supply chain will assist in better defining the nature of the fundamental changes required...