A survey on online monitoring approaches of computer-based systems

This report surveys forms of online data collection that are in current use (as well as being the subject of research to adapt them to changing technology and demands), and can be used as inputs to assessment of dependability and resilience, although they are not primarily meant for this use

What is the new paradigm in product quality?

The current product quality paradigm is founded upon a customer-focused product development process, in which the functionality and behaviour of a product are designed to fulfil the needs of customers, and technological innovation is used to expand the capability and enhance the performance of the product. However, this view of product quality does not reflect the current practices of today's leading manufacturers, who now offer "total solutions" based upon an integrated package of products and services with well defined characteristics tailored to individual needs. Concepts such as globalisation, mass customisation, product branding, e-commerce, and sustainability suggest that a new product quality paradigm is evolving. This paper will discuss our current understanding of product quality issues and outline our vision of the new quality paradigm for product developers

Towards a methodology for rigorous development of generic requirements patterns

We present work in progress on a methodology for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. We consider the failure detection and management function for engine control systems as an application domain where product line engineering is useful. The methodology produces a generic requirement set in our, UML based, formal notation, UML-B. The formal verification both of the generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

The Chain of Quality through Integrated Product Development

Today, it is almost impossible to find a manufacturer who has not been significantly influenced by the quality culture, but it is evident that some are doing more to improve their product quality than others are. The so-called "Chain of Quality" through integrated product development is a useful metaphor since it recognises that quality is a continuing topic of attention throughout the product development process and that discrete, quality related activities in the process are inter-linked. Depending upon how the product development process is modelled, the chain can be viewed as open or closed with single or parallel threads. In this paper, the overall purpose of the chain, the nature and identity of its many links and the relationship of the chain to the product development process will be discussed. In so doing, this paper will present an overall picture of important product development strategies and practices that can have a key impact on product quality