A Survey Of Software Dependability

This paper presents on overview of the issues in precisely defining, specifying and evaluating the dependability of software, particularly in the context of computer controlled process systems. Dependability is intended to be a generic term embodying various quality factors and is useful for both software and hardware. While the developments in quality assurance and reliability theories have proceeded mostly in independent directions for hardware and software systems, we present here the case for developing a unified framework of dependability—a facet of operational effectiveness of modern technological systems, and develop a hierarchical systems model helpful in clarifying this view. In the second half of the paper, we survey the models and methods available for measuring and improving software reliability. The nature of software “bugs”, the failure history of the software system in the various phases of its lifecycle, the reliability growth in the development phase, estimation of the number of errors remaining in the operational phase, and the complexity of the debugging process have all been considered to varying degrees of detail. We also discuss the notion of software fault-tolerance, methods of achieving the same, and the status of other measures of software dependability such as maintainability, availability and safety.

Sigastus weevil - an emerging pest of macadamias in north Queensland

A large weevil was found infesting macadamia nuts on the Atherton Tableland during the 1994/95 season. It was unrepresented in various Australian insect collections but thought to belong to the genus Sigastus. This paper reports some preliminary studies on its biology, pest status and control. From 4-6 weeks after first nut-set adult females commence laying single eggs through the husk, after first scarifying an oviposition site. The nut stalk is then cleaved leading to rapid abscission. Nuts were generally attacked up until hard shell formation. Weevil larvae consumed whole kernels, with % survival higher and larval duration shorter in larger nuts. Infestation rates increased with increasing nut diameter, reaching 72.8% of fallen nuts by mid-October. A crop loss of 30% could be attributed to weevils in an unsprayed orchard. However, adult weevils are very susceptible to both carbaryl and methidathion sprays. In addition, exposure of infested nuts to full sunlight over several weeks kills 100% of larvae. Crops should be surveyed for weevil damage from the 5-10 mm diameter stage until mid-December. Methidathion used as an initial spray for fruitspotting bugs should provide control. Organic growers are advised to sweep infested nuts into mown interrows where solarisation will kill larvae.

Serendipitous road trips: Enhancing tourists’ experiences through social interaction

Driving can be a lonely activity. While there has been a lot of research and technical inventions concerning car-to-car communication and passenger entertainment, there is still little work concerning connecting drivers. Whereas tourism is very much a social activity, drive tourists have few options to communicate with fellow travellers. The proposed project is placed at the intersection of tourism and driving and aims to enhance the trip experience during driving through social interaction. This thesis explores how a mobile application that allows instant messaging between travellers sharing similar context can add to road trip experiences. To inform the design of such an application, the project adopted the principle of the user-centred design process. User needs were assessed by running an ideation workshop and a field trip. Findings of both studies have shown that tourists have different preferences and diverse attitudes towards contacting new people. Yet all participants stressed the value of social recommendations. Based on those results and a later expert review, three prototype versions of the system were created. A prototyping session with potential end users highlighted the most important features including the possibility to view user profiles, choose between text and audio input and receive up-to-date information. An implemented version of the prototype was evaluated in an exploratory study to identify usability related problems in an actual use case scenario as well as to find implementation bugs. The outcomes of this research are relevant for the design of future mobile tourist guides that leverage from benefits of social recommendations.

Damage potential of an introduced biological control agent Agonosoma trilineatum (F.) on bellyache bush (Jatropha gossypiifolia L.)

The seed-feeding jewel bug, Agonosoma trilineatum (F.), is an introduced biological control agent for bellyache bush, Jatropha gossypiifolia L. To quantify the damage potential of this agent, shadehouse experiments were conducted with individual bellyache bush plants exposed to a range of jewel bug densities (0, 6 or 24 jewel bugs/plant). The level of abortion of both immature and mature seed capsules and impacts on seed weight and seed viability were recorded in an initial short-term study. The ability of the jewel bug to survive and cause sustained damage was then investigated by measuring seed production, the survival of adults and nymph density across three 6-month cycles. The level of seed capsule abortion caused by the jewel bug was significantly affected by the maturity status of capsules and the density of insects present. Immature capsules were most susceptible and capsule abortion increased with jewel bug density. Similarly, on average, the insects reduced the viability of bellyache bush seeds by 79% and 89% at low and high densities, respectively. However, sustaining jewel bug populations for prolonged periods proved difficult. Adult survival at the end of three 6-month cycles averaged 11% and associated reductions in viable seed production ranged between 55% and 77%. These results suggest that the jewel bug has the potential to reduce the number of viable seeds entering the soil seed bank provided populations can be established and maintained at sufficiently high densities.

Effects of diet, temperature and photoperiod on development and survival of the bigeyed bug, Geocoris lubra

Bigeyed bugs (Geocoris spp., Hemiptera: Geocoridae) are common predators in Australian agricultural crops yet the development and reproductive biology of Australian geocorids has not been described before. Here we present the effects of diet, temperature and photoperiod on the development and survival of Geocoris lubra Kirkaldy from egg to adult. Nymphal survival of G. lubra reared on live aphids (Aphis gossypii Glover) was very low but improved slightly on a diet of Helicoverpa armigera (Hübner) eggs. Development was faster and nymphal survival improved significantly at 27°C compared with 25°C. Further investigation at 27°C showed photoperiod influenced development time, but not survival of immature G. lubra. Development time was significantly longer at 10L:14D. Fecundity of first generation G. lubra was not affected by photoperiod, although egg viability was greater at 12L:12D.

Improved understanding of the damage, ecology, and management of mirids and stinkbugs in Bollgard II

In recent years mirids and stinkbugs have emerged as important sucking pests in cotton. While stinkbugs are causing damage to bolls, mirids are causing damage to seedlings, squares and bolls. With the increasing adoption of Bollgard II and IPM approaches the use of broad-spectrum chemicals to kill Helicoverpa has been reduced and as a result mirids and stinkbugs are building to levels causing damage to bolls later in crop growth stages. Studies on stinkbugs by Dr Moazzem Khan revealed that green vegetable bug (GVB) caused significant boll damage and yield loss. A preliminary study by Dr Khan on mirids revealed that high mirid numbers at later growth stages also caused significant boll damage and that damage caused by mirids and GVB were similar. Mirids and stinkbugs therefore demand greater attention in order to minimise losses caused by these pests and to develop IPM strategies against these pests to enhance gains in IPM that have been made with Bt-transgenic cotton. Progress in this area of research will maintain sustainability and profitability of the Australian cotton industry. Mirid damage at early growth stages of cotton (up to squaring stage) has been studied in detail by Dr Khan. He found that all ages of mirids cause damage to young plants and damage by mirid nymphs is cumulative. Maximum damage occurs when the insect reaches the 4th and 5th nymphal stages. He also found that mirid feeding causes shedding of small and medium squares, and damaged large squares develop as ‘parrot beak’ bolls. Detailed studies at the boll stage, such as which stage of mirids is most damaging or which age boll is most vulnerable to feeding, is lacking. This information is a prerequisite to developing an IPM strategy for the pest in later crop growth stages. Understanding population change of the pest over time in relation to crop development is an important aspect for developing management strategies for the pest which is lacking for mirids in BollgardII. Predators and parasitoids are integral components of any IPM system and play an important part in regulating pest populations. Some generalist predators such as ants, spiders, damsel bugs and assassin bugs are known to predate on mirids. Nothing is known about parasitoids of mirids. Since green mirid (GM), Creontiades dilutus, is indigenous to Australia it is likely that we have one or more parasitoids of this mirid in Australia, but that possibility has not been investigated yet. The impact of the GVB adult parasitoid, Trichopoda giacomelli, has been studied by Dr Khan who found that the fly is established in the released areas and continues to spread. However, to get wider and greater impact, the fly should be released in new locations across the valleys. The insecticides registered for mirids and stinkbugs are mostly non-selective and are extremely disruptive to a wide range of beneficial insects. Use of these insecticides at stage I and II will minimise the impact of existing IPM programs. Therefore less disruptive control tactics including soft chemicals for mirids and stinkbugs are necessary. As with soft chemicals, salt mixtures, biopesticides based on fungal pathogens and attractants based on plant volatiles may be useful tools in managing mirids and stinkbugs with less or no disruption. Dr Khan has investigated salt mixture against mirids and GVB. While salt mixtures are quite effective and less disruptive, they are quite chemical specific. Not all chemicals mixed with salt will give the desired benefit. Therefore further investigation is needed to identify those chemicals that are effective with salt mixture against mirids and 3 of 37 GVB. Dr Caroline Hauxwell of DPI&F is working on fungal pathogen-based biopesticides against mirids and GVB and Drs Peter Gregg and Alice Del Socorro of Australian Cotton CRC are working on plant volatile-based attractants against mirids. Depending on their findings, inclusion of fungal-based biopestcides and plant volatile-based attractants in developing a management system against mirids and stinkbugs in cotton could be an important component of an IPM approach.

Commercial products from bio-active extractives in cypress milling residues.

Extractive components obtained from milling residues of white cypress were studied for chemical identity and bioactivity with a view to developing a commercial use for these components, thus increasing the value of the residues and improving the economics of cypress sawn wood production. Extracts obtained by solvent or steam extraction techniques from cypress sawdust were each fractionated by a range of techniques into groups of similar compounds. Crude extracts and fractions were screened against a range of agricultural pests and diseases, including two fungi, subterranean termites, fruit spotting bugs, two-spotted mites, thrips, heliothis, banana scab moths, silverleaf whiteflies, cattle tick adults and larvae, and ruminant gastrointestinal nematodes. Additional screening was undertaken where encouraging results were achieved, for two-spotted mites, thrips, silverleaf whiteflies, cattle tick adults and ruminant gastrointestinal nematodes. After considering degrees of efficacy against, and economic importance of, the agricultural pests, and likely production costs of extracts and fractions, the crude extract (oil) produced by steam distillation was chosen for further study against silverleaf whitefly. A useful degree of control was achievable when this oil was applied to tomato or eggplant at 0.1%, with much less harmful effects on a beneficial insect. Activity of the oil against silverleaf whitefly was undiminished 3.5 years after it was generated. There was little benefit from supplementing the extract with co-formulated paraffinic oil. From the steam distilled oil, fifty-five compounds were characterised, thirty-five compounds representing 92.478 % of the oil, with guaiol (20.8%) and citronellic acid (15.9%) most abundant. These two compounds, and a group of oxygenated compounds containing bulnesol and a range of eudesmols, were found to account for most of the activity against silverleaf whitefly. This application was recommended for first progression to commercialisation.

Harvest strategy evaluations and co-management for the Moreton Bay Trawl Fishery

Non-Technical Summary Seafood CRC Project 2009/774. Harvest strategy evaluations and co-management for the Moreton Bay Trawl Fishery Principal Investigator: Dr Tony Courtney, Principal Fisheries Biologist Fisheries and Aquaculture, Agri-Science Queensland Department of Agriculture, Fisheries and Forestry Level B1, Ecosciences Precinct, Joe Baker St, Dutton Park, Queensland 4102 Email: tony.courtney@daff.qld.gov.au Project objectives: 1. Review the literature and data (i.e., economic, biological and logbook) relevant to the Moreton Bay trawl fishery. 2. Identify and prioritise management objectives for the Moreton Bay trawl fishery, as identified by the trawl fishers. 3. Undertake an economic analysis of Moreton Bay trawl fishery. 4. Quantify long-term changes to fishing power for the Moreton Bay trawl fishery. 5. Assess priority harvest strategies identified in 2 (above). Present results to, and discuss results with, Moreton Bay Seafood Industry Association (MBSIA), fishers and Fisheries Queensland. Note: Additional, specific objectives for 2 (above) were developed by fishers and the MBSIA after commencement of the project. These are presented in detail in section 5 (below). The project was an initiative of the MBSIA, primarily in response to falling profitability in the Moreton Bay prawn trawl fishery. The analyses were undertaken by a consortium of DAFF, CSIRO and University of Queensland researchers. This report adopted the Australian Standard Fish Names (http://www.fishnames.com.au/). Trends in catch and effort The Moreton Bay otter trawl fishery is a multispecies fishery, with the majority of the catch composed of Greasyback Prawns (Metapenaeus bennettae), Brown Tiger Prawns (Penaeus esculentus), Eastern King Prawns (Melicertus plebejus), squid (Uroteuthis spp., Sepioteuthis spp.), Banana Prawns (Fenneropenaeus merguiensis), Endeavour Prawns (Metapenaeus ensis, Metapenaeus endeavouri) and Moreton Bay bugs (Thenus parindicus). Other commercially important byproduct includes blue swimmer crabs (Portunus armatus), three-spot crabs (Portunus sanguinolentus), cuttlefish (Sepia spp.) and mantis shrimp (Oratosquilla spp.). Logbook catch and effort data show that total annual reported catch of prawns from the Moreton Bay otter trawl fishery has declined to 315 t in 2008 from a maximum of 901 t in 1990. The number of active licensed vessels participating in the fishery has also declined from 207 in 1991 to 57 in 2010. Similarly, fishing effort has fallen from a peak of 13,312 boat-days in 1999 to 3817 boat-days in 2008 – a 71% reduction. The declines in catch and effort are largely attributed to reduced profitability in the fishery due to increased operational costs and depressed prawn prices. The low prawn prices appear to be attributed to Australian aquacultured prawns and imported aquacultured vannamei prawns, displacing the markets for trawl-caught prawns, especially small species such as Greasyback Prawns which traditionally dominated landings in Moreton Bay. In recent years, the relatively high Australian dollar has resulted in reduced exports of Australian wild-caught prawns. This has increased supply on the domestic market which has also suppressed price increases. Since 2002, Brown Tiger Prawns have dominated annual reported landings in the Moreton Bay fishery. While total catch and effort in the bay have declined to historically low levels, the annual catch and catch rates of Brown Tiger Prawns have been at record highs in recent years. This appears to be at least partially attributed to the tiger prawn stock having recovered from excessive effort in previous decades. The total annual value of the Moreton Bay trawl fishery catch, including byproduct, is about $5 million, of which Brown Tiger Prawns account for about $2 million. Eastern King Prawns make up about 10% of the catch and are mainly caught in the bay from October to December as they migrate to offshore waters outside the bay where they contribute to a large mono-specific trawl fishery. Some of the Eastern King Prawns harvested in Moreton Bay may be growth overfished (i.e., caught below the size required to maximise yield or value), although the optimum size-at-capture was not determined in this study. Banana Prawns typically make up about 5% of the catch, but can exceed 20%, particularly following heavy rainfall. Economic analysis of the fishery From the economic survey, cash profits were, on average, positive for both fleet segments in both years of the survey. However, after the opportunity cost of capital and depreciation were taken into account, the residual owner-operator income was relatively low, and substantially lower than the average share of revenue paid to employed skippers. Consequently, owner-operators were earning less than their opportunity cost of their labour, suggesting that the fleets were economically unviable in the longer term. The M2 licensed fleet were, on average, earning similar boat cash profits as the T1/M1 fleet, although after the higher capital costs were accounted for the T1/M1 boats were earning substantially lower returns to owner-operator labour. The mean technical efficiency for the fleet as a whole was estimated to be 0.67. That is, on average, the boats were only catching 67 per cent of what was possible given their level of inputs (hours fished and hull units). Almost one-quarter of observations had efficiency scores above 0.8, suggesting a substantial proportion of the fleet are relatively efficient, but some are also relatively inefficient. Both fleets had similar efficiency distributions, with median technical efficiency score of 0.71 and 0.67 for the M2 and T1/M1 boats respectively. These scores are reasonably consistent with other studies of prawn trawl fleets in Australia, although higher average efficiency scores were found in the NSW prawn trawl fleet. From the inefficiency model, several factors were found to significantly influence vessel efficiency. These included the number of years of experience as skipper, the number of generations that the skipper’s family had been fishing and the number of years schooling. Skippers with more schooling were significantly more efficient than skippers with lower levels of schooling, consistent with other studies. Skippers who had been fishing longer were, in fact, less efficient than newer skippers. However, this was mitigated in the case of skippers whose family had been involved in fishing for several generations, consistent with other studies and suggesting that skill was passed through by families over successive generations. Both the linear and log-linear regression models of total fishing effort against the marginal profit per hour performed reasonably well, explaining between 70 and 84 per cent of the variation in fishing effort. As the models had different dependent variables (one logged and the other not logged) this is not a good basis for model choice. A better comparator is the square root of the mean square error (SMSE) expressed as a percentage of the mean total effort. On this criterion, both models performed very similarly. The linear model suggests that each additional dollar of average profits per hour in the fishery increases total effort by around 26 hours each month. From the log linear model, each percentage increase in profits per hour increases total fishing effort by 0.13 per cent. Both models indicate that economic performance is a key driver of fishing effort in the fishery. The effect of removing the boat-replacement policy is to increase individual vessel profitability, catch and effort, but the overall increase in catch is less than that removed by the boats that must exit the fishery. That is, the smaller fleet (in terms of boat numbers) is more profitable but the overall catch is not expected to be greater than before. This assumes, however, that active boats are removed, and that these were also taking an average level of catch. If inactive boats are removed, then catch of the remaining group as a whole could increase by between 14 and 17 per cent depending on the degree to which costs are reduced with the new boats. This is still substantially lower than historical levels of catch by the fleet. Fishing power analyses An analysis of logbook data from 1988 to 2010, and survey information on fishing gear, was performed to estimate the long-term variation in the fleet’s ability to catch prawns (known as fishing power) and to derive abundance estimates of the three most commercially important prawn species (i.e., Brown Tiger, Eastern King and Greasyback Prawns). Generalised linear models were used to explain the variation in catch as a function of effort (i.e., hours fished per day), vessel and gear characteristics, onboard technologies, population abundance and environmental factors. This analysis estimated that fishing power associated with Brown Tiger and Eastern King Prawns increased over the past 20 years by 10–30% and declined by approximately 10% for greasybacks. The density of tiger prawns was estimated to have almost tripled from around 0.5 kg per hectare in 1988 to 1.5 kg/ha in 2010. The density of Eastern King Prawns was estimated to have fluctuated between 1 and 2 kg per hectare over this time period, without any noticeable overall trend, while Greasyback Prawn densities were estimated to have fluctuated between 2 and 6 kg per hectare, also without any distinctive trend. A model of tiger prawn catches was developed to evaluate the impact of fishing on prawn survival rates in Moreton Bay. The model was fitted to logbook data using the maximum-likelihood method to provide estimates of the natural mortality rate (0.038 and 0.062 per week) and catchability (which can be defined as the proportion of the fished population that is removed by one unit of effort, in this case, estimated to be 2.5 ± 0.4 E-04 per boat-day). This approach provided a method for industry and scientists to develop together a realistic model of the dynamics of the fishery. Several aspects need to be developed further to make this model acceptable to industry. Firstly, there is considerable evidence to suggest that temperature influences prawn catchability. This ecological effect should be incorporated before developing meaningful harvest strategies. Secondly, total effort has to be allocated between each species. Such allocation of effort could be included in the model by estimating several catchability coefficients. Nevertheless, the work presented in this report is a stepping stone towards estimating essential fishery parameters and developing representative mathematical models required to evaluate harvest strategies. Developing a method that allowed an effective discussion between industry, management and scientists took longer than anticipated. As a result, harvest strategy evaluations were preliminary and only included the most valuable species in the fishery, Brown Tiger Prawns. Additional analyses and data collection, including information on catch composition from field sampling, migration rates and recruitment, would improve the modelling. Harvest strategy evaluations As the harvest strategy evaluations are preliminary, the following results should not be adopted for management purposes until more thorough evaluations are performed. The effects, of closing the fishery for one calendar month, on the annual catch and value of Brown Tiger Prawns were investigated. Each of the 12 months (i.e., January to December) was evaluated. The results were compared against historical records to determine the magnitude of gain or loss associated with the closure. Uncertainty regarding the trawl selectivity was addressed using two selectivity curves, one with a weight at 50% selection (S50%) of 7 g, based on research data, and a second with S50% of 14 g, put forward by industry. In both cases, it was concluded that any monthly closure after February would not be beneficial to the industry. The magnitude of the benefit of closing the fishery in either January or February was sensitive to which mesh selectivity curve that was assumed, with greater benefit achieved when the smaller selectivity curve (i.e., S50% = 7 g) was assumed. Using the smaller selectivity (S50% = 7 g), the expected increase in catch value was 10–20% which equates to $200,000 to $400,000 annually, while the larger selectivity curve (S50% = 14 g) suggested catch value would be improved by 5–10%, or $100,000 to $200,000. The harvest strategy evaluations showed that greater benefits, in the order of 30–60% increases in the tiger annual catch value, could have been obtained by closing the fishery early in the year when annual effort levels were high (i.e., > 10,000 boat-days). In recent years, as effort levels have declined (i.e., ~4000 boat-days annually), expected benefits from such closures are more modest. In essence, temporal closures offer greater benefit when fishing mortality rates are high. A spatial analysis of Brown Tiger Prawn catch and effort was also undertaken to obtain a better understanding of the prawn population dynamics. This indicated that, to improve profitability of the fishery, fishers could consider closing the fishery in the period from June to October, which is already a period of low profitability. This would protect the Brown Tiger Prawn spawning stock, increase catch rates of all species in the lucrative pre-Christmas period (November–December), and provide fishers with time to do vessel maintenance, arrange markets for the next season’s harvest, and, if they wish, work at other jobs. The analysis found that the instantaneous rate of total mortality (Z) for the March–June period did not vary significantly over the last two decades. As the Brown Tiger Prawn population in Moreton Bay has clearly increased over this time period, an interesting conclusion is that the instantaneous rate of natural mortality (M) must have increased, suggesting that tiger prawn natural mortality may be density-dependent at this time of year. Mortality rates of tiger prawns for June–October were found to have decreased over the last two decades, which has probably had a positive effect on spawning stocks in the October–November spawning period. Abiotic effects on the prawns The influence of air temperature, rainfall, freshwater flow, the southern oscillation index (SOI) and lunar phase on the catch rates of the four main prawn species were investigated. The analyses were based on over 200,000 daily logbook catch records over 23 years (i.e., 1988–2010). Freshwater flow was more influential than rainfall and SOI, and of the various sources of flow, the Brisbane River has the greatest volume and influence on Moreton Bay prawn catches. A number of time-lags were also considered. Flow in the preceding month prior to catch (i.e., 30 days prior, Logflow1_30) and two months prior (31–60 days prior, Logflow31_60) had strong positive effects on Banana Prawn catch rates. Average air temperature in the preceding 4-6 months (Temp121_180) also had a large positive effect on Banana Prawn catch rates. Flow in the month immediately preceding catch (Logflow1_30) had a strong positive influence on Greasyback Prawn catch rates. Air temperature in the preceding two months prior to catch (Temp1_60) had a large positive effect on Brown Tiger Prawn catch rates. No obvious or marked effects were detected for Eastern King Prawns, although interestingly, catch rates declined with increasing air temperature 4–6 months prior to catch. As most Eastern King Prawn catches in Moreton Bay occur in October to December, the results suggest catch rates decline with increasing winter temperatures. In most cases, the prawn catch rates declined with the waxing lunar phase (high luminance/full moon), and increased with the waning moon (low luminance/new moon). The SOI explains little additional variation in prawn catch rates (~ <2%), although its influence was higher for Banana Prawns. Extrapolating findings of the analyses to long-term climate change effects should be interpreted with caution. That said, the results are consistent with likely increases in abundance in the region for the two tropical species, Banana Prawns and Brown Tiger Prawns, as coastal temperatures rise. Conversely, declines in abundance could be expected for the two temperate species, Greasyback and Eastern King Prawns. Corporate management structures An examination of alternative governance systems was requested by the industry at one of the early meetings, particularly systems that may give them greater autonomy in decision making as well as help improve the marketing of their product. Consequently, a review of alternative management systems was undertaken, with a particular focus on the potential for self-management of small fisheries (small in terms of number of participants) and corporate management. The review looks at systems that have been implemented or proposed for other small fisheries internationally, with a particular focus on self-management as well as the potential benefits and challenges for corporate management. This review also highlighted particular opportunities for the Moreton Bay prawn fishery. Corporate management differs from other co-management and even self-management arrangements in that ‘ownership’ of the fishery is devolved to a company in which fishers and government are shareholders. The company manages the fishery as well as coordinates marketing to ensure that the best prices are received and that the catch taken meets the demands of the market. Coordinated harvesting will also result in increased profits, which are returned to fishers in the form of dividends. Corporate management offers many of the potential benefits of an individual quota system without formally implementing such a system. A corporate management model offers an advantage over a self-management model in that it can coordinate both marketing and management to take advantage of this unique geographical advantage. For such a system to be successful, the fishery needs to be relatively small and self- contained. Small in this sense is in terms of number of operators. The Moreton Bay prawn fishery satisfies these key conditions for a successful self-management and potentially corporate management system. The fishery is small both in terms of number of participants and geography. Unlike other fisheries that have progressed down the self-management route, the key market for the product from the Moreton Bay fishery is right at its doorstep. Corporate management also presents a number of challenges. First, it will require changes in the way fishers operate. In particular, the decision on when to fish and what to catch will be taken away from the individual and decided by the collective. Problems will develop if individuals do not join the corporation but continue to fish and market their own product separately. While this may seem an attractive option to fishers who believe they can do better independently, this is likely to be just a short- term advantage with an overall long-run cost to themselves as well as the rest of the industry. There are also a number of other areas that need further consideration, particularly in relation to the allocation of shares, including who should be allocated shares (e.g. just boat owners or also some employed skippers). Similarly, how harvesting activity is to be allocated by the corporation to the fishers. These are largely issues that cannot be answered without substantial consultation with those likely to be affected, and these groups cannot give these issues serious consideration until the point at which they are likely to become a reality. Given the current structure and complexity of the fishery, it is unlikely that such a management structure will be feasible in the short term. However, the fishery is a prime candidate for such a model, and development of such a management structure in the future should be considered as an option for the longer term.

Bycatch weight, composition and preliminary estimates of the impact of bycatch reduction devices in Queensland's trawl fishery

This report provides quantitative information on the effects of turtle excluder devices (TEDs) and bycatch reduction devices (BRDs) on the catch rates of bycatch, prawns, scallops and byproduct species, such as Moreton Bay bugs and Balmain bugs, in Queensland’s major trawl fishing sectors. It also provides biological information on, and management advice for several species referred to in the Fishery Management Plan as the permitted species. Several recommendations are included for reducing bycatch in the trawl fishery and for sustaining stocks of the permitted species.

Round scallops and square meshes: a comparison of four codend types on the catch rates of target species and by-catch in the Queensland (Australia) saucer scallop (Amusium balloti) trawl fishery

Concern over the amount of by-catch from benthic trawl fisheries and research into the problem have increased in recent years. The present paper demonstrated that by-catch rates in the Queensland (Australia) saucer scallop (Amusium balloti) trawl fishery can be reduced by 77% (by weight) using nets fitted with a turtle excluder device (TED) and a square-mesh codend, compared with a standard diamond-mesh codend with no TED. This large reduction was achieved with no significant effect on the legal size scallop catch rate and 39% fewer undersize scallops were caught. In total, 382 taxa were recorded in the by-catch, which was dominated by sponges, portunid crabs, small demersal and benthic fish (e.g. leatherjackets, stingerfish, bearded ghouls, nemipterids, longspine emperors, lizard fish, triggerfish, flounders and rabbitfish), elasmobranchs (e.g. mainly rays) and invertebrates (e.g. sea stars, sea urchins, sea cucumbers and bivalve molluscs). Extremely high reductions in catch rate (i.e. ≥85%) were demonstrated for several by-catch species owing to the square-mesh codend. Square-mesh codends show potential as a means of greatly reducing by-catch and lowering the incidental capture and mortality of undersize scallops and Moreton Bay bugs (Thenus australiensis) in this fishery

Prey of the silver-headed antechinus (Antechinus argentus), a new species of Australian dasyurid marsupial

The silver-headed antechinus (Antechinus argentus) is one of Australia’s most recently described mammals, and the single known population at Kroombit Tops in south-east Queensland is threatened. Nothing is known of the species’ ecology, so during 2014 we collected faecal pellets each month (March–September) from a population at the type locality to gather baseline data on diet composition. A total of 38 faecal pellets were collected from 12 individuals (eight females, four males) and microscopic analysis of pellets identified seven invertebrate orders, with 70% combined mean composition of beetles (Coleoptera: 38%) and cockroaches (Blattodea: 32%). Other orders that featured as prey were ants, crickets/grasshoppers, butterflies/moths, spiders, and true bugs. Given that faecal pellets could only be collected from a single habitat type (Eucalyptus montivaga high-altitude open forest) and location, this is best described as a generalist insectivorous diet that is characteristic of other previously studied congeners.

Static analysis for checking data format compatibility of programs

Large software systems are developed by composing multiple programs. If the programs manip-ulate and exchange complex data, such as network packets or files, it is essential to establish that they follow compatible data formats. Most of the complexity of data formats is associated with the headers. In this paper, we address compatibility of programs operating over headers of network packets, files, images, etc. As format specifications are rarely available, we infer the format associated with headers by a program as a set of guarded layouts. In terms of these formats, we define and check compatibility of (a) producer-consumer programs and (b) different versions of producer (or consumer) programs. A compatible producer-consumer pair is free of type mismatches and logical incompatibilities such as the consumer rejecting valid outputs gen-erated by the producer. A backward compatible producer (resp. consumer) is guaranteed to be compatible with consumers (resp. producers) that were compatible with its older version. With our prototype tool, we identified 5 known bugs and 1 potential bug in (a) sender-receiver modules of Linux network drivers of 3 vendors and (b) different versions of a TIFF image library.

Multithreaded Test Synthesis for Deadlock Detection

Designing and implementing thread-safe multithreaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. The usual practice involves employing software testing and/or dynamic analysis to detect. deadlocks. Their effectiveness is dependent on well-designed multithreaded test cases. Unsurprisingly, developing multithreaded tests is significantly harder than developing sequential tests for obvious reasons. In this paper, we address the problem of automatically synthesizing multithreaded tests that can induce deadlocks. The key insight to our approach is that a subset of the properties observed when a deadlock manifests in a concurrent execution can also be observed in a single threaded execution. We design a novel, automatic, scalable and directed approach that identifies these properties and synthesizes a deadlock revealing multithreaded test. The input to our approach is the library implementation under consideration and the output is a set of deadlock revealing multithreaded tests. We have implemented our approach as part of a tool, named OMEN1. OMEN is able to synthesize multithreaded tests on many multithreaded Java libraries. Applying a dynamic deadlock detector on the execution of the synthesized tests results in the detection of a number of deadlocks, including 35 real deadlocks in classes documented as thread-safe. Moreover, our experimental results show that dynamic analysis on multithreaded tests that are either synthesized randomly or developed by third-party programmers are ineffective in detecting the deadlocks.

The X Chromosome of Hemipteran Insects: Conservation, Dosage Compensation and Sex-Biased Expression

Insects of the order Hemiptera (true bugs) use a wide range of mechanisms of sex determination, including genetic sex determination, paternal genome elimination, and haplodiploidy. Genetic sex determination, the prevalent mode, is generally controlled by a pair of XY sex chromosomes or by an XX/XO system, but different configurations that include additional sex chromosomes are also present. Although this diversity of sex determining systems has been extensively studied at the cytogenetic level, only the X chromosome of the model pea aphid Acyrthosiphon pisum has been analyzed at the genomic level, and little is known about X chromosome biology in the rest of the order. In this study, we take advantage of published DNA- and RNA-seq data from three additional Hemiptera species to perform a comparative analysis of the gene content and expression of the X chromosome throughout this clade. We find that, despite showing evidence of dosage compensation, the X chromosomes of these species show female-biased expression, and a deficit of male-biased genes, in direct contrast to the pea aphid X. We further detect an excess of shared gene content between these very distant species, suggesting that despite the diversity of sex determining systems, the same chromosomal element is used as the X throughout a large portion of the order.

WebDiagram3.0

En este proyecto de Fin de Carrera se ha creado una nueva versión de la herramienta WebDiagram, cuya función es facilitar el desarrollo de aplicaciones interactivas mediante la metodología InterMod. La nueva versión de la herramienta se basa en la versión anterior y se diferencia en que contiene un prototipo del Modelo de Diálogo completamente funcional. Además, WebDiagram 3.0 incorpora la concurrencia y mejora algunos aspectos del diagrama. En WebDiagram2.0 se detectaron diversos fallos en la ejecución del programa de prototipado, difíciles de solucionar, que venían arrastrándose a lo largo de las versiones efectuadas de esta herramienta. Con el objetivo de conseguir eliminar todos estos bugs se decidió partir de cero e incorporar el desarrollo guiado por pruebas, también conocido como Test-driven development. Este proceso de desarrollo facilita la corrección de errores, primero escribiendo las pruebas que fallan, y después implementando el código que hace que pase la prueba satisfactoriamente. Las pruebas han sido organizadas en base a Objetivos de Usuario. A lo largo de las iteraciones del proceso se han validado a nivel de requerimientos, presentación y funcionalidad, tal y como aconseja la metodología InterMod. Finalmente, cabe destacar que se ha intentado llevar a cabo el proyecto haciendo un seguimiento activo junto con la directora y otro miembro evaluador para, principalmente, fomentar el trabajo en equipo.