Automatic generation of assertions to detect potential security vulnerabilities in C programs that use union and pointer types

Type unions, pointer variables and function pointers are a long standing source of subtle security bugs in C program code. Their use can lead to hard-to-diagnose crashes or exploitable vulnerabilities that allow an attacker to attain privileged access over classified data. This paper describes an automatable framework for detecting such weaknesses in C programs statically, where possible, and for generating assertions that will detect them dynamically, in other cases. Exclusively based on analysis of the source code, it identifies required assertions using a type inference system supported by a custom made symbol table. In our preliminary findings, our type system was able to infer the correct type of unions in different scopes, without manual code annotations or rewriting. Whenever an evaluation is not possible or is difficult to resolve, appropriate runtime assertions are formed and inserted into the source code. The approach is demonstrated via a prototype C analysis tool.

A general-purpose simulator for train operations

Computer simulation has been widely accepted as an essential tool for the analysis of many engineering systems. It is nowadays perceived to be the most readily available and feasible means of evaluating operations in real railway systems. Based on practical experience and theoretical models developed in various applications, this paper describes the design of a general-purpose simulation system for train operations. Its prime objective is to provide a single comprehensive computer-aided engineering tool for most studies on railway operations so that various aspects of the railway systems with different operation characteristics can be investigated and analysed in depth. This system consists of three levels of simulation. The first is a single-train simulator calculating the running time of a train between specific points under different track geometry and traction conditions. The second is a dual-train simulator which is to find the minimum headway between two trains under different movement constraints, such as signalling systems. The third is a whole-system multi-train simulator which carries out process simulation of the real operation of a railway system according to a practical or planned train schedule or headway; and produces an overall evaluation of system performance.

A multi-train movement simulator with moving blocking signalling

Abstract Being as a relatively new approach of signalling, moving-block scheme significantly increases line capacity, especially on congested railways. This paper describes a simulation system for multi-train operation under moving-block signalling scheme. The simulator can be used to calculate minimum headways and safety characteristics under pre-set timetables or headways and different geographic and traction conditions. Advanced software techniques are adopted to support the flexibility within the simulator so that it is a general-purpose computer-aided design tool to evaluate the performance of moving block signalling.

Small and medium enterprises’ solution to improve on-site waste management in office building retrofit projects

Office building retrofit projects are increasingly more intensified as existing buildings are aging. At the same time, building owners and occupants are looking for environmentally sustainable products. These retrofit projects usually take place in center business district (CBDs) with on-site waste becoming one of the critical issues. Small and Medium Enterprises (SMEs) carry out most of the work in retrofit projects as subcontractors. Despite their large involvement, they often do not have adequate resources to deal with the specific technical challenges and project risks related to waste. Few research has been done on their performance of waste management operations. This paper identifies characteristics of on-site waste in office building retrofit projects. It examines the specific requirements for contractors to manage waste in the projects before exploring the existing performance of SMEs. By comparing requirements for SMEs and their potential areas for improvement, a framework is established for performance promotion of SMEs in on-site waste management of office building retrofit projects. The paper will raise the consciousness and commitment of SMEs as sub-contractors to waste management. It also explores ways of supporting SMEs for experience accumulation, performance promotion and project culture establishment towards effective and efficient on-site waste management in the growing sector of office building retrofit and upgrade.

Raised Floor System applications for refurbishing office spaces

While raised floors as a building component has been around since the 70's, its application in terms of a holistic system in the fit-out of commercial office buildings has not been fully embraced due to some inherent problems and negative perceptions of the stakeholders involved. Today, the new generation of raised floor systems(RFS) offers a suite of innovative and integrated products and solutions, and as such are not only suitable for the changing office space requirements, but also capable of meeting tbe smart and sustainable challenges, which are becoming the prerequisite in the refurbishment of existing buildings. As there has been a prediction for continued growth in refurbishment projects in major cities around the globe, RFS as an alternative methodology warrants new examination and highlight. This paper introduces research recently completed in Australia that provided a holistic approach to the application of RFS enabled by intelligent building technologies, and examined key issues of project development when refurbishing commercial office buildings. It focuses on the constructability of RFS, and how it will respond to smart feature requirements in buildings while extending service life, meeting new organisational change and workplace health needs for applications in today's office environment. It also introduces key project procurement issues and the integrated decision support when dealing with the refurbishment of office buildings. The paper recommends procurement strategies as well as the justification of adopting the RFS technology in the Australian office building sector. Given the current economic downturn, refitting as opposed to new build .projects will come onto the spotlight. This paper will provide valuable information for building owners and developers alike when contemplating the retrofit of office buildings.

Influencing factors on kaolinite-potassium acetate intercalation complexes

This paper presents an immersion method for preparing the kaolinite-potassium acetate intercalation complexes. The effectiveness of intercalation and influencing factors were analysed and evaluated. The results show that the intercalation of kaolinite by potassium acetate is strongly related to crystallinity of kaolinite, concentration of intercalating agent solution, aging time and pH. The well-crystallized kaolinite is conducive to intercalation by potassium acetate. A higher concentration of intercalating agent (≥30%) can complete the intercalation in a short time (<12h), but at lower concentrations intercalation took significantly longer (≥144h). The weak alkaline condition of pH=10 proved to be the most suitable environment for the formation of intercalation complex. A good intercalated complex can be obtained at room temperature.

Effect of acupressure on thirst in hemodialysis patients

Background: Thirst and dry mouth are common among hemodialysis (HD) patients. This paper reports a study to evaluate the impact of an acupressure program on HD patients’ thirst and salivary flow rates. Methods: The acupressure program included placebo, followed by true acupressure each applied for 4 weeks. Twenty-eight patients (mean age 57.6, SD = 16.13 years) first received a sticker as placebo acupressure at two acupoints CV23 and TE17 three times a week for 4 weeks, and then received true acupressure in the same area for the next 4 weeks. Salivary flow rate and thirst intensity were measured at baseline, during and after treatment completion for both the placebo and true acupressure program. Results: The true acupressure program was associated with significantly increased salivary flow rate (0.09 ± 0.08 ml/min at baseline to 0.12 ± 0.08 ml/min after treatments completion, p = 0.04). The mean thirst intensity also improved from 4.21 ± 2.66 at baseline to 2.43 ± 2.32 (p = 0.008) after treatment completion in HD patients. There was no statistically significant difference in pre-post program salivary flow rate; however, significant improvement in thirst intensity scores was observed (p = 0.009) in the placebo acupressure program. Conclusion: This study provides preliminary evidence that acupressure may be effective in improving salivary flow rates and thirst intensity.

EduBuilding: material selection from life cycle costing sensitivity

Life Cycle Cost Analysis provides a form of synopsis of the initial and consequential costs of building related decisions. These cost figures may be implemented to justify higher investments, for example, in the quality or flexibility of building solutions through a long term cost reduction. The emerging discipline of asset mnagement is a promising approach to this problem, because it can do things that techniques such as balanced scorecards and total quantity cannot. Decisions must be made about operating and maintaining infrastructure assets. An injudicious sensitivity of life cycle costing is that the longer something lasts, the less it costs over time. A life cycle cost analysis will be used as an economic evaluation tool and collaborate with various numbers of analyses. LCCA quantifies incurring costs commonly overlooked (by property and asset managers and designs) as replacement and maintenance costs. The purpose of this research is to examine the Life Cycle Cost Analysis on building floor materials. By implementing the life cycle cost analysis, the true cost of each material will be computed projecting 60 years as the building service life and 5.4% as the inflation rate percentage to classify and appreciate the different among the materials. The analysis results showed the high impact in selecting the floor materials according to the potential of service life cycle cost next.

An analysis of the Brisbane residential property market and the global financial crisis

The period from 2007 to 2009 covered the residential property boom from early 2000, to the property recession following the Global Financial Crisis. Since late 2008, a number of residential property markets have suffered significant falls in house prices, buth this has not been consistent across all market sectors. This paper will analyze the housing market in Brisbane Australia to determine the impact, similarities and differences that the4 GFC had on range of residential sectors across a divesified property market. Data analysis will provide an overview of residential property prices, sales and listing volumes over the study period and will provide a comparison of median house price performance across the geographic and socio-economic areas of Brisbane.

What is the impact of land tenure on the sustainability of retirement village communities in Australia?

In 2005, 17.3% of Australians were aged 60 years and older according to the Australian Bureau of statistics (ABS). According to aBS this situation mirrors the poulation profile of other developed countries such as Canada, New Zealand, the United States of America and to some extent the United Kingdom (ABS). Self contained independent living units in retirement Villages are now contributing to the dwellings available for those aged 55 years and over in Australia and the retirement village sector has become a significant sector within the residential property market. However, the method of operaton of many retirement villages, and the lack of freehold tenure, impacts on the desireability of retirement village life to potential residents. This paper focuses on sustainability from the perspective of the ongoing viability of retirement village operations in light of the impact of land tenure and operational issues on the perceptions of potential residents.

The determinants of multinational contractors' willingness to bid for Australian public sector major infrastructure projects : towards deploying the eclectic paradigm of internationalisation

Against a background of already thin markets in some sectors of major public sector infrastructure in Australia and the desire of Australian federal government to leverage private finance, concerns about ensuring sufficient levels of competition are prompting federal government to seek new sources of in-bound Foreign Direct Income. The aim of this paper is to justify and develop a means to deploying the eclectic paradigm of internationalisation that forms part of an Australian federally funded research project designed to explain the determinants of multinational contractors' willingness to bid for Australian public sector major infrastructure projects. Despite the dominance of the eclectic paradigm as a theory of internationalisation for over two decades, it has seen limited application in terms of multinational construction. It is expected that the research project will be the first empirical study to deploy the eclectic paradigm to inbound FDI to Australia whilst using the dominant economic theories advocated for use within the eclectic paradigm. Furthermore, the research project is anticipated to yield a number of practical benefits. These include estimates of the potential scope to attract more multinational contractors to bid for Australian public sector infrastructure, including the nature and extent to which this scope can be influenced by Australian governments responsible for the delivery of infrastructure. On the other hand, the research is also expected to indicate the extent to which indigenous and other multinational contractors domiciled in Australia are investing in special purpose technology and achieving productivity gains relative to foreign multinational contractors.

Delivering value for money in the procurement of public sector major infrastructure : a new first-order decision making model

The significant challenge faced by government in demonstrating value for money in the delivery of major infrastructure resolves around estimating costs and benefits of alternative modes of procurement. Faced with this challenge, one approach is to focus on a dominant performance outcome visible on the opening day of the asset, as the means to select the procurement approach. In this case, value for money becomes a largely nominal concept and determined by selected procurement mode delivering, or not delivering, the selected performance outcome, and notwithstanding possible under delivery on other desirable performance outcomes, as well as possibly incurring excessive transaction costs. This paper proposes a mind-set change in this particular practice, to an approach in which the analysis commences with the conditions pertaining to the project and proceeds to deploy transaction cost and production cost theory to indicate a procurement approach that can claim superior value for money relative to other competing procurement modes. This approach to delivering value for money in relative terms is developed in a first-order procurement decision making model outlined in this paper. The model developed could be complementary to the Public Sector Comparator (PSC) in terms of cross validation and the model more readily lends itself to public dissemination. As a possible alternative to the PSC, the model could save time and money in preparation of project details to lesser extent than that required in the reference project and may send a stronger signal to the market that may encourage more innovation and competition.

Ecological sustainable development: a study of the obstacles in Australia's construction industry

Ecological sustainable development (ESD), defined as that which meets the needs of the present without compromising the ability of future generations to meet their own needs, has much to offer in enhancing the quality of life of people and maintaining the environment for future generations by reducing the pollution of water, air and land, minimizing the destruction of irreplaceable ecosystems and cutting down the amount of toxic materials released. However, there is still much to do to achieve full implementation world-wide. This paper reports on three factors-design, attitudes and financial constraints - that are likely barriers to the implementation of ESD within the built environment in Australian industry. A postal questionnaire survey is described aimed at soliciting views on detailed aspects of the factors. This shows that ESD in the Australian built environment has also not been successfully implemented. The main reason is found to be due to the perceived costs involved - the cost of using environmental materials being a predominant factor. The design of ESD, being more sophisticated, also is perceived as involving stakeholders in more expense. There also appears to be a lack of knowledge and a lack of specialised and interdisciplinary design teams available in the Australian context.

Application of infrared emission spectroscopy to the thermal transition of indium hydroxide to indium oxide nanocubes

Cubic indium hydroxide nanomaterials were obtained by a low temperature soft-chemical method without any surfactants. The transition of nano-cubic indium hydroxide to cubic indium oxide during dehydroxylation has been studied by infrared emission spectroscopy. The spectra are related to the structure of the materials and the changes in the structure upon thermal treatment. The infrared absorption spectrum of In(OH)3 is characterised by an intense OH deformation band at 1150 cm-1 and two O-H stretching bands at 3107 and 3221 cm-1. In the infrared emission spectra, the hydroxyl-stretching and hydroxyl-bending bands diminish dramatically upon heating, and no intensity remains after 200 °C. However, new low intensity bands are found in the OH deformation region at 915 cm-1 and in OH stretching region at 3437 cm-1. These bands are attributed to the vibrations of newly formed InOH bonds because of the release and transfer of protons during calcination of the nanomaterial. The use of infrared emission spectroscopy enables the low-temperature phase transition brought about through dehydration of In(OH)3 nanocubes to be studied.

Synthesis and characterisation of cobalt hydroxy carbonate Co2CO3(OH)2 Nanomaterials

In an attempt to make nanofibres based upon cobalt oxides, a novel compound a hydrated cobalt hydroxy carbonate was formed. This compound is related to the minerals of the rosasite mineral group. X-ray diffraction showed that the formed compound was a cobalt hydroxy carbonate and SEM displayed bundles of fibres on the micron scale in length and nanoscale in width. The morphology was compared with that of the rosasite mineral group. XPS proved two bond energies for cobalt and three for oxygen in the compound. The compound was characterised by vibrational spectroscopy and the spectra related to minerals of the rosasite mineral group. The stability of the synthetic mineral was limited to temperatures below 200°C.