Using an IEC Certified RTOS Kernel for Safety-Critical Systems
|
|
- Blaise O’Brien’
- 6 years ago
- Views:
Transcription
1 Using an IEC Certified RTOS Kernel for Safety-Critical Systems FTF China, August 2011 Bob Monkman Director, Business Development QNX Software Systems
2 The Standards The Standards IEC Accreditation and Auditing Bodies Derived Standards Certification The Plan The Practice Conclusion QNX Software Systems, GmbH & Co. KG,
3 IEC IEC Functional safety of electrical/electronic/programmable electronic safety-related systems First edition ( ) Second edition (April 2010) significant additions, especially concerning software Summary Part 0: Functional Safety and IEC Part 1: General Requirements Part 2: System Requirements Part 3: Software Requirements Part 4: Definitions and Abbreviations Part 5: Examples of Methods Part 6: Guidelines for the application of Parts 2 and 3 Part 7: Overview of Techniques and Measures 3
4 Accreditation and Auditing Bodies A member of the International Accreditation Forum accredits A certification organization certifies A process or a product 4
5 Derived standards EN 5012n European railway standards EN reliability, availability, maintainability and safety EN communications, signalling and processing systems EN communications, signalling and processing systems (safety related electronics for signalling) IEC medical software and software life cycle processes ISO functional safety for road vehicles (in development) 5
6 The Certification Challenge The Standards The Plan Functional Safety System Safety Claim Safety Case and Supporting Evidence The Practice Conclusion QNX Software Systems, GmbH & Co. KG,
7 An Example of Functional Safety System A chainsaw 7
8 The Claims Context of the claims Probability of dangerous failure Level of dependability availability and reliability Sufficient dependability Functional Safety Requirements Safety Manual 8
9 The Claims: The Infamous Five-Nines Availability Failures per year Duration of each failure 1 5 minutes 16 seconds Potentially catastrophic seconds seconds milliseconds 10, milliseconds 100, milliseconds 1,000, microseconds Possibly benign Five-nines availability sounds good, but Would you fly in a plane with a flight control system that makes this claim, with no further precision? 9
10 The Evidence Pyramid 10
11 The Foundation - Quality management system Without these basic procedures, you can go no further Quality management system ISO 9000 ISO Capability Maturity Model Integration (CMMI) Source control Revision/version/source control Defect tracking Defects found by customers as well as through verification Defect classification (for fault analysis) 11
12 Design Artefacts Records from software life cycle Design documentation Project plan Quality plan Architectural design Detailed design Test plans Test results Other validation methods plans and results Traceability matrix 12
13 Static Analysis Syntax checking Check that coding standards are being applied Compiler is a syntax checker Checking with semantics knowledge Targeted module analysis Common fault scanning Assertion checking Symbolic execution Detect logical inconsistencies Pros: helps catch design errors early Cons: false positives 13
14 Proven-In-Use Data Particularly important for retrofitting In-field usage data are invaluable Build the gathering of this data into your business model The more in-use data available, the stronger the evidence In-use data only meaningful when scrutinized with fault analysis QNX used proven-in-use data to support its safety case for the QNX Neutrino RTOS Safe Kernel. 14
15 Fault Tree Analysis Structured analysis Easier for auditor Easier for audited Example: Bayesian Belief Networks tool for incorporating and providing quantitative results from Hard and soft evidence A priori (cause to effect) and a posteriori (effect to cause) evidence Fault tree 15
16 Design Verification Could be applied before or after design Powerful tool for retrofitting SPIN Simple Promela (Process Meta Language) Interpreter NuSMV New Symbolic Model Checker Less effective for retrofitting, but may be needed for SIL 4 Formal analysis For example: VDM (Vienna Development Method) Z 16
17 A Closer Look at Building Functional Safety The Standards The Plan The Practice Reason s Model Preventing the introduction of faults Preventing faults from causing errors Preventing errors from causing failures Minimizing the effect of failures Conclusion QNX Software Systems, GmbH & Co. KG,
18 Reason s Model Fault a mistake in the code, which may or may not cause undesired behaviour. Error undesired behaviour caused by a fault in the code. Failure a system failure caused by an uncontained error. 18
19 Preventing the Introduction of Faults (cont d) System engineering Formal languages VDM (Vienna Development Model) Z Notation Language choices Loose/Strong typing Dynamic/Static typing Exception handling Design techniques Test-driven design 19
20 Preventing Faults from Causing Errors Assertions Static code analysis Automatic code inspection Code inspections Fault injection Test fault detection and recovery Estimate number of Heisenbugs 20
21 Preventing Errors from Causing Failures Coherent exception handling Fundamental technique Throw the exception transfer control from point of exception another location where it can be handled appropriately Programming by contract Rejuvenation (or reset) Replication (redundancy/recovery) Consistency vs. performance and availability 21
22 Minimizing the Effects of Failures Architecture Microkernel Partitioning Fault Isolation Fault Detection & Recovery Clean crash Crash-Only Software Rapid restart may be required An simple elevator system with a failure. What techniques could we have used to find the fault? Is recovery possible? 22
23 Example: Adaptive Partitioning QNX Adaptive Partitioning Provides minimum CPU time guarantees to partitions (sets of processes or threads) Allows partitions to exceed their time budgets when spare processing cycles are available 23
24 How can QNX help? 24 QNX Certified Platform Architected for reliability and selfhealing IEC Certification Statement Safety Manual Device-specific Assurance Case report plug-in Neutrino RTOS Safety Assurance Case Proven in Use data Safe design training courses On-site audit (regulatory body participation possible) Subject Matter Expert consultancy time (hours)
25 To Summarize The Standards The Plan The Practice Conclusion QNX Software Systems, GmbH & Co. KG,
26 Summary Functional safety certification has no Short Cut Process and quality management are essential A proven OS architecture that ensures reliability/safety Gather in-field usage data Engage the auditor from the beginning and throughout the process Consider Pre-Audit Services Design and build for safety certification: Fault, error, failure, recovery 26
27 Thank you! Bob Monkman QNX Software Systems, GmbH & Co. KG,
QNX Solution for Medical Market Kosuke Abe, APAC Sales Team. QNX Software Systems Limited
QNX Solution for Medical Market Kosuke Abe, APAC Sales Team QNX Software Systems Limited 2 QNX medical value proposition Field-proven experience in Class I and II devices Safe, secure microkernel architecture
More informationSESA Transportation Working Group
SESA Transportation Working Group Presentation: Establishment of Software Safety Requirements in a Later Phase of Project Life Cycle Why Software Prevalence of Software in transport systems Functionality
More informationCS 313 High Integrity Systems/ CS M13 Critical Systems
CS 313 High Integrity Systems/ CS M13 Critical Systems Course Notes Chapter 5: The Development Cycle for Safety-Critical Systems Anton Setzer Dept. of Computer Science, Swansea University http://www.cs.swan.ac.uk/
More informationCSC313 High Integrity Systems/CSCM13 Critical Systems CSC313 High Integrity Systems/ CSCM13 Critical Systems
CSC313 High Integrity Systems/CSCM13 Critical Systems CSC313 High Integrity Systems/ CSCM13 Critical Systems Course Notes Chapter 6: The Development Cycle for Safety-Critical Systems Anton Setzer Dept.
More information9. Verification, Validation, Testing
9. Verification, Validation, Testing (a) Basic Notions (b) Dynamic testing. (c) Static analysis. (d) Modelling. (e) Environmental Simulation. (f) Test Strategies. (g) Tool support. (h) Independent Verification
More informationChanging the way the world thinks about software systems
Changing the way the world thinks about software systems Theorem Proving Conference Cambridge 9/10 December 2013 Sub-Topic 1 Standards Relationships Nick Tudor: njt@drisq.com ToRs Stream 1 Relationship
More informationSoftware Reliability
Software Reliability Measuring Software Reliability D L BIRD 2003 Abstract This paper sets out a technique for measuring software reliability. It introduces a new style of metric that establishes software
More informationQuestions Raised During Webinar on 18th October 2011
Questions Raised During Webinar on 18th October 2011 Chris Hobbs (with input from Justin Moon) QNX Software Systems chobbs@qnx.com October 2011 1 Introduction On 18th October 2011, QNX and EE Times held
More informationSoftware Safety and Certification
Software Safety and Certification presented to IEEE Spring Switchgear Committee Luncheon Seminar 4 May, 2004 by Howard Cox Laboratories 1 What we will cover... Functional Safety Concepts from IEC 61508
More informationMeasuring and Assessing Software Quality
Measuring and Assessing Software Quality Issues, Challenges and Practical Approaches Kostas Kontogiannis Associate Professor, NTUA kkontog@softlab.ntua.gr The Software Life Cycle Maintenance Requirements
More informationSoftware Project Management Sixth Edition. Chapter Software process quality
Software Project Management Sixth Edition Chapter 13.2 Software process quality 1 Product and Process Quality A good process is usually required to produce a good product. For manufactured goods, process
More informationDependable Technologies For Critical Systems. Software Verification. 22 nd May Technologies Ltd 2011 Critical Software
Dependable Technologies For Critical Systems Software Verification 22 nd May 2012 Dependable Technologies For Critical Systems Agenda When Things Go Wrong... Certifying Software Safety Critical Systems
More informationUsing Dynamic Software Analysis to Support Medical Device Approval
Using Dynamic Software Analysis to Support Medical Device Approval Mark Pitchford, Field Application Engineer, LDRA Chris Ault, Product Marketing Manager, Medical, QNX Software Systems mark.pitchford@ldra.com,
More informationLecture 2: Software Quality Factors, Models and Standards. Software Quality Assurance (INSE 6260/4-UU) Winter 2016
Lecture 2: Software Quality Factors, Models and Standards Software Quality Assurance (INSE 6260/4-UU) Winter 2016 INSE 6260/4-UU Software Quality Assurance Software Quality Quality Assurance Factors and
More informationSafety cannot rely on testing
Standards 1 Computer-based systems (generically referred to as programmable electronic systems) are being used in all application sectors to perform non-safety functions and, increasingly, to perform safety
More informationSoftware Quality Engineering Courses Offered by The Westfall Team
Building Skills is a 3-day course that is a subset of our course. The course is designed to provide a fundamental knowledge base and practical skills for anyone interested in implementing or improving
More informationThe Road from Software Testing to Theorem Proving
The Road from Software Testing to Theorem Proving A Short Compendium of my Favorite Software Verification Techniques Frédéric Painchaud DRDC Valcartier / Robustness and Software Analysis Group December
More informationSoftware Quality Engineering Courses Offered by The Westfall Team
Courses is a 2-day course that is a subset of our course. The course is designed to provide an overview of techniques and practices. This course starts with an overview of software quality engineering
More informationIEC Functional Safety Assessment
IEC 61508 Functional Safety Assessment Project: 3051S HART Advanced Diagnostics Pressure Transmitter, option code DA2 Customer: Rosemount Inc. (an Emerson Process Management company) Chanhassen, MN USA
More informationIntegrating Functional Safety with ARM. November, 2015 Lifeng Geng, Embedded Marketing Manager
Integrating Functional Safety with ARM November, 2015 Lifeng Geng, Embedded Marketing Manager 1 ARM: The World s Most Scalable Architecture ARM ecosystem meets needs of vertical markets from sensors to
More informationContents. List of Acronyms Preface
Contents List of Acronyms Preface xi xv PART I Introduction 1 1 Introduction 3 1.1 The evolution of medical purpose software 3 1.2 Product quality and software quality 4 1.3 On the need for quality in
More informationNext Generation Design and Verification Today Requirements-driven Verification Methodology (for Standards Compliance)
Next Generation Design and Verification Today Requirements-driven Verification Methodology (for Standards Compliance) Mike Bartley, TVS Agenda Motivation - Why Requirements Driven Verification? Introduction
More informationIEC KHBO, Hobufonds SAFESYS ing. Alexander Dekeyser ing. Kurt Lintermans
IEC 61508 KHBO, Hobufonds SAFESYS ing. Alexander Dekeyser ing. Kurt Lintermans page 2 PART 1 : GENERAL REQUIREMENTS 1 Scope The first objective of this standard is to facilitate the development of application
More informationTestability of Dynamic
System Engineering in the Energy Testability of Dynamic and Maritime Sectors: Towards a Real-Time Systems Solution Based on Model-Centric Processes Lionel Briand http:// www.roanoke slant.org Software
More informationReport. Certificate Z F-CM AS-i Safety for SIMATIC ET 200SP
Report to the Certificate Z10 16 07 38717 052 Safety Components F-CM AS-i Safety for SIMATIC ET 200SP Manufacturer: Siemens AG I IA CE Werner-von-Siemens-Straße 48 D-92220 Amberg Germany Revision 1.7 dated
More informationAMASS. Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Architecture-driven, Multi-concern and Seamless Assurance and Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems Architecture-Driven Assurance First EAB
More informationUsing codebeamer to Achieve
Using codebeamer to Achieve IEC 61508 Compliance Using codebeamer to achieve IEC 61508 compliance 1 Using codebeamer to achieve IEC 61508 compliance Using a smart, integrated, cross-functional platform
More informationFunctional Safety with ISO Principles and Practice Dr. Christof Ebert, Dr. Arnulf Braatz Vector Consulting Services
Functional Safety with ISO 26262 Principles and Practice Dr. Christof Ebert, Dr. Arnulf Braatz Vector Consulting Services Content Challenges with Implementing Functional Safety Basic Concepts Vector Experiences
More informationRequirements Verification and Validation
SEG3101 (Fall 2010) Requirements Verification and Validation SE502: Software Requirements Engineering 1 Table of Contents Introduction to Requirements Verification and Validation Requirements Verification
More informationEthics in Information Technology, Fourth Edition. Chapter 7 Software Development
Ethics in Information Technology, Fourth Edition Chapter 7 Software Development Objectives As you read this chapter, consider the following questions: Why do companies require high-quality software in
More informationDeterministic Modeling and Qualifiable Ada Code Generation for Safety-Critical Projects
White Paper Deterministic Modeling and Qualifiable Ada Ada is a time-tested, safe and secure programming language that was specifically designed for large and long-lived applications where safety and security
More informationA Survey on the Development and Design Strategies for Safety Related Systems according the Standard IEC/EN 61508
Proceedings of the 6th WSEAS International Conference on Applied Computer Science, Tenerife, Canary Islands, Spain, December 16-18, 2006 97 A Survey on the Development and Design Strategies for Safety
More informationIntegrated Systems and Safety Engineering Towards Meaningful Assurance Cases
Integrated Systems and Safety Engineering Towards Meaningful Assurance Cases Carmen Cârlan Harald Ruess Sebastian Voss Supported by D-MILS (d-mils.org) fortiss GmbH An-Institut Technische Universität München
More informationProject Pr Health Checks Check and and Audits Week 8
Project Health Checks and Audits Week 8 Last Week Project Monitoring and Control Assignment Review This Week What is a Project Audit Purpose of Audits Types of Audits Project Management Processes Audit
More informationRequirements Specification for the Selection of Manufacturers of Photovoltaic (PV) Modules
Requirements Specification for the Selection of Manufacturers of Photovoltaic (PV) Modules Company information Company name: Address: Telephone no.: Fax no.: E-mail: Internet: Legal status: Formation:
More informationValidation, Verification and MER Case Study
Validation, Verification and MER Case Study Prof. Chris Johnson, School of Computing Science, University of Glasgow. johnson@dcs.gla.ac.uk http://www.dcs.gla.ac.uk/~johnson Introduction. Definitions and
More informationDevelop Quantitative Reliability Roadmap to Meet Market s Expectations
Develop Quantitative Reliability Roadmap to Meet Market s Expectations Xuemei Zhang Alcatel-Lucent April 27, 2007 Introduction Gaps between a product s target and current-release availability can arise
More informationTowards Systematic Software Reuse in Certifiable Safety-Critical Systems
Towards Systematic Software Reuse in Certifiable Safety-Critical Systems Mikael Åkerholm 1,2, Rikard Land 1,2 1 Mälardalen University, School of Innovation, Design and Engineering, Västerås, Sweden 2 CC
More informationA Model-Based Reference Workflow for the Development of Safety-Critical Software
A Model-Based Reference Workflow for the Development of Safety-Critical Software A. Michael Beine 1 1: dspace GmbH, Rathenaustraße 26, 33102 Paderborn Abstract: Model-based software development is increasingly
More informationQuality of FLOSS development Yes, OMM can!
Quality of FLOSS development Yes, OMM can! Presentation: Viviane Malheiros (USP - Serpro) 10 o. FISL/ Porto Alegre/June 24th, 2009 Topics The context QualiPSo project is... The OMM Overview Inside the
More informationQuality Management Lessons of COQUALMO (COnstructive QUALity MOdel) A Software Defect Density Prediction Model
Quality Management Lessons of COQUALMO (COnstructive QUALity MOdel) A Software Defect Density Prediction Model AWBrown and Sunita Chulani, Ph.D. {AWBrown, sdevnani}@csse.usc.edu} -Center for Systems &
More informationCost-Effective Verification and Validation of Modeling and Simulation
Cost-Effective Verification and Validation of Modeling and Simulation Dr. Dave Cook The AEgis Technologies Group, Inc. Purpose of This Talk Show what V&V is (and what it is not!) and how it applies to
More informationExam questions- examples
Exam questions- examples The following are examples of exam questions. At the exam there will be similar questions with similar level of difficulty. In the question pool there will be questions related
More informationReal Time Systems -- 5&10hp Martin Stigge ( Wang Yi (user.it.uu.se/~yi)
Real Time Systems -- 5&10hp Martin Stigge (www.it.uu.se/katalog/marst984) Wang Yi (user.it.uu.se/~yi) Course Information People to help you! Lecturers: Martin Stigge, office 1236, martin.stigge@it.uu.se
More informationProject Quality Management
Project Quality Management Discussion Topics Quality Models Quality Management Activities ISO9000 CMMI What Is a Project? A temporary endeavour undertaken to create a unique product, service, or result
More informationComparing Certification under IEC st Edition and 2nd Edition
White Paper Project: Comparing Certification under IEC 61508 1st Edition and 2nd Edition Version 1, Revision 5, November 15, 2016 Rudolf P. Chalupa The document was prepared using best effort. The authors
More informationValidation, Verification and MER Case Study
Validation, Verification and MER Case Study Prof. Chris Johnson, School of Computing Science, University of Glasgow. johnson@dcs.gla.ac.uk http://www.dcs.gla.ac.uk/~johnson Introduction. Definitions and
More informationBeamex. Calibration White Paper. Metrological Traceability in Calibration Are you traceable?
Beamex Calibration White Paper info@beamex.com Metrological Traceability in Calibration Are you traceable? Metrological Traceability in Calibration Are you traceable? What is metrological traceability
More informationIATF - International Automotive Task Force IATF 16949:2016 Frequently Asked Question (FAQ)
:2016 Frequently Asked Question (FAQ) :2016 1 st Edition was published in October 2016. In response to questions from the IATF recognized certification bodies and stakeholders, the following questions
More informationIEC Functional Safety Assessment
IEC 61508 Functional Safety Assessment Project: Rosemount 2051 4-20mA Pressure Transmitter Device Label SW 1.0.0-1.4.x Company: Rosemount Inc. (an Emerson Process Management company) Chanhassen, MN USA
More informationResults of the IEC Functional Safety Assessment HART transparent repeater. PR electronics
exida Certification S.A. 2 Ch. de Champ-Poury CH-1272 Genolier Switzerland Tel.: +41 22 364 14 34 email: info@exidacert.com Results of the IEC 61508 Functional Safety Assessment Project: 9106 HART transparent
More informationCLEARSY PRODUCTS AND SERVICES SAFETY SYSTEMS SAFETY SOFTWARE CLEARSY OFFER RAILWAY PRODUCTS AND SERVICES
CLEARSY SAFETY SYSTEMS SAFETY SOFTWARE CLEARSY OFFER RAILWAY CONTACT@CLEARSY.COM COMPANY PROFILE French SME created in 2001 Independent from any customer and privately owned About 110 employees (mainly
More informationSoftware qualification for digital safety system in KNICS project
Software qualification for digital safety system in KNICS project Kee-Choon Kwon, Dong-Young Lee, Jong-Gyun Choi Instrumentation & Control/Human Factors Division, Korea Atomic Energy Research Institute
More informationSoftware Process Assessment
Software Process Assessment A method of determining the effectiveness of the software process with a goal towards improving the process. Software Process Assessment Approaches Capability Maturity Model
More informationSafety Concept Description Language (SCDL) ISO Safety Concept, Design & Verification
ISO 26262 Safety Concept, Design & Verification Name Dr. Ralf Nörenberg Company ASAM e.v. June 13th, 2018 Munich Short Introduction into ISO 26262 Short Introduction into ISO 26262 Definition of Functional
More informationRequirements Traceability. Clarity Add-On TRC Module. Author Paul J Schofield
Clarity Add-On TRC Module Author Paul J Schofield PaulJSchofield@Clarity-Consultants.com Page 2 of 21 Table of Contents Overview... 5 Official Standards... 7 Vocabulary... 9 Examples... 11 Engine Monitoring
More informationIATF - International Automotive Task Force IATF 16949:2016 Frequently Asked Question (FAQ)
:2016 Frequently Asked Question (FAQ) :2016 1 st Edition was published in October 2016. In response to questions from the IATF recognized certification bodies and stakeholders, the following questions
More informationMedical Device Software under IEC George Romanski
Medical Device Software under IEC 62304 George Romanski IEC 62304 Medical Device Software Software Lifecycle Processes Quality Management System* RISK MANAGEMENT Software Safety Classification Development
More informationOrganisation Maturity with SPICE Practical Experiences
Organisation Maturity with SPICE Practical Experiences Markus Mueller, Fabio Bella KUGLER MAAG CIE GmbH Leibnizstr. 11, 70806 Kornwestheim / Stuttgart, Germany Office Phone +49 7154 1796-213 www.kuglermaag.com
More informationWORK PLAN AND IV&V METHODOLOGY Information Technology - Independent Verification and Validation RFP No IVV-B
1. Work Plan & IV&V Methodology 1.1 Compass Solutions IV&V Approach The Compass Solutions Independent Verification and Validation approach is based on the Enterprise Performance Life Cycle (EPLC) framework
More informationResults of the IEC Functional Safety Assessment
Results of the IEC 61508 Functional Safety Assessment Project: 3051S Electronic Remote Sensors (ERS ) System Customer: Emerson Automation Solutions (Rosemount, Inc.) Shakopee, MN USA Contract No.: Q16/12-041
More informationSafety in the Matrix. Siemens AG All rights reserved.
Safety in the Matrix Siemens innovative approach to functional safety helps meet the requirements of the oil and gas industry by maximizing safety while also ensuring high availability and reduced costs
More informationGE Inspection Technologies. Rhythm. Unique Multi-Modality Software Platform
GE Inspection Technologies Rhythm Unique Multi-Modality Software Platform GE Inspection Technologies A global leader in technology-driven inspection solutions that deliver productivity, quality and safety
More informationApplicability of Model-Based Design Quality Metrics to Medical Device Software
Applicability of Model-Based Design Quality Metrics to Medical Device Software Dave Hoadley PhD, MathWorks Paul Jones, Office of Science and Engineering Laboratory, CDRH, FDA May 2017 2017 The MathWorks,
More informationAutomotive Systems Engineering und Functional Safety: The Way Forward
Automotive Systems Engineering und Functional Safety: The Way Forward Dr. Simon Burton Albert Habermann Vector Informatik GmbH Ingersheimer Strasse 24 70499 Stuttgart, Germany +49 711 80670 1529 albert.habermann@vector.com
More informationExpected and Unintended Effects of Instrumented Safety Protections
Expected and Unintended Effects of Instrumented Safety Protections Edgar Ramirez Safety Instrumented Systems Specialist, ABB Inc. John Walkington Safety Lead Competency Centre Manager, ABB Ltd. Abstract
More informationCOMPLIANCE TO IEC60880 WITH SCADE 6 DESIGN AND IMPLEMENTATION ASPECTS (ABSTRACT) JUL 06, 2009
COMPLIANCE TO IEC60880 WITH SCADE 6 DESIGN AND IMPLEMENTATION ASPECTS (ABSTRACT) JUL 06, 2009 This document is the property of. It shall not be communicated to a third party and/or reproduced without prior
More informationApplication: Auditor Candidate
Application: Auditor Candidate General Instructions: Please complete this application and send it to the following email address: cmutuku@ra.org and srazanamandranto@ra.org and racertafrica@ra.org The
More informationida Certification Services IEC Functional Safety Assessment Project: Series 327 Solenoid Valves Customer: ASCO Numatics
e ida Certification Services IEC 61508 Functional Safety Assessment Project: Series 327 Solenoid Valves Customer: ASCO Numatics Scherpenzeel The Netherlands Contract Number: Q13/01-001 Report No.: ASC
More informationREQUIREMENTS FOR SAFETY RELATED SOFTWARE IN DEFENCE EQUIPMENT PART 1: REQUIREMENTS
Ministry of Defence Defence Standard 00-55(PART 1)/Issue 2 1 August 1997 REQUIREMENTS FOR SAFETY RELATED SOFTWARE IN DEFENCE EQUIPMENT PART 1: REQUIREMENTS This Part 1 of Def Stan 00-55 supersedes INTERIM
More informationIndustrial use cases: Description and business impact D1.2.b Avionics Use Case
Collaborative Large scale Integrating Project Open Platform for EvolutioNary Certification Of Safety critical Systems Industrial use cases: Description and business impact D1.2.b Avionics Use Case Work
More informationIEC Functional Safety Assessment
IEC 61508 Functional Safety Assessment Project: Rosemount 5300 Series 4-20mA HART Guided Wave Radar Level and Interface Transmitter Device Label SW 2.A1 2.J0 Customer: Rosemount Tank Radar (an Emerson
More informationVector Software. Understanding Verification and Validation of software under IEC :2010 W H I T E P A P E R
Vector Software W H I T E P A P E R Understanding Verification and Validation of software under IEC 61508-3:2010 Abstract This paper is intended to serve as a reference for developers of systems that will
More informationMeasurement Traceability
Measurement Traceability NANDTB Aircraft Inspection and Maintenance Seminar Oct 2017 Brett Hyland Sector Manager, Infrastructure This Session Aims to explain Traceability represents a process of comparison
More informationSession Nine: Functional Safety Gap Analysis and Filling the Gaps
Session Nine: Functional Safety Gap Analysis and Filling the Gaps Presenter Colin Easton ProSalus Limited Abstract Increasingly regulatory and competent authorities are looking to hazardous Installation
More informationCompliance driven Integrated circuit development based on ISO26262
Compliance driven Integrated circuit development based on ISO26262 Haridas Vilakathara Manikantan panchapakesan NXP Semiconductors, Bangalore Accellera Systems Initiative 1 Outline Functional safety basic
More informationTechnische Universität München. Software Quality. Management. Dr. Stefan Wagner Technische Universität München. Garching 18 June 2010
Technische Universität München Software Quality Management Dr. Stefan Wagner Technische Universität München Garching 18 June 2010 1 Last QOT: Why is software reliability a random process? Software reliability
More informationMEN Profile Embedded Electronics
MEN Profile Embedded Electronics Textmasterformat bearbeiten Second Level Third Level May 14, 2018 Fourth Level Fifth Level Our Mission Our Vision Reliable Embedded Computing for a World in Motion. Advanced
More informationA TEAM-BASED PROJECT QUALITY MANAGEMENT SYSTEM
A TEAM-BASED PROJECT QUALITY MANAGEMENT SYSTEM QA Verify s client-server architecture and web-based interface combines the analysis strength and depth of our QA static analyzers (QA C and QA C++) with
More informationHow to Become Your Customer s Software Provider of Choice
How to Become Your Customer s Software Provider of Choice 2005 CMMI Technology Conference www.davidconsultinggroup.com DISCUSSION POINTS Why are organizations wanting to move IT offshore? Level 5 service
More informationCertificating a safety related part of a control system
Certificating a safety related part of a control system Marita Hietikko, Mika Riihimaa VTT Expert Services Ltd, P.O. Box 345, FI-33101 Tampere, Finland Tel: +358 20 722 111, E-mail: marita.hietikko@vtt.fi,
More informationAIRBORNE SOFTWARE VERIFICATION FRAMEWORK AIMED AT AIRWORTHINESS
27 TH INTERNATIONAL CONGRESS OF THE AERONAUTICAL SCIENCES AIRBORNE SOFTWARE VERIFICATION FRAMEWORK AIMED AT AIRWORTHINESS Yumei Wu*, Bin Liu* *Beihang University Keywords: software airworthiness, software
More informationChain of Custody Standard
FAO-BASED RESPONSIBLE FISHERIES MANAGEMENT (RFM) Chain of Custody Standard Issue 2.2 1 April 2013 Contents Page Principles of the Process 3 Definitions 4 Outline of the Certification Process 6 Chain of
More informationMOVEP 2012 Tutorial Safety, Dependability and Performance Analysis of Extended AADL Models
MOVEP 2012 Tutorial Safety, Dependability and Performance Analysis of Extended AADL Models Part 1: Overview European Space Agency European Space Research and Technology Centre RWTH Aachen University Software
More informationMetrics Package White Paper. OMG ADM Task Force January 2006
Metrics Package White Paper OMG ADM Task Force January 2006 White Paper Overview This white paper is geared at creating a dialog and encouraging collaboration that will ultimately determine the need, approach
More informationModel-Based Design for ISO Applications. April 2010
Model-Based Design for ISO 26262 Applications April 2010 Agenda Introduction Certification, Standards, and Compliance Demonstration ISO 26262 & Qualification of Software Tools Verification & Validation
More informationIntroduction To Software Testing. Brian Nielsen. Center of Embedded Software Systems Aalborg University, Denmark CSS
Introduction To Software Testing Brian Nielsen bnielsen@cs.auc.dk Center of Embedded Software Systems Aalborg University, Denmark CSS 1010111011010101 1011010101110111 Software development cycle 1. Programmer
More informationExpert- Judgment Calibrated Quality Model Extension to COCOMO 11: COQUALMO (Constructive QUALity Model) Outline
Expert- Judgment Calibrated Quality Model Extension to COCOMO 11: COQUALMO (Constructive QUALity Model) Sunita Chulani Research Assistant USC-Center for Software Engineering Technology Week Feb 8-12 1999
More informationProject Quality Management Training - Brochure
Project Quality Management Training - Brochure Deliver high-quality products/services consistently Course Name : Project Quality Management Version : INVL_Project Quality_BR_02_1.0 Course ID : PMGT - 158
More informationImplementing Shipping MRV Regulation
www.pwc.nl Implementing Shipping MRV Regulation Verification and Accreditation Procedures Day 2 6 April 2016 Agenda Identification of relevant verification and accreditation rules 1. Verification of the
More informationIEC Functional Safety Assessment
IEC 61508 Functional Safety Assessment Project: Rosemount 3051 4-20mA HART Pressure Transmitter Device Label SW 1.0.0-1.4.x Company: Rosemount Inc. (an Emerson Process Management company) Chanhassen, MN
More informationDEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING QUESTION BANK UNIT I
DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING QUESTION BANK SUBJECT CODE: CS2055 Software Quality Assurance BRANCH&YEAR: CSE/IV UNIT I SEMESTER: VIII PART A 1. Define quality. 2. What is quality cost?
More informationB.H. Far
SENG 521 Software Reliability & Software Quality Chapter 14: SRE Deployment Department t of Electrical l & Computer Engineering, i University it of Calgary B.H. Far (far@ucalgary.ca) http://www.enel.ucalgary.ca/people/far/lectures/seng521
More information122 Norwegian Oil and Gas Recommended Guidelines for the Management of Life Extension
122 Norwegian Oil and Gas Recommended Guidelines for the Management of Life Extension Original version No: 122 Established: 2008.06.06 Revision no: 2 Date revised: 2017.08.11 Page: 2 PREFACE These guidelines
More informationBuilding quality into the software from the. Keeping and. the software. software life cycle
SENG 521 Software Reliability & Software Quality Chapter 14: SRE Deployment Department t of Electrical l & Computer Engineering, i University it of Calgary B.H. Far (far@ucalgary.ca) http://www.enel.ucalgary.ca/people/far/lectures/seng521
More informationSoftware Quality Assurance
Software Quality Assurance by Kristian Sandahl krs@ida.liu.se Perspectives of quality Transcendent something we learn to recognize Product-based measurable variable Usage-based in the eyes of the beholder
More informationIEC Functional Safety Assessment
IEC 61508 Functional Safety Assessment Project: DeltaV SIS DeltaV SIS Relay Module, KJ2231X1- EA1 DeltaV SIS Voltage Monitor, KJ2231X1 EB1 Customer: Emerson Process Management Fisher Rosemount Systems
More informationStreamline Compliance with PTC Application Lifecycle Management
Streamline Compliance with PTC Application Lifecycle Management Gain visibility and control over safety-critical products Manufacturers face unique regulatory challenges. The PTC Application Lifecycle
More informationFunctional Safety Machinery
Functional Safety Machinery One of the fundamental aspects of machinery safety is the reliability of safety-related command parts, namely the Functional Safety, defined as the portion of the overall safety
More information