MTU Cork Library Catalogue

Syndetics cover image
Image from Syndetics

Safety-critical systems : current issues, techniques and standards / edited by Felix Redmill and Tom Anderson.

Contributor(s): Redmill, Felix | Anderson, Tom, 1947-.
Material type: materialTypeLabelBookPublisher: London ; New York : Chapman & Hall, 1993Description: xii, 332 p. : ill. ; 24 cm.ISBN: 0412548208.Subject(s): Industrial safety | Automatic control -- ReliabilityDDC classification: 620.86
Contents:
Part One: Current issues -- Software in safety-critical applications - a review of current issues / Felix Redmill -- Issues in the development of safety-critical systems / John McDermid -- The JFIT safety-critical systems research programme: origins and intentions / Bob Malcolm -- Part Two: Requirements and specification -- Natural language processing for requirements specifications / Benjamin Macias and Stephen Pulman -- Viewpoint-orientated development: applications in composite systems / Anthony Finkelstein, Jeff Kramer and Bashar Nuseibeh -- The FOREST technique for system specification and validation / Bill Quirk -- Requirements development for safety-critical systems - a total systems approach / Jeremy Clare -- A methodology for requirements management applied to safety requirements / John Dobson and Ros Strens -- Part Three: Education and training -- Target qualities of safety professionals / Denis Jackson -- Organisation of industrial training / David Thewlis -- The IEE draft policy on educational requirements for safety-critical systems engineers / Andrew McGettrick -- Technology transfer through the teaching company scheme / Ed Robson -- An industry view of training requirements for safety-critical systems professionals / Jim Thomas -- Safety-critical software professionals in the BCS industry career structure / Mike Falla -- Part Four: Lessons from the medical sector -- Safety of medical robots / Brian Davies -- Engineering safety into expert systems / John Fox -- Safety-critical system monitoring using default-trained neural networks / Nigel Dodd -- The European approach to standards in medical informatics / Barry Barber -- Part Five: Current development of standards -- Deficiencies in existing software engineering standards as exposed by SMARTIE / Colum Devine, Norman Fenton and Stella Page -- Risk and system integrity concepts for safety-related control systems / Ron Bell and Dietmar Reinert -- Towards safe road transport informatic systems / Peter Jesty and Tom Buckley -- Defence standard 00-56: background and revision / Kevin Geary.
Holdings
Item type Current library Call number Copy number Status Date due Barcode Item holds
General Lending MTU Bishopstown Library Lending 620.86 (Browse shelf(Opens below)) 1 Available 00015540
Total holds: 0

Enhanced descriptions from Syndetics:

Felix Redmill and Tom Anderson have edited one of the first books to appear on this vital subject. This important volume covers the development of computer systems for use in safety-critical applications, the technologies used and the experience of those using them. There are contributions from many leading experts in the field.

Includes bibliographical references and index.

Part One: Current issues -- Software in safety-critical applications - a review of current issues / Felix Redmill -- Issues in the development of safety-critical systems / John McDermid -- The JFIT safety-critical systems research programme: origins and intentions / Bob Malcolm -- Part Two: Requirements and specification -- Natural language processing for requirements specifications / Benjamin Macias and Stephen Pulman -- Viewpoint-orientated development: applications in composite systems / Anthony Finkelstein, Jeff Kramer and Bashar Nuseibeh -- The FOREST technique for system specification and validation / Bill Quirk -- Requirements development for safety-critical systems - a total systems approach / Jeremy Clare -- A methodology for requirements management applied to safety requirements / John Dobson and Ros Strens -- Part Three: Education and training -- Target qualities of safety professionals / Denis Jackson -- Organisation of industrial training / David Thewlis -- The IEE draft policy on educational requirements for safety-critical systems engineers / Andrew McGettrick -- Technology transfer through the teaching company scheme / Ed Robson -- An industry view of training requirements for safety-critical systems professionals / Jim Thomas -- Safety-critical software professionals in the BCS industry career structure / Mike Falla -- Part Four: Lessons from the medical sector -- Safety of medical robots / Brian Davies -- Engineering safety into expert systems / John Fox -- Safety-critical system monitoring using default-trained neural networks / Nigel Dodd -- The European approach to standards in medical informatics / Barry Barber -- Part Five: Current development of standards -- Deficiencies in existing software engineering standards as exposed by SMARTIE / Colum Devine, Norman Fenton and Stella Page -- Risk and system integrity concepts for safety-related control systems / Ron Bell and Dietmar Reinert -- Towards safe road transport informatic systems / Peter Jesty and Tom Buckley -- Defence standard 00-56: background and revision / Kevin Geary.

Powered by Koha