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.

Options for monitoring diabetic cats

The key to successful long-term management of diabetes in cats is individualization of advice to suit cat and owner. A relationship based on trust and cooperation between veterinarian and client leads invariably to the most satisfactory outcome. Success requires knowledge of the options for monitoring diabetic cats, selection and adaptation of appropriate techniques for each individual case, and provision of ongoing support and guidance for owners. The ongoing treatment of a diabetic cat can be one of the more rewarding experiences of feline practice, and many diabetic cats and their owners come to occupy a special place within the clinic environment. This chapter provides a comprehensive overview of the current options for monitoring diabetes in cats and guidelines for application of the techniques to clinical cases.