Aquaculture is rapidly becoming a major source of fish protein used to meet the nutritional needs of humans. As the aquaculture industry grows, exposure of farmed fish to environmental contaminants, and the need for chemical therapeutic agents for fish, will increase. This book is designed to bring together authorities worldwide on the regulation of environmental contaminants and food chemicals and researchers investigating the metabolism and disposition of foreign chemicals (xenobiotics) in fish species.

How to Use This Book The primary purpose of this book is to assist small companies, involved in both hardware and software, to devise and evolve their own quality systems. There are a number of national and now international standards which outline the activities for which procedures and records need to be specified. They are described and compared in Chapter 2, and the subsequent guidance in the book is intended to assist in meeting them. Although, at first sight, the operations of a hardware equipment developer may seem very different from those of a software house, the basic requirements of a quality system, such as the BS 5750 and ISO 1987 series of documents, are the same. For this reason the same standard can be called for in both areas and it will be seen, in Part 2, that suitable procedures can be derived to meet both types of operation. Quality standards (BS 5750, AQAP, ISO 9000 series) distinguish between companies carrying out, on the one hand, both design and manufacturing fixed functions and, on the other hand, those who only manufacture to specifications. In practice, the lesser requirements (those applying to manufacture to fixed specifications) are common to both levels of standard and the additional controls pertaining to design are added to obtain the higher standard. Chapter 2 explains the differences in detail.

The rapid growth in use of programmable technology, in nearly all sectors of Engineering, is a well-known established trend and one which there is every reason to believe will continue into the foreseeable future. The drivers of this trend include cost, flexibility, rich functionality and certain reliability and safety advantages. However, as explained in this book, these advantages have to be carefully weighed against a number of dis advantages which, amongst other things, have fundamental implications for reliability and safety. Ideally, a programmable system would be viewed as a fusion of hardware, software and user (or 'skinware'), operating under a set of environmental conditions. To date, such a unifying model does not exist and so hardware, software and human factors are still considered largely as three separate disciplines, albeit with certain interdependencies. Established techniques are available which enable the engineer to develop systems comprising purely hardware components to a prescribed reliability and performance. Software, however, is fundamentally different in a number of ways, and does not lend itself to equivalent analysis. A major problem with software is its poor 'visibility', and consequently the great difficulty in understanding and predicting its behaviour in all cir cumstances. This results in the ever-present software design flaws, or 'bugs', which have plagued the software industry from its beginnings."

Aquaculture is rapidly becoming a major source of fish protein used to meet the nutritional needs of humans. As the aquaculture industry grows, exposure of farmed fish to environmental contaminants, and the need for chemical therapeutic agents for fish, will increase. This book is designed to bring together authorities worldwide on the regulation of environmental contaminants and food chemicals and researchers investigating the metabolism and disposition of foreign chemicals (xenobiotics) in fish species.

During the 18 months since the publication of the 1st edition the practice of software quality and the availability of tools and guidance for its implementation has increased dramatically. The emphasis on the need for formal methods has increased and calls for certification of safety critical software are now common. In particular this 2nd edition: -Expands the treatment of static analysis and includes a com prehensive but simple example in order to illustrate clearly the functions of each analyser in Chapter 8. -Describes formal requirements languages more fully in Chapter 6. -Updates the compendium of available guidelines and standards in Chapter 5. -Expands the description of the many high level languages in Chapter 9. -Improves and expands the exercise into a 49 page case study consisting of a documentation hierarchy for a safety system in Chapter 14. It is seeded with deliberate errors and ambiguities and now includes guidance in finding them.