Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Conservation and economic benefits of wildlife-based marine tourism: Sea turtles and whales as case studies

Tourism development can have positive and/or negative impacts on wildlife. However, if tourism is developed in accordance with the basic tenets of wildlife tourism such an activity can be sustainable and can aid the conservation of species. Based on two case studies in Queensland, Australia, this article outlines the various economic and conservation benefits arising from wildlife-based tourism. Some of the benefits are direct, such as tangible economic benefits, others are less tangible, such as increased visitors’ willingness to pay in principle for the conservation of species. Wildlife-based tourism is shown to foster political support for the conservation of species utilized for such tourism by various mechanisms. Non-consumptive uses of wildlife are not only sustainable, but may provide a viable alternative to consumptive uses.

Marine macroalgal biodiversity hotspots: why is there high species richness and endemism in southern Australian marine benthic flora?

The southern Australian marine macroalgal flora has the highest levels of species richness and endemism of any regional macroalgal flora in the world. Analyses of species composition and distributions for the southern Australian flora have identified four different floristic elements, namely the southern Australian endemic element, the widely distributed temperate element, the tropical element and a cold water element. Within the southern Australian endemic element, four species distribution patterns are apparent, thought to largely result from the Jurassic to Oligocene fragmentation of East Gondwana, the subsequent migration of Tethyan ancestors from the west Australian coast and the later invasion of high latitude Pacific species. Climatic deterioration from the late Eocene to the present is thought responsible for the replacement of the previous tropical south coast flora by an endemic temperate flora which has subsequently diversified in response to fluctuating environmental conditions, abundant rocky substrata and substantial habitat heterogeneity. High levels of endemism are attributed to Australia's long isolation and maintained, as is the high species richness, by the lack of recent mass extinction events. The warm water Leeuwin Current has had profound influence in the region since the Eocene, flowing to disperse macroalgal species onto the south coast as well as ameliorating the local environment. It is now evident that the high species richness and endemism we now observe in the southern Australian marine macroalgal flora can be attributed to a complex interaction of biogeographical, ecological and phylogenetic processes over the last 160 million years.

Weketrema gen.n., a new genus for Weketrema hawaiiense (Yamaguti, 1970) comb. n. (Digenea : Lecithasteridae) recently found in Australian marine fishes

A new genus, Weketrema, is erected in the family Lecithasteridae for the species hitherto known as Lecithophyllum hawniiense. Weket, ema hawaiiense (Yamaguti, 1970) comb, n. is redescribed from Scolopsis bilineatus (Bloch) (Perciformes: Nemipteridae) from Lizard Island and Heron Island, Queensland, Plectorhinchus gibbosus (Lacepede) (Perciformes: Haemulidae) from Heron Island and Cheilodactylus nigripes Richardson (Perciformes: Cheilodactylidae) and Latridopsis forsteri (Castelnau) (Perciformes: Latridae) from Stanley, northern Tasmania. The new genus is distinguished from related members of the family Lecithasteridae by its complete lack of a sinus-sac. Although placed in the subfamily Lecithasterinae pro tem, its true subfamily position is not entirely clear. Comment is made on its unusual distribution, both in terms of zoogeography and hosts.