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.

Inhibitory network interactions shape the auditory processing of natural communication signals in the songbird auditory forebrain

The role of GABA in the central processing of complex auditory signals is not fully understood. We have studied the involvement of GABA(A)-mediated inhibition in the processing of birdsong, a learned vocal communication signal requiring intact hearing for its development and maintenance. We focused on caudomedial nidopallium (NCM), an area analogous to parts of the mammalian auditory cortex with selective responses to birdsong. We present evidence that GABA(A)-mediated inhibition plays a pronounced role in NCM`s auditory processing of birdsong. Using immunocytochemistry, we show that approximately half of NCM`s neurons are GABAergic. Whole cell patch-clamp recordings in a slice preparation demonstrate that, at rest, spontaneously active GABAergic synapses inhibit excitatory inputs onto NCM neurons via GABA(A) receptors. Multi-electrode electrophysiological recordings in awake birds show that local blockade of GABA(A)-mediated inhibition in NCM markedly affects the temporal pattern of song-evoked responses in NCM without modifications in frequency tuning. Surprisingly, this blockade increases the phasic and largely suppresses the tonic response component, reflecting dynamic relationships of inhibitory networks that could include disinhibition. Thus processing of learned natural communication sounds in songbirds, and possibly other vocal learners, may depend on complex interactions of inhibitory networks.

Organizational Learning in the Context of an Agri-Food Chain

This paper reports on the outcomes of the first stage of a longitudinal study that focused on the transformational change process being undertaken within the Supply Chain and Operations Area of a major Australian food manufacturing company. Organizational learning is an essential prerequisite for any successful change process and an organization's ability to learn is dependent on the existence of an environment within the organization that nurtures learning and the presence of key enablers that facilitate the learning process. An organization's capacity to learn can be enhanced through its ability to form and sustain collaborative relationships with its chain partners. The results show that an environment that supports organizational learning is being developed through consultative leadership and the empowerment of individuals within a culture that supports innovation and cross-functional teamwork but demands responsibility and accountability. The impact of these changes within the Supply Chain and Operations Area is evident in the significant improvement in the Area's productivity and efficiency levels over the past twelve months. The company's endeavours to engage its major supply chain partners in the learning process have been limited by the turmoil within the company. However the company has involved its supply chain partners in a series of mutually beneficial projects that have improved communication and built trust thereby laying the foundations for more collaborative chain relationships.