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.

Model-Driven safety evaluation with state-event-based component failure annotations

Over the past years, the paradigm of component-based software engineering has been established in the construction of complex mission-critical systems. Due to this trend, there is a practical need for techniques that evaluate critical properties (such as safety, reliability, availability or performance) of these systems. In this paper, we review several high-level techniques for the evaluation of safety properties for component-based systems and we propose a new evaluation model (State Event Fault Trees) that extends safety analysis towards a lower abstraction level. This model possesses a state-event semantics and strong encapsulation, which is especially useful for the evaluation of component-based software systems. Finally, we compare the techniques and give suggestions for their combined usage

Nutritional strategies for the prevention of hypocalcaemia at calving for dairy cows in pasture-based systems

This review considers the current literature on the macro-mineral nutrition of the soon-to-calve, or transition, dairy cow. Calcium is the main focus, since milk fever (clinical hypocalcaemia) appears to be the most common mineral-related problem faced by the transition cow Australia-wide. The importance of minimising calcium intake and optimising the balance of the key dietary electrolytes, sodium, potassium, sulfate, and chloride, in the weeks before calving is highlighted. Excess dietary potassium can, in some situations, induce milk fever, perhaps even more effectively than excess calcium. Excess sodium remains under suspicion. In contrast, excess dietary chlorine and, to a lesser extent, sulfur can improve the ability of the cow to maintain calcium homeostasis. Diets that promote either a hypomagnesaemia or hyperphosphataemia have also the potential to precipitate milk fever at calving. Current prevention strategies focus on the use of forages with moderate to low levels of calcium, potassium, and sodium, and also rely on or utilise addition of chloride and sulfate in the form of 'anionic' feeds. Anionic salts are one example of an anionic feed. However, legitimate questions remain as to the effectiveness of anionic salts in pasture-feeding systems. The causes and prevention of milk fever are considered from the perspective of the variety of Australian feedbases. Impediments to the use of anionic feeds in Australia feeding systems are outlined. The potential for improving maternal reserves of calcium around calving to reduce the risk of milk fever is also discussed.

Oxide ionic conductivity and microstructures of Sm- or La-doped CeO2-based systems

The concept of crystallographic index termed the effective index is suggested and applied to the design of ceria (CeO2)-based electrolytes to maximize oxide ionic conductivity. The suggested index considers the fluorite structure, and combines the expected oxygen vacancy level with the ionic radius mismatch between host and dopant cations. Using this approach, oxide ionic conductivity of Sm- or La-doped CeO2-based system has been optimized and tested under operating conditions of a solid oxide fuel cell. In the observation of microstructure in atomic scale, both Sm-doped CeO2 and La-doped CeO2 electrolytes had large micro-domains over 10 nm in the lattice. On the other hand, Sm or La and alkaline earth co-doped CeO2-based electrolytes with high effective index had small micro-domains around 1-3 nm in the microstructure. The large micro-domain would prevent oxide ion from passing through the lattice. Therefore, it is concluded that the improvement of ionic conductivity is reflected in changes of microstructure in atomic scale. (C) 2002 Elsevier Science B.V. All rights reserved.

The future role of government in knowledge-based economies

In this article, we draw together aspects of contemporary theories of knowledge (particularly organisational knowledge) and complexity theory to demonstrate how appropriate conceptual rigor enables both the role of government and the directions of policy development in knowledge-based economies to be identified. Specifically we ask, what is the role of government in helping shape the knowledge society of the future? We argue that knowledge policy regimes must go beyond the modes of policy analysis currently used in innovation, information and technology policy because they are based in an industrial rather than post-industrial analytical framework. We also argue that if we are to develop knowledge-based economies, more encompassing images of the future than currently obtain in policy discourse are required. We therefore seek to stimulate and provoke an array of lines of thought about government and policy for such economies. Our objective is to focus on ideas more than argument and persuasion.

Low input tillage/cropping systems for limited resource areas

Agriculture in limited resource areas is characterized by small farms which an generally too small to adequately support the needs of an average farm family. The farming operation can be described as a low input cropping system with the main energy source being manual labor, draught animals and in some areas hand tractors. These farming systems are the most important contributor to the national economy of many developing countries. The role of tillage is similar in dryland agricultural systems in both the high input (HICS) and low input cropping systems (LICS), however, wet cultivation or puddling is unique to lowland rice-based systems in low input cropping systems. Evidence suggest that tillage may result in marginal increases in crop yield in the short term, however, in the longer term it may be neutral or give rise to yield decreases associated with soil structural degradation. On marginal soils, tillage may be required to prepare suitable seedbeds or to release adequate Nitrogen through mineralization, but in the longer term, however, tillage reduces soil organic matter content, increases soil erodibility and the emission of greenhouse gases. Tillage in low input cropping systems involves a very large proportion of the population and any changes: in current practices such as increased mechanization will have a large social impact such as increased unemployment and increasing feminization of poverty, as mechanization may actually reduce jobs for women. Rapid mechanization is likely to result in failures, but slower change, accompanied by measures to provide alternative rural employment, might be beneficial. Agriculture in limited resource areas must produce the food and fiber needs of their community, and its future depends on the development of sustainable tillage/cropping systems that are suitable for the soil and climatic conditions. These should be based on sound biophysical principles and meet the needs of and he acceptable to the farming communities. Some of the principle requirements for a sustainable system includes the maintenance of soil health, an increase in the rain water use efficiency of the system, increased use of fertilizer and the prevention of erosion. The maintenance of crop residues on the surface is paramount for meeting these requirements, and the competing use of crop residues must be met from other sources. These requirements can be met within a zonal tillage system combined with suitable agroforestry, which will reduce the need for crop residues. It is, however, essential that farmers participate in the development of any new technologies to ensure adoption of the new system. (C) 2001 Elsevier Science B.V. All rights reserved.

Incremental model transformation for the evolution of model-driven systems

Model transformations are an integral part of model-driven development. Incremental updates are a key execution scenario for transformations in model-based systems, and are especially important for the evolution of such systems. This paper presents a strategy for the incremental maintenance of declarative, rule-based transformation executions. The strategy involves recording dependencies of the transformation execution on information from source models and from the transformation definition. Changes to the source models or the transformation itself can then be directly mapped to their effects on transformation execution, allowing changes to target models to be computed efficiently. This particular approach has many benefits. It supports changes to both source models and transformation definitions, it can be applied to incomplete transformation executions, and a priori knowledge of volatility can be used to further increase the efficiency of change propagation.

Learning to play Pac-Man: An evolutionary, rule-based approach

Pac-Man is a well-known, real-time computer game that provides an interesting platform for research. We describe an initial approach to developing an artificial agent that replaces the human to play a simplified version of Pac-Man. The agent is specified as a simple finite state machine and ruleset. with parameters that control the probability of movement by the agent given the constraints of the maze at some instant of time. In contrast to previous approaches, the agent represents a dynamic strategy for playing Pac-Man, rather than a pre-programmed maze-solving method. The agent adaptively "learns" through the application of population-based incremental learning (PBIL) to adjust the agents' parameters. Experimental results are presented that give insight into some of the complexities of the game, as well as highlighting the limitations and difficulties of the representation of the agent.

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.