Testing Safety-Related Software

Size: px
Start display at page:

Download "Testing Safety-Related Software"

Transcription

1 Testing Safety-Related Software

2 Springer London Berlin Heidelberg New York Barcelona Hong Kong Milan Paris Santa Clara Singapore Tokyo

3 Stewart Gardiner (Ed.) Testing Safety-Related Software A Practical Handbook With 39 Figures Springer

4 Stewart N. Gardiner, BSc, PhD, CEng Ernst and Young, Management Consultants, George House, 50 George Square, Glasgow, G2 IRR, UK No representation or warranty, express or implied, is made or given by or on behalf of the editor and the contributors or any of their respective directors or affiliates or any other person as to the accuracy, completeness or fairness of the information, opinions or feasibility contained in this book and this book should not be relied upon by any third parties who should conduct their own investigations of this book and the matters set out herein and furthermore no responsibility or liability in negligence or otherwise is accepted for any such information, opinions or feasibility and the editor and contributors shall not be liable for any indirect or consequential loss caused by or arising from any such information, opinions or feasibility being loss of profit and/or loss of production. The contributors are: BAeSEMA Limited, G P Elliot Electronic Systems Limited, Lloyd's Register, Lucas Aerospace Limited, Rolls Royce Industrial Controls Limited, Nuclear Electric Limited, Rolls Royce pic, Scottish Nuclear Limited and The University of Warwick. ISBN-J3: e-isbn-j3: DOl: / British Library Cataloguing in Publication Data Testing safety-related software : a practical handbook 1. Computer software - Testing 2. Computer software Reliability 3. Industrial safety - Computer programs I. Gardiner, Stewart 005.1'4 ISBN-13: library of Congress Cataloging-in-Publication Data Testing safety-related software : a practical handbook 1 Stewart Gardiner, ed. p. em. Includes bibliographical references and index. ISBN-J3: Computer software - Testing. 2. Industrial safety - Software - Testing.. I. Gardiner, Stewart, QA76.76.T48T '6' dc CIP Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms oflicences issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers. Springer-Verlag London Limited 1999 The use of registered names, trademarks etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use. The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made. Typesetting: Camera ready by editor 34/ Printed on acid-free paper

5 Acknowledgements This book is based upon technical reports produced by a number of authors and is based upon the results of a collaborative research project (CONTESSE) to which many persons contributed. The project was partly funded by the UK Department of Trade and Industry (DTI) and the Engineering and Physical Sciences Research Council (EPSRC) and was carried out between 1992 and The editor gratefully acknowledges the following contributions to the book: Preparation of the final book: K Czachur (Lloyds' Register) K Khondar (University of Warwick) R. Lowe, M. Mills and A MacKenzie (BAeSEMA) Authors of the technical reports that form the basis of the book: BAeSEMA G P-Elliot Electronic Systems Lloyd's Register Dr. S. Gardiner R. Lowe A MacKenzie H.Morton S. Thomson M. Ashman KHomewood D. Marshall A Smith J. Tennis S. Allen K Czachur K Lee Prof. C. MacFarlane (University of Strathc1yde) B. McMillan (University of Strathc1yde) R. Melville (Brown Brothers)

6 vi Testing Safety-Related Software: A Practical Handbook Lucas Aerospace NEI Control Systems Nuclear Electric Rolls-Royce Scottish Nuclear The University of Warwick A Ashdown D. Hodgson Dr. J. Parkinson A Rounding Dr. I. Andrews G.Hughes D.Pavey Prof. P. Hall (The Open University) Dr. J. May (The Open University) Dr. H. Zhu (The Open University) Dr. A D. Lunn (The Open University) M. Beeby T.Cockram S. Dootson N.Hayes Dr.J. Kelly P. Summers Dr. E. Williams Prof. A Burns (University of York) Dr. D. Jackson (Formal Systems(Europe» Dr. M. Richardson (University of York) I. O'Neill P.Pymm Dr. F. Craine Prof. J. Cullyer K. Khondkar Dr. N. Storey The helpful advice of Tony Levene, the Project Monitoring officer for the DTI, is acknowledged. Crown Copyright is reproduced with the permission of the Controller of Her Majesty's Stationery Office. Extracts from mc standards are reproduced with permission under licence no. BSI\PD\ Complete editions of the standards can be obtained by post through national standards bodies. Camera-ready copy was created by Syntagma, Falmouth. July 1998 Stewart Gardiner - CONTESSE project manager (Now with Ernst and Young, Management Consultancy Services.)

7 Contents 1 Introduction Context Audience Structure Applicable Systems Integrity Levels Typical Architectures The Safety Lifecyc1e and the Safety Case Testing Issues across the Development Lifecyc1e Tool Support Current Industrial Practice The Significance Placed upon Testing by Standards and Guidelines Guidance Testing and the Safety Case Introduction Safety and Risk Assessment Hazard Analysis The System Safety Case Lifecycle Issues Guidance Designing for Testability Introduction Architectural Considerations PES Interface Considerations Implementation Options and Testing Attributes Software Features... 76

8 viii Testing Safety-Related Software: A Practical Handbook 3.6 Guidance Testing of TIming Aspects Introduction Correctness of Timing Requirements Scheduling Issues Scheduling Strategies Calculating Worst Case Execution Times Guidance The Test Environment Introduction Test Activities Related to the Development of a Safety Case A Generic Test Toolset Safety and Quality Requirements for Test Tools Statemate Requirements and Traceability Management (RTM) AdaTEST Integrated Tool Support Tool Selection Criteria Guidance The Use of Simulators Introduction Types of Environment Simulators Use of Software Environment Simulation in Testing Safety-Related Systems Environment Simulation Accuracy and its Assessment Based on the Set Theory Model Justification of Safety from Environment Simulation Guidance Test Adequacy Introduction The Notion of Test Adequacy The Role of Test Data Adequacy Criteria Approaches to Measurement of Software Test Adequacy The Use of Test Data Adequacy Guidance

9 Contents ix 8 Statistical Software Testing Introduction Statistical Software Testing and Related Work Test Adequacy and Statistical Software Testing Environment Simulations in Dynamic Software Testing Performing Statistical Software Testing The Notion of Confidence in Statistical Software Testing Criticisms of Statistical Software Testing The Future of Statistical Software Testing Guidance Empirical Quantifiable Measures of Testing Introduction Test Cost Assessment Test Regime Assessment Discussion of Test Regime Assessment ModeL Evidence to Support the Test Regime Assessment ModeL Guidance References Appendix A Summary of Advice from the Standards Bibliography Index

Inside the Smart Home

Inside the Smart Home Inside the Smart Home i Springer London Berlin Heidelberg New York Hong Kong Milan Paris Tokyo ii Richard Harper (Ed.) Inside the Smart Home iii Richard Harper, PhD The Appliance Studio, University Gate

More information

AutoCAD for Windows Express

AutoCAD for Windows Express AutoCAD for Windows Express Tim McCarthy AutoCAD for Windows Express With 195 Figures Springer-Verlag London Berlin Heidelberg New York Paris Tokyo Hong Kong Barcelona Budapest Timothy J. McCarthy, PhD

More information

ACHIEVEMENT AND ASSURANCE OF SAFETY

ACHIEVEMENT AND ASSURANCE OF SAFETY ACHIEVEMENT AND ASSURANCE OF SAFETY Related titles: Directions in Safety-critical Systems Proceedings of the First Safety-critical Systems Symposium, Bristol 1993 Redmill and Anderson (eds) 3-540-19817-2

More information

Innovations and the Environment

Innovations and the Environment Innovations and the Environment Yoram Krozer Innovations and the Environment 123 Yoram Krozer, PhD Cartesius Institute Institute for Sustainable Innovations of the Netherlands Technical Universities Zuidergrachtswal

More information

Manufacturing Challenges in Electronic Packaging

Manufacturing Challenges in Electronic Packaging Manufacturing Challenges in Electronic Packaging Manufacturing Challenges in Electronic Packaging Y.C. Lee University of Colorado, Boulder, CO, USA and WT. Chen formerly a Senior Technical Staff Member,

More information

Sergey Ablameyko and Tony Pridmore. Machine Interpretation of Line Drawing Images. Technical Drawings, Maps and Diagrams.

Sergey Ablameyko and Tony Pridmore. Machine Interpretation of Line Drawing Images. Technical Drawings, Maps and Diagrams. Sergey Ablameyko and Tony Pridmore Machine Interpretation of Line Drawing Images Technical Drawings, Maps and Diagrams i Springer Sergey Ablameyko, PhD, DSc, Prof, FlEE, FIAPR, SMIEEE Institute of Engineering

More information

Power Electronics Semiconductor Switches

Power Electronics Semiconductor Switches Power Electronics Semiconductor Switches Power Electronics Semiconductor Switches R.S. Ramshaw Department of Electrical and Computer Engineering University of Waterloo Ontario Canada SPRINGER-SCIENCE+BUSINESS

More information

Advanced Information and Knowledge Processing

Advanced Information and Knowledge Processing Advanced Information and Knowledge Processing Series Editors Professor Lakhmi Jain Lakhmi.jain@unisa.edu.au Professor Xindong Wu xwu@cems.uvm.edu For further volumes: http://www.springer.com/series/4738

More information

Springer-Vedag London Ltd.

Springer-Vedag London Ltd. AutoCAD Express NT Springer-Vedag London Ltd. Timothy McCarthy AutoCAD Express NT Covering Release 14, Springer Dr Timothy McCarthy Department of Civil and Structural Engineering UMIST P.O. Box 88 Manchester

More information

Intelligent knowledge based systems in electrical power engineering

Intelligent knowledge based systems in electrical power engineering Intelligent knowledge based systems in electrical power engineering JOIN US ON THE INTERNET VIA WWW, GOPHER, FTP OR EMAIL: WWW: http://www.thomson.com GOPHER: gopher.thomson.com A ^ ^ FTP: ftp.thomson.com

More information

Lecture Notes in Control and Information Sciences 198. Editor: M. Thoma

Lecture Notes in Control and Information Sciences 198. Editor: M. Thoma Lecture Notes in Control and Information Sciences 198 Editor: M. Thoma H. Winter and H.-G. Nfif~er (Eds.) Advanced Technologies for Air Traffic Flow Management Proceedings of an International Seminar Organized

More information

Jan de Witt s Elementa Curvarum Linearum Liber Secundus

Jan de Witt s Elementa Curvarum Linearum Liber Secundus Jan de Witt s Elementa Curvarum Linearum Liber Secundus For other titles published in this series, go to http://www.springer.com/series/4142 Sources and Studies in the History of Mathematics and Physical

More information

Developments in Risk-based Approaches to Safety.,,,, i

Developments in Risk-based Approaches to Safety.,,,, i Developments in Risk-based Approaches to Safety,,,, i Related titles: Towards System Safety Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK, 1999 1-85233-064-3 Lessons in System

More information

Lecture Notes in Control and Information Sciences 233. Editor: M. Thoma

Lecture Notes in Control and Information Sciences 233. Editor: M. Thoma Lecture Notes in Control and Information Sciences 233 Editor: M. Thoma Pasquale Chiacchio and Stefano Chiaverini (Eds) Complex Robotic Systems ~ Springer Series Advisory Board A. Bensoussan M.J. Grimble

More information

Software Engineering for Manufacturing Systems

Software Engineering for Manufacturing Systems Software Engineering for Manufacturing Systems IFIP - The International Federation for Information Processing IFIP was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress

More information

The EDR Aerial Photo Decade Package

The EDR Aerial Photo Decade Package Wickenburg/Forepaugh W. US Highway 60/N. 436th Ave Wickenburg, AZ 85390 Inquiry Number: April 22, 2011 The Aerial Photo Decade Package Aerial Photo Decade Package Environmental Data Resources, Inc. ()

More information

Safety-Critical Systems: Problems, Process and Practice

Safety-Critical Systems: Problems, Process and Practice Safety-Critical Systems: Problems, Process and Practice Related titles: Towards System Safety Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK, 1999 1-85233-064-3 Lessons in

More information

Springer Series in Reliability Engineering

Springer Series in Reliability Engineering Springer Series in Reliability Engineering Series Editor Professor Hoang Pham Department of Industrial Engineering Rutgers The State University of New Jersey 96 Frelinghuysen Road Piscataway, NJ 08854-8018

More information

Intelligent Control Systems with LabVIEW

Intelligent Control Systems with LabVIEW Intelligent Control Systems with LabVIEW Pedro Ponce-Cruz Fernando D. Ramírez-Figueroa Intelligent Control Systems with LabVIEW 123 Pedro Ponce-Cruz, Dr.-Ing. Fernando D. Ramírez-Figueroa, Research Assistant

More information

MODERN DAIRY TECHNOLOGY

MODERN DAIRY TECHNOLOGY MODERN DAIRY TECHNOLOGY Volume 1 Advances in Milk Processing Second Edition MODERN DAIRY TECHNOLOGY Volume 1 Advances in Milk Processing Second Edition Edited by R. K. Robinson Department of Food Science

More information

Design of Logic Systems

Design of Logic Systems Design of Logic Systems Design of Logic Systems Second edition D. Lewin Formerly Professor of Computer Science and Information Engineering, University of Sheffield D. Protheroe Lecturer in Electronic Engineering,

More information

Design for Innovative Value Towards a Sustainable Society

Design for Innovative Value Towards a Sustainable Society Design for Innovative Value Towards a Sustainable Society Mitsutaka Matsumoto Yasushi Umeda Keijiro Masui Shinichi Fukushige Editors Design for Innovative Value Towards a Sustainable Society Proceedings

More information

HIGH INTEGRITY DIE CASTING PROCESSES

HIGH INTEGRITY DIE CASTING PROCESSES HIGH INTEGRITY DIE CASTING PROCESSES EDWARD J. VINARCIK JOHN WILEY & SONS, INC. HIGH INTEGRITY DIE CASTING PROCESSES HIGH INTEGRITY DIE CASTING PROCESSES EDWARD J. VINARCIK JOHN WILEY & SONS, INC. This

More information

Lecture Notes in Control and Information Sciences 188. Editors: M. Thoma and W. Wyner

Lecture Notes in Control and Information Sciences 188. Editors: M. Thoma and W. Wyner Lecture Notes in Control and Information Sciences 188 Editors: M. Thoma and W. Wyner D. Subbaram Naidu Aeroassisted Orbital Transfer Guidance and Control Strategies Springer-Verlag London Berlin Heidelberg

More information

Modelling Non-Stationary Time Series

Modelling Non-Stationary Time Series Modelling Non-Stationary Time Series Palgrave Texts in Econometrics Series Editor: Kerry Patterson Titles include: Simon P. Burke and John Hunter MODELLING NON-STATIONARY TIME SERIES Michael P. Clements

More information

The EDR Aerial Photo Decade Package

The EDR Aerial Photo Decade Package I-710 Corridor - Segment 5 I-710 Corridor - Segment 5 Los Angeles County, CA 90201 Inquiry Number: March 25, 2009 The EDR Aerial Photo Decade Package EDR Aerial Photo Decade Package Environmental Data

More information

Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems

Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems M.C. Bhuvaneswari Editor Application of Evolutionary Algorithms for Multi-objective Optimization in

More information

Architecture Design and Validation Methods

Architecture Design and Validation Methods Architecture Design and Validation Methods Springer-Verlag Berlin Heidelberg GmbH Egon Börger (Ed.) Architecture Design and Validation Methods With 175 Figures, Springer Editor Prof. Dr. Egon Börger Universita

More information

SpringerBriefs in Space Development

SpringerBriefs in Space Development SpringerBriefs in Space Development Guest Editor: Jinyuan Su More information about this series at http://www.springer.com/series/10058 Joseph N. Pelton New Solutions for the Space Debris Problem Joseph

More information

Applied Computing. Springer-Verlag London Ltd.

Applied Computing. Springer-Verlag London Ltd. Applied Computing Springer-Verlag London Ltd. The Springer-Verlag Series on Applied Computing is an advanced series of innovative textbooks that span the full range oftopics in applied computing technology.

More information

Sheet Metal Design Guidelines

Sheet Metal Design Guidelines Sheet Metal Design Guidelines Hem Design Guidelines Issue XII, June 2015 2 Copyright Notice Geometric Limited. All rights reserved. No part of this document (whether in hardcopy or electronic form) may

More information

Strategy for Tourism Second edition

Strategy for Tourism Second edition Strategy for Tourism Second edition Strategy for Tourism Second edition John Tribe Goodfellow Publishers Ltd (G) Published by Goodfellow Publishers Limited, Woodeaton, Oxford, OX3 9TJ http://www.goodfellowpublishers.com

More information

Computer Automation in Manufacturing

Computer Automation in Manufacturing Computer Automation in Manufacturing Computer Automation in Manufacturing An introduction Thomas O. Boucher Department of Industrial Engineering Rutgers University Piscataway NJ USA SPRINGER-SCIENCE+BUSINESS

More information

Sheet Metal Design Guidelines

Sheet Metal Design Guidelines Sheet Metal Design Guidelines Issue XIV, Aug 2015 2 Copyright Notice Geometric Limited. All rights reserved. No part of this document (whether in hardcopy or electronic form) may be reproduced, stored

More information

BRITAIN S WINNING FORMULA

BRITAIN S WINNING FORMULA BRITAIN S WINNING FORMULA This page intentionally left blank Britain s Winning Formula Achieving World Leadership in Motorsports Martin Beck-Burridge and Jeremy Walton Martin Beck-Burridge and Jeremy Walton

More information

Health Information Technology Standards. Series Editor: Tim Benson

Health Information Technology Standards. Series Editor: Tim Benson Health Information Technology Standards Series Editor: Tim Benson Tim Benson Principles of Health Interoperability HL7 and SNOMED Second Edition Tim Benson Abies Ltd Hermitage, Thatcham Berkshire UK ISBN

More information

Appendix B: Historic Aerial Photographs

Appendix B: Historic Aerial Photographs Yolo County - Solar Ground Tracker Project Phase I Environmental Site Assessment Appendix B: Historic Aerial Photographs Michael Brandman Associates H:\Client (PN-JN)\1759\17590008\Phase I ESA\17590008

More information

Sheet Metal Design Guidelines

Sheet Metal Design Guidelines Sheet Metal Design Guidelines Curl and Lance Design Guidelines Issue X, May 2015 2 Copyright Notice Geometric Limited. All rights reserved. No part of this document (whether in hardcopy or electronic form)

More information

The EDR Aerial Photo Decade Package

The EDR Aerial Photo Decade Package Former Delco Chassis Plant -Site ID 1104 12950 Eckles Road Livonia, MI 48150 Inquiry Number: August 10, 2009 The EDR Aerial Photo Decade Package EDR Aerial Photo Decade Package Environmental Data Resources,

More information

Technology Roadmapping for Strategy and Innovation

Technology Roadmapping for Strategy and Innovation Technology Roadmapping for Strategy and Innovation Martin G. Moehrle, Ralf Isenmann, and Robert Phaal (Eds.) Technology Roadmapping for Strategy and Innovation Charting the Route to Success ABC Editors

More information

Entrepreneurial Profiles of Creative Destruction

Entrepreneurial Profiles of Creative Destruction Entrepreneurial Profiles of Creative Destruction Entrepreneurial Profiles of Creative Destruction Courage, Imagination and Creativity in Action Elias G. Carayannis George Washington University, Washington,

More information

Discursive Constructions of Corporate Identities by Chinese Banks on Sina Weibo

Discursive Constructions of Corporate Identities by Chinese Banks on Sina Weibo Discursive Constructions of Corporate Identities by Chinese Banks on Sina Weibo Wei Feng Discursive Constructions of Corporate Identities by Chinese Banks on Sina Weibo An Integrated Sociolinguistics Approach

More information

Computational Intelligence for Network Structure Analytics

Computational Intelligence for Network Structure Analytics Computational Intelligence for Network Structure Analytics Maoguo Gong Qing Cai Lijia Ma Shanfeng Wang Yu Lei Computational Intelligence for Network Structure Analytics 123 Maoguo Gong Xidian University

More information

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen Lecture Notes in Computer Science 1528 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Bart Preneel Vincent Rijmen

More information

Simulation by Bondgraphs

Simulation by Bondgraphs Jean U. Thoma Simulation by Bondgraphs Introduction to a Graphical Method Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong 1990 Professor Dr. Jean Ulrich Thoma Dept. of Mechanical

More information

Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK

Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK History of Computing Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK Series Editor Gerard Alberts, University of Amsterdam, Amsterdam, The Netherlands Advisory Board Jack Copeland,

More information

STP-NU ROADMAP TO DEVELOP ASME CODE RULES FOR THE CONSTRUCTION OF HIGH TEMPERATURE GAS COOLED REACTORS (HTGRS)

STP-NU ROADMAP TO DEVELOP ASME CODE RULES FOR THE CONSTRUCTION OF HIGH TEMPERATURE GAS COOLED REACTORS (HTGRS) ROADMAP TO DEVELOP ASME CODE RULES FOR THE CONSTRUCTION OF HIGH TEMPERATURE GAS COOLED REACTORS (HTGRS) ROADMAP TO DEVELOP ASME CODE RULES FOR THE CONSTRUCTION OF HIGH TEMPERATURE GAS- COOLED REACTORS

More information

Hierarchy Process. The Analytic. Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) Applications and Studies

Hierarchy Process. The Analytic. Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) Applications and Studies Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) The Analytic Hierarchy Process Applications and Studies With Contributions by 1. M. Alexander, W D. Daniel Jr., 1. G. Dolan, L. P. Fatti, B. L.

More information

Broadband Networks, Smart Grids and Climate Change

Broadband Networks, Smart Grids and Climate Change Broadband Networks, Smart Grids and Climate Change Eli M. Noam Lorenzo Maria Pupillo Johann J. Kranz Editors Broadband Networks, Smart Grids and Climate Change Editors Eli M. Noam Columbia Business School

More information

FUNDAMENTALS OF SIGNALS AND SYSTEMS

FUNDAMENTALS OF SIGNALS AND SYSTEMS FUNDAMENTALS OF SIGNALS AND SYSTEMS LIMITED WARRANTY AND DISCLAIMER OF LIABILITY THE CD-ROM THAT ACCOMPANIES THE BOOK MAY BE USED ON A SINGLE PC ONLY. THE LICENSE DOES NOT PERMIT THE USE ON A NETWORK (OF

More information

SpringerBriefs in Space Development

SpringerBriefs in Space Development SpringerBriefs in Space Development Series Editor: Joseph N. Pelton, Jr. For further volumes: http://www.springer.com/series/10058 Audrey L. Allison The ITU and Managing Satellite Orbital and Spectrum

More information

SpringerBriefs in Applied Sciences and Technology

SpringerBriefs in Applied Sciences and Technology SpringerBriefs in Applied Sciences and Technology Safety Management Series Editors Eric Marsden, Toulouse, France Caroline Kamaté, Toulouse, France François Daniellou, Toulouse, France The SpringerBriefs

More information

Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business. Pre-Vocational Education in European Schools RESEARCH

Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business. Pre-Vocational Education in European Schools RESEARCH Fit for Business Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business Pre-Vocational Education in European Schools RESEARCH Editors Matthias Pilz, Susanne Berger, Cologne, Germany Roy Canning

More information

Also by Craig Batty Media Writing: A Practical Introduction (with S. Cain, 2010)

Also by Craig Batty Media Writing: A Practical Introduction (with S. Cain, 2010) Movies That Move Us Also by Craig Batty Media Writing: A Practical Introduction (with S. Cain, 2010) Writing for the Screen: Creative and Critical Approaches (with Z. Waldeback, 2008) Movies That Move

More information

Sustainable Development

Sustainable Development Sustainable Development Anne E. Egelston Sustainable Development A History 123 Dr. Anne E. Egelston Government Department Lone Star College-Montgomery Conroe, TX 77384 USA Quotations from Reimann (2006)

More information

Advanced Electronic Circuits

Advanced Electronic Circuits U. Tietze Ch. Schenk Advanced Electronic Circuits Wi th the Assistance of E. Schmid With 570 Figures Springer-Verlag Berlin Heidelberg New York 1978 Dr.-Ing. Ulrich Tietze Dr.-Ing. Christoph Schenk Universitat

More information

Lecture Notes in Control and Information Sciences 283. Editors: M. Thoma M. Morari

Lecture Notes in Control and Information Sciences 283. Editors: M. Thoma M. Morari Lecture Notes in Control and Information Sciences 283 Editors: M. Thoma M. Morari Springer Berlin Heidelberg NewYork Barcelona Hong Kong London Milan Paris Tokyo Christopher Fielding, Andras Varga, Samir

More information

Time Frequency Domain for Segmentation and Classification of Non-stationary Signals

Time Frequency Domain for Segmentation and Classification of Non-stationary Signals Time Frequency Domain for Segmentation and Classification of Non-stationary Signals FOCUS SERIES Series Editor Francis Castanié Time Frequency Domain for Segmentation and Classification of Non-stationary

More information

OIL, ECONOMIC DEVELOPMENT AND DIVERSIFICATION IN BRUNEI DARUSSALAM

OIL, ECONOMIC DEVELOPMENT AND DIVERSIFICATION IN BRUNEI DARUSSALAM OIL, ECONOMIC DEVELOPMENT AND DIVERSIFICATION IN BRUNEI DARUSSALAM STUDIES IN THE ECONOMIES OF EAST AND SOUTH-EAST ASIA General Editors: Peter Nolan, Lecturer in the Faculty of Economics and Politics,

More information

TED-Kit 2, Release Notes

TED-Kit 2, Release Notes TED-Kit 2 3.6.0 December 5th, 2014 Document Information Info Content Keywords TED-Kit 2, Abstract This document contains the release notes for the TED-Kit 2 software. Contact information For additional

More information

IET Standards Committee. Governance. IET Standards Committee Remit. IET Standards Committee Constitution

IET Standards Committee. Governance. IET Standards Committee Remit. IET Standards Committee Constitution IET Standards Committee Governance The IET is governed by a Board of Trustees, to which report five committees and Council. In addition, two main boards Knowledge Management Board and Membership and Professional

More information

Dao Companion to the Analects

Dao Companion to the Analects Dao Companion to the Analects Dao Companions to Chinese Philosophy Series Editor HUANG Yong Department of Philosophy The Chinese University of Hong Kong Shatin, New Territories Hong Kong E-mail: yonghuang@cuhk.edu.hk

More information

MATLAB Guide to Finite Elements

MATLAB Guide to Finite Elements MATLAB Guide to Finite Elements Peter I. Kattan MATLAB Guide to Finite Elements An Interactive Approach Second Edition With 108 Figures and 25 Tables Peter I. Kattan, PhD P.O. BOX 1392 Amman 11118 Jordan

More information

Corrosion Inspection and Monitoring

Corrosion Inspection and Monitoring Corrosion Inspection and Monitoring WILEY SERIES IN CORROSION R.Winston Revie, Series Editor Corrosion Inspection and Monitoring Pierre R. Roberge Corrosion Inspection and Monitoring Pierre R. Roberge

More information

Handbook of Engineering Acoustics

Handbook of Engineering Acoustics Handbook of Engineering Acoustics . Gerhard M uller Michael M oser Editors Handbook of Engineering Acoustics Editors Prof. Dr. Gerhard M uller Technische Universit at M unchen Lehrstuhl f ur Baumechanik

More information

ANALOG CIRCUITS AND SIGNAL PROCESSING

ANALOG CIRCUITS AND SIGNAL PROCESSING ANALOG CIRCUITS AND SIGNAL PROCESSING Series Editors Mohammed Ismail, The Ohio State University Mohamad Sawan, École Polytechnique de Montréal For further volumes: http://www.springer.com/series/7381 Yongjian

More information

Architectures for Enterprise Integration

Architectures for Enterprise Integration Architectures for Enterprise Integration Architectures for Enterprise Integration Edited by Peter Bernus Griffith University Queensland Australia Laszlo Nemes CS/RO Victoria Australia and Theodore.J. Williams

More information

This page intentionally left blank

This page intentionally left blank Stevie Smith This page intentionally left blank Stevie Smith Between the Lines Romana Huk Romana Huk 2005 Softcover reprint of the hardcover 1st edition 2005 978-0-333-54997-1 All rights reserved. No reproduction,

More information

IMPACT TESTING EXEMPTION CURVES

IMPACT TESTING EXEMPTION CURVES IMPACT TESTING EXEMPTION CURVES FOR LOW TEMPERATURE OPERATION OF PRESSURE PIPING STP-PT-028 Date of Issuance: January 29, 2009 This report was prepared as an account of work sponsored by ASME Pressure

More information

Privacy, Data Protection and Cybersecurity in Europe

Privacy, Data Protection and Cybersecurity in Europe Privacy, Data Protection and Cybersecurity in Europe Wolf J. Schünemann Max-Otto Baumann Editors Privacy, Data Protection and Cybersecurity in Europe Editors Wolf J. Schünemann Institute for Social Sciences

More information

Historical Materialism and Social Evolution

Historical Materialism and Social Evolution Historical Materialism and Social Evolution Historical Materialism and Social Evolution Edited by Paul Blackledge Senior Lecturer School of Cultural Studies Leeds Metropolitan University and Graeme Kirkpatrick

More information

The BioBrick Public Agreement. DRAFT Version 1a. January For public distribution and comment

The BioBrick Public Agreement. DRAFT Version 1a. January For public distribution and comment The BioBrick Public Agreement DRAFT Version 1a January 2010 For public distribution and comment Please send any comments or feedback to Drew Endy & David Grewal c/o endy@biobricks.org grewal@biobricks.org

More information

AIRCRAFT CONTROL AND SIMULATION

AIRCRAFT CONTROL AND SIMULATION AIRCRAFT CONTROL AND SIMULATION AIRCRAFT CONTROL AND SIMULATION Third Edition Dynamics, Controls Design, and Autonomous Systems BRIAN L. STEVENS FRANK L. LEWIS ERIC N. JOHNSON Cover image: Space Shuttle

More information

Modeling Manufacturing Systems. From Aggregate Planning to Real-Time Control

Modeling Manufacturing Systems. From Aggregate Planning to Real-Time Control Modeling Manufacturing Systems From Aggregate Planning to Real-Time Control Springer-Verlag Berlin Heidelberg GmbH Paolo Brandimarte. Agostino Villa (Eds.) Modeling Manufacturing Systems From Aggregate

More information

Palgrave Studies in Comics and Graphic Novels. Series Editor Roger Sabin University of the Arts London London, United Kingdom

Palgrave Studies in Comics and Graphic Novels. Series Editor Roger Sabin University of the Arts London London, United Kingdom Palgrave Studies in Comics and Graphic Novels Series Editor Roger Sabin University of the Arts London London, United Kingdom This series concerns Comics Studies with a capital c and a capital s. It feels

More information

Machining Design Guidelines

Machining Design Guidelines Machining Design Guidelines Milling Rules Issue IV, Jan 2015 2 Copyright Notice Geometric Limited. All rights reserved. No part of this document (whether in hardcopy or electronic form) may be reproduced,

More information

PRACTICAL RF SYSTEM DESIGN

PRACTICAL RF SYSTEM DESIGN PRACTICAL RF SYSTEM DESIGN WILLIAM F. EGAN, Ph.D. Lecturer in Electrical Engineering Santa Clara University The Institute of Electrical and Electronics Engineers, Inc., New York A JOHN WILEY & SONS, INC.,

More information

Computer Supported Cooperative Work. Series Editor Richard Harper Cambridge, United Kingdom

Computer Supported Cooperative Work. Series Editor Richard Harper Cambridge, United Kingdom Computer Supported Cooperative Work Series Editor Richard Harper Cambridge, United Kingdom The CSCW series examines the dynamic interface of human nature, culture, and technology. Technology to support

More information

The New Strategic Landscape

The New Strategic Landscape The New Strategic Landscape This page intentionally left blank The New Strategic Landscape Innovative Perspectives on Strategy Julie Verity Julie Verity 2012 All remaining chapters respective authors Softcover

More information

Computer-Aided Production Management

Computer-Aided Production Management Asbj0rn Rolstadas (Ed.) Computer-Aided Production Management With 169 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Professor Dr. Asbjern Ro1stadas Production Engineering Laboratory

More information

Future-Oriented Technology Analysis

Future-Oriented Technology Analysis Future-Oriented Technology Analysis Cristiano Cagnin Michael Keenan Ron Johnston Fabiana Scapolo Rémi Barré Editors Future-Oriented Technology Analysis Strategic Intelligence for an Innovative Economy

More information

Dry Etching Technology for Semiconductors. Translation supervised by Kazuo Nojiri Translation by Yuki Ikezi

Dry Etching Technology for Semiconductors. Translation supervised by Kazuo Nojiri Translation by Yuki Ikezi Dry Etching Technology for Semiconductors Translation supervised by Kazuo Nojiri Translation by Yuki Ikezi Kazuo Nojiri Dry Etching Technology for Semiconductors Kazuo Nojiri Lam Research Co., Ltd. Tokyo,

More information

BP and the Macondo Spill

BP and the Macondo Spill BP and the Macondo Spill This page intentionally left blank BP and the Macondo Spill The Complete Story Colin Read Professor of Economics and Finance, SUNY College, Plattsburgh, USA Palgrave macmillan

More information

SpringerBriefs in Astronomy

SpringerBriefs in Astronomy SpringerBriefs in Astronomy Series editors Martin Ratcliffe Valley Center, Kansas, USA Wolfgang Hillebrandt MPI für Astrophysik, Garching, Germany Michael Inglis Suffolk County Community College, New York,

More information

Requirements Engineering for Digital Health

Requirements Engineering for Digital Health Requirements Engineering for Digital Health Samuel A. Fricker Christoph Thümmler Anastasius Gavras Editors Requirements Engineering for Digital Health Editors Samuel A. Fricker Blekinge Institute of Technology

More information

Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective

Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective NATO ASI Series Advanced Science Institutes Series A series presenting the results of activities sponsored by the NA TO Science

More information

Postdisciplinary Studies in Discourse

Postdisciplinary Studies in Discourse Postdisciplinary Studies in Discourse Series Editors Johannes Angermuller University of Warwick Coventry, United Kingdom Judith Baxter Aston University Birmingham, United Kingdom Aim of the Series Postdisciplinary

More information

STP-PT-032 BUCKLING OF CYLINDRICAL, THIN WALL, TRAILER TRUCK TANKS AND ASME SECTION XII

STP-PT-032 BUCKLING OF CYLINDRICAL, THIN WALL, TRAILER TRUCK TANKS AND ASME SECTION XII STP-PT-032 BUCKLING OF CYLINDRICAL, THIN WALL, TRAILER TRUCK TANKS AND ASME SECTION XII Date of Issuance: September 1, 2009 This report was prepared as an account of work sponsored by ASME Pressure Technologies

More information

Marketing and Designing the Tourist Experience

Marketing and Designing the Tourist Experience Marketing and Designing the Tourist Experience Isabelle Frochot and Wided Batat (G) Goodfellow Publishers Ltd (G) Published by Goodfellow Publishers Limited, Woodeaton, Oxford, OX3 9TJ http://www.goodfellowpublishers.com

More information

Socio-technical Design of Ubiquitous Computing Systems

Socio-technical Design of Ubiquitous Computing Systems Socio-technical Design of Ubiquitous Computing Systems Klaus David Kurt Geihs Jan Marco Leimeister Alexander Roßnagel Ludger Schmidt Gerd Stumme Arno Wacker Editors Socio-technical Design of Ubiquitous

More information

COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, May 2016, Trento, Italy

COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, May 2016, Trento, Italy Antonella De Angeli Liam Bannon Patrizia Marti Silvia Bordin Editors COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy COOP

More information

StraBer Wahl Graphics and Robotics

StraBer Wahl Graphics and Robotics StraBer Wahl Graphics and Robotics Wolfgang StrafSer Friedrich Wahl Editors Graphics and Robotics With 128 Figures, some in Colour, Springer Prof. Dr.-lng. Wolfgang StraBer Wilhelm-Schickard-lnstitut fur

More information

SOLDERING. Understanding the Basics. Edited by Mel Schwartz. Materials Park, Ohio

SOLDERING. Understanding the Basics. Edited by Mel Schwartz. Materials Park, Ohio SOLDERING Understanding the Basics Edited by Mel Schwartz ASM International Materials Park, Ohio 44073-0002 Copyright 2014 by ASM International All rights reserved No part of this book may be reproduced,

More information

MOTORBIKE. Instructions Author: Socheata Kong.

MOTORBIKE. Instructions Author: Socheata Kong. MOTORBIKE Instructions Author: Socheata Kong Water Utility Knife Drill Spade x2 x5 Hex Bolt Spanner Machete Car Tire Grinder Truck Tire TIMBER ~4cm / 2 ~90cm / 35.5 Please note: All measurements are indicative

More information

INTERNATIONAL STANDARD

INTERNATIONAL STANDARD INTERNATIONAL STANDARD IEC 62539 First edition 2007-07 IEEE 930 Guide for the statistical analysis of electrical insulation breakdown data Commission Electrotechnique Internationale International Electrotechnical

More information

COMPOSITE FILAMENT WINDING

COMPOSITE FILAMENT WINDING COMPOSITE FILAMENT WINDING Edited by S.T. Peters ASM International Materials Park, Ohio 44073-0002 Copyright 2011 by ASM International All rights reserved No part of this book may be reproduced, stored

More information

Palgrave Studies in the History of Science and Technology

Palgrave Studies in the History of Science and Technology Palgrave Studies in the History of Science and Technology Series Editors James Rodger Fleming Colby College Waterville, Maine, USA Roger D. Launius Smithsonian Institution National Air and Space Museum,

More information

TIDA Test Report 1/4/2016. TIDA Test Report 1/4/2016

TIDA Test Report 1/4/2016. TIDA Test Report 1/4/2016 1/4/2016 TIDA-00808 Test Report 1/4/2016 Table of Contents I. Overview... 3 II. Power Specification... 3 III. Reference Board... 4 IV. Max Output Current... 5 V. Efficiency... 5 VI. Thermal... 6 VII. Power

More information

Computational Social Sciences

Computational Social Sciences A series of authored and edited monographs that utilize quantitative and computational methods to model, analyze and interpret large-scale social phenomena. Titles within the series contain methods and

More information

The Washington Embassy

The Washington Embassy The Washington Embassy The Washington Embassy British Ambassadors to the United States, 1939 77 Edited by Michael F. Hopkins Lecturer in History, University of Liverpool Saul Kelly Reader in Defence Studies,

More information