SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE. Cheryl A. Dorsey Digital Flight / Solutions cadorsey@df-solutions.
|
|
- Cody Joseph
- 8 years ago
- Views:
Transcription
1 SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE Cheryl A. Dorsey Digital Flight / Solutions cadorsey@df-solutions.com DIGITAL FLIGHT / SOLUTIONS
2 Presentation Outline DO-178 Overview What vs. How Standard System Safety Process (begins prior to software development) Software Tie to System Safety Requirements Traceability Standards Verification Quality Assurance Good Practices Conclusion
3 DO-178 Overview Presentation Context DO-178 International Standard for Assurance of Software Used in Civil Airborne Systems Also used in other Mission Critical Industries Current Status Latest Version is DO-178C (2012) Same Overall Concept as DO-178B (fixes mistakes, adds tribal knowledge) Four New Supplements (Tool Qualification, Formal Methods, OO, Model Based Development) Presentation Context Relevance to Space Community What v. How Standard Strengths and Weaknesses Best Practices RTCA SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION DOCUMENT NO. RTCA/DO-178B December 1, 1992 Prepared by: SC-167 Requirements and Technical Concepts for Aviation
4 What vs. How Standard Objective Based Approach Qualitative Requires some tribal knowledge 1 Objectives and Reference Control Category by SW level Objective Output SW Level Description Ref A B C D Description Ref A B C D Test procedures are correct b Verification Results
5 PSAC High-Level Reqs SDP Derived High- SVP Level Reqs CMP Trace data SQAP Verification Standards Results Slide Planning Four Annex Tables for Verification of Development and Test Processes Verification of Development and Test Table A-3 Table A-4 Table A-5 Table A-7 Requirements Table A-2 Design Design Architecture Low-Level Reqs Derived Reqs Trace Data Verification Results 2.5 Code/Integration Source Code Trace data Executable Object Code Verification Results Table A-6 Integration/Test Test Cases and Procedures Test Results Trace Data Verification Results
6 An Example of What Taken From Annex A Table 3 DO-178 attributes of requirements: High level requirements conform to system requirements High level requirements are accurate and consistent High level requirements are compatible with target computer High Level Requirements are Verifiable High level requirements conform to standards High level requirements are traceable to system requirements Algorithms are accurate
7 System Safety Process SAFETY ASSESSMENT Aircraft FHA SYSTEM DEVELOPMENT Aircraft Functions Aircraft Rqmts. Failure Conditions, Effects CCA Separation Rqmts. Separation Verification Failure Conditions, Effects, Classification System FHA Failure Conditions, Effects, Classification, Safety Objectives PSSA Items Rqmts, Safety Objectives Analyses SSA System Functions System Architecture Architecture Rqmts. Items Rqmts, Analyses Required Analysis Results Allocation of Rqmts. To Systems Development of System Architecture System Implementation 06/04/98 Certification (Taken from ARP 4754)
8 Airworthiness Requirements System Operational Requirements Systems Software Tie SYSTEM LIFE-CYCLE PROCESSES System Safety Assessment Process System Requirements Allocated to Software Software Level(s) Design Constraints Hardware Definition Fault Containment Boundaries Error Sources Identified and Eliminated Software Requirements and Architecture Slide 2.8 SOFTWARE LIFE-CYCLE PROCESSES Introduction to DO-178B Taken from DO-178B
9 Safety Tie To Software DO-178 References System and Safety Standard (ARP4754) Section 2 of DO Informative Section (no objectives) Safety is really a systems property in civil airborne DO-178b Safety Processes Assumes safe requirements as an entry point Extensive Verification (assures requirements are met) Safety Review of Derived Requirements (may not be enough) Best Practices
10 Requirements Use of non-standard requirements terminology High level requirements vs. Low level requirements Derived requirements definition and understanding Leads to problematic non-standard practices Combined low and high level requirements Derived requirements not tagged as derived Pseudo-code as low-level requirements Implementation not requirements/testability Maintenance issue after original development
11 Requirements Best practices for requirements Assure clear criteria is established for DO-178 requirement review Independently develop requirements based tests in parallel to assure the requirements are testable Provide clear definition and criteria for derived requirements
12 Traceability Traceability is a clear strength of DO-178 One way trace upward to system requirements allocated to sw Two way trace between high level requirements and low level requirements Two way trace between low-level and code Trace between tests and requirements Forward trace assures all requirements are implemented Backward trace assures nothing but requirements implemented (no unintended function on the aircraft)
13 Traceability Review of requirements traceability After each phase during verification Again during requirements coverage analysis (requirement completely tested (normal and robust), structure covered Best practices Clear guidance (review criteria) for tracing Nothing but the requirements are implemented (unless derived) Independent trace review in each direction and compare the results for high criticality
14 Standards Three development standards Requirements, Design, Code Standards in DO-178 do not assure good practices Often minimal and add little toward design assurance Best practice Use a strong standard like (MISRA or a subset of it) for DAL A and B Although not required by DO-178, use a testing standard to assure all requirements are fully tested (normal and robustly) with observable results (you don t want to find problems at the certification reviews)
15 Verification Reviews Requirements review Design Review (low level requirements and architecture) Code Review Test Review Testing Normal and robustness Structural Coverage of the code via requirements based testing MCDC (catastrophic), Decision (hazardous), statement (major)
16 Verification Analyses Data Coupling Control Coupling Requirements Coverage Stack Depth Memory Margin Worst Case Timing Analyses lack clear guidance and objectives, therefore often do not meet the intent
17 Verification Verification is a strength of DO-178 DO-178 is an assurance standard and verification intensive (measuring stick put over development). When done correctly, assurance is gained through a series of reviews, analysis and tests DO-178 could benefit in clearer guidance with respect to: Review criteria Clear objective criteria for each analysis Strong criteria for robustness testing commensurate with safety classification
18 Quality Assurance DO-178 Quality Assurance is really process assurance Main concept - say what you do (planning), do what you say (follow the plans), prove it (records) If Quality is not built into the process, than quality is not assured Quality is often not involved at key points as prescribed by DO-178 transition criteria (between each life cycle phase) Quality assurance often does not review the CM of development and verification artifacts To work QA should be fully engaged throughout DO-178 does require dated records for each QA activity (check the checker)
19 Good Practices in the Airborne Community Required four certification reviews called SOIs Planning, development, verification, final Support for reviews found in FAA Order Good news FAA Software Job Aid provides a more detailed set of evaluation criteria at the SOI audits to mitigate weaknesses of DO-178 Bad news is many companies do not know of this or use it during their development.
20 Conclusions Strength of DO-178 is when understood and implemented correctly provides an excellent mechanism to assure software is bug free To be effective it requires good knowledge of software engineering and process Strength and weakness is that it is not prescriptive Not tied to any specific lifecycle or methodology Requires a key knowledge of good SW Engineering processes and implementation Could benefit by clear examples and more How guidance
21 Conclusions (con t) Needs a stronger tie to systems and safety architectural mitigations (e.g. monitors) are implemented correctly and tested robustly Stronger tie, with feedback to systems and safety when requirements are not understood, missing, or too weak to implement ECSS has a safety process built in to the software process (this would benefit DO-178)
Parameters for Efficient Software Certification
Parameters for Efficient Software Certification Roland Wolfig, e0327070@student.tuwien.ac.at Vienna University of Technology, Real-Time Systems Group 1 Abstract Software certification is a common approach
More informationAC 20-148 REUSABLE SOFTWARE COMPONENTS
AC 20-148 REUSABLE SOFTWARE COMPONENTS December 7, 2004 12/7/04 AC 20-148 CONTENTS Paragraph Title Page 1. Purpose....1 2. Motivation for this Guidance....1 3. Document Overview...1 4. General Guidelines
More informationCERTIFICATION MEMORANDUM
EASA CM No.: EASA CM SWCEH 002 Issue: 01 EASA CERTIFICATION MEMORANDUM EASA CM No.: EASA CM - SWCEH 002 Issue: 01 Issue Date: 11 th of August 2011 Issued by: Software & Complex Electronic Hardware section
More information1. Software Engineering Overview
1. Overview 1. Overview...1 1.1 Total programme structure...1 1.2 Topics covered in module...2 1.3 Examples of SW eng. practice in some industrial sectors...4 1.3.1 European Space Agency (ESA), software
More informationThe Impact of RTCA DO-178C on Software Development
Cognizant 20-20 Insights The Impact of RTCA DO-178C on Software Development By following DO-178C, organizations can implement aeronautical software with clear and consistent ties to existing systems and
More informationRev 1 January 16, 2004
1010011101010011110001101001101101101101000100110010101011100010110 0110100110110110110100010010001010101110001011000100111010100111100 1110100110110110110100010010001010101110001011000100111010100111100
More informationasuresign Aero (NATEP Grant MA005)
asuresign Aero (NATEP Grant MA005) WP2 Workshop: Identification of Needs for Tool Support in Meeting Aircraft Avionics Systems, Hardware & Software Certification Standards Dr Chris Harper Systems & Safety
More informationSubject Software Aspects of Certification
EASA NOTIFICATION OF A PROPOSAL TO ISSUE A CERTIFICATION MEMORANDUM EASA Proposed CM No.: EASA CM - SWAEH 002 Issue: 02 Issue Date: 22 nd of October 2013 Issued by: Safety, Software & Airborne Electronic
More informationCertification Authorities Software Team (CAST) Position Paper CAST-13
Certification Authorities Software Team (CAST) Position Paper CAST-13 Automatic Code Generation Tools Development Assurance Completed June 2002 NOTE: This position paper has been coordinated among the
More informationSoftware Review Job Aid - Supplement #1
Software Review Job Aid - Supplement #1 1010011101010011110001101001101101101101000100100010101011100010110 1010011101010011110001101001101101101101000100101110101011100010111 0110100110110110110100010010001010101110001011000100111010100111100
More informationCertification Authorities Software Team (CAST) Position Paper CAST-26
Certification Authorities Software Team (CAST) Position Paper CAST-26 VERIFICATION INDEPENDENCE COMPLETED January 2006 (Rev 0) NOTE: This position paper has been coordinated among the software specialists
More information3 August 2014. Software Safety and Security Best Practices A Case Study From Aerospace
3 August 2014 Software Safety and Security Best Practices A Case Study From Aerospace Agenda Introduction Why Aviation? ARINC 653 Real-time Linux on Xen (ARLX) Safety Artifacts for ARLX Security Artifacts
More informationRTCA DO-178B/EUROCAE ED-12B
27 RTCA DO-178B/EUROCAE ED-12B Thomas K. Ferrell Ferrell and Associates Consulting Uma D. Ferrell Ferrell and Associates Consulting 27.1 Introduction Comparison with Other Software Standards Document Overview
More informationDO-178B compliance: turn an overhead expense into a competitive advantage
IBM Software Rational Aerospace and Defense DO-178B compliance: turn an overhead expense into a competitive advantage 2 DO-178B compliance: turn an overhead expense into a competitive advantage Contents
More informationCertification Authorities Software Team (CAST) Position Paper CAST-9
Certification Authorities Software Team (CAST) Position Paper CAST-9 Considerations for Evaluating Safety Engineering Approaches to Software Assurance Completed January, 2002 NOTE: This position paper
More informationMeeting DO-178B Software Verification Guidelines with Coverity Integrity Center
Meeting DO-178B Software Verification Guidelines with Coverity Integrity Center May, 2009 Thomas Schultz Director of Product Strategy, Coverity, Inc. Executive Summary Development organizations that create
More informationCertification of a Scade 6 compiler
Certification of a Scade 6 compiler F-X Fornari Esterel Technologies 1 Introduction Topic : What does mean developping a certified software? In particular, using embedded sofware development rules! What
More informationDO-178B/C Differences Tool
FAA/AVS DO-178B/C Differences Tool Revision: 8 DATE: 9/16/213 Revision History Date Rev Change summary 7/21/213 Draft 1 Draft Release - prototype 7/22/213 Draft 2 Draft Release for review 7/23/213 Draft
More informationAutomating Code Reviews with Simulink Code Inspector
Automating Code Reviews with Simulink Code Inspector Mirko Conrad, Matt Englehart, Tom Erkkinen, Xiaocang Lin, Appa Rao Nirakh, Bill Potter, Jaya Shankar, Pete Szpak, Jun Yan, Jay Clark The MathWorks,
More informationWORKSHOP RC 2011. EVI Integração de Sistemas Junho de 2011 Eng. Nelson José Wilmers Júnior
WORKSHOP RC 2011 EVI Integração de Sistemas Junho de 2011 Eng. Nelson José Wilmers Júnior Comparison between ARP4754 A Guidelines for Development of Civil Aircraft and Systems (2010) and ARP4754 Certification
More informationWIND RIVER RTCA DO-178 SOFTWARE CERTIFICATION SERVICES
WIND RIVER RTCA DO-178 SOFTWARE CERTIFICATION SERVICES Wind River Professional Services RTCA DO-178 Practice provides software certification services to help our customers address their demanding software
More informationSoftware Classification Methodology and Standardisation
Software Classification Methodology and Standardisation 07 March 2003 1/10 Table of Contents 1. INTRODUCTION a Galileo system overview Ε b Master schedule Ε 2. GALILEO SAFETY CASE APPROACH Ε 3. SYSTEM
More informationIntegrating System Safety and Software Assurance
Integrating System Safety and Software Assurance Systems Certification and Integrity Directorate of Aviation Engineering Directorate General Technical Airworthiness 1 Overview Integration of software assurance
More informationF-22 Raptor. Agenda. 1. Motivation
Model-Based Software Development and Automated Code Generation for Safety-Critical Systems F-22 Raptor for the Seminar Advanced Topics in Software Engineering for Safety-Critical Systems Cause: Bug in
More informationFundamental Principles of Software Safety Assurance
Fundamental Principles of Software Safety Assurance Tim Kelly tim.kelly@york.ac.uk Context Lack of agreement in the details of requirements of software safety assurance standards has long been recognised
More informationENEA: THE PROVEN LEADER IN SAFETY CRITICAL AVIONICS SYSTEMS
ENEA: THE PROVEN LEADER IN SAFETY CRITICAL AVIONICS SYSTEMS info@enea.com. www.enea.com For over 40 years, we have been one of the fastest growing avionics consulting companies in the world. Today our
More informationSafety Analysis and Certification of Open Distributed Systems. P. M. Conmy; Department of Computer Science, University of York, York, YO10 5DD U.K.
Safety Analysis and Certification of Open Distributed Systems P. M. Conmy; Department of Computer Science, University of York, York, YO10 5DD U.K. M. Nicholson; Department of Computer Science, University
More informationSCADE SUITE SOFTWARE VERIFICATION PLAN FOR DO-178B LEVEL A & B
SCADE SUITE SOFTWARE VERIFICATION PLAN FOR DO-78B LEVEL A & B TABLE OF CONTENTS. INTRODUCTION..... PURPOSE..... RELATED DOCUMENTS..... GLOSSARY... 9.. CONVENTIONS..... RELATION WITH OTHER PLANS....6. MODIFICATION
More informationThe new software standard for the avionic industry: goals, changes and challenges
WHITEPAPER DO-178C/ED-12C The new software standard for the avionic industry: goals, changes and challenges SVEN NORDHOFF Aerospace Certification / Process Assurance & SPICE Assessor sven.nordhoff@sqs.com
More informationARINC 653. An Avionics Standard for Safe, Partitioned Systems
ARINC 653 An Avionics Standard for Safe, Partitioned Systems 1 Courtesy of Wind River Inc. 2008 IEEE-CS Seminar June 4 th, 2008 Agenda Aerospace Trends IMA vs. Federated ARINC 653 Main concepts Safety
More informationSoftware Process for QA
Software Process for QA Basic approaches & alternatives CIS 610, W98 / M Young 1/7/98 1 This introduction and overview is intended to provide some basic background on software process (sometimes called
More informationUNCONTROLLED IF PRINTED IN-SERVICE MANAGEMENT OF SOFTWARE FOR AIRBORNE AND RELATED SYSTEMS
UNCONTROLLED IF PRINTED AAP 7001.054 Sect 2 Chap 17 SECTION 2 CHAPTER 17 IN-SERVICE MANAGEMENT OF SOFTWARE FOR AIRBORNE AND RELATED SYSTEMS INTRODUCTION 1. The in-service maintenance and development of
More informationIntroduction of ISO/DIS 26262 (ISO 26262) Parts of ISO 26262 ASIL Levels Part 6 : Product Development Software Level
ISO 26262 the Emerging Automotive Safety Standard Agenda Introduction of ISO/DIS 26262 (ISO 26262) Parts of ISO 26262 ASIL Levels Part 4 : Product Development System Level Part 6 : Product Development
More informationAn Interactive Video Teletraining Course. IVT Course 62823 Self-Study Video Course 25823
Software Change Impact Analysis An Interactive Video Teletraining Course IVT Course 62823 Self-Study Video Course 25823 Developed and Presented by Leanna Rierson FAA, National Resource Specialist For Aircraft
More informationBest practices for developing DO-178 compliant software using Model-Based Design
Best practices for developing DO-178 compliant software using Model-Based Design Raymond G. Estrada, Jr. 1 The MathWorks, Torrance, CA Eric Dillaber. 2 The MathWorks, Natick, MA Gen Sasaki 3 The MathWorks,
More informationSoftware Life Cycle Process - DO-178B
1(19) Cross reference tables for H ProgSäk (E) and DO-178B A comparison has been made between requirement areas covered by H ProgSäk (E) and DO-178B respectively. Tables for correspondences and differences
More informationNew Challenges In Certification For Aircraft Software
New Challenges In Certification For Aircraft Software John Rushby Computer Science Laboratory SRI International Menlo Park CA USA John Rushby, SR I Aircraft Software Certification 1 Overview The basics
More informationSOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY THE UNIVERSITY OF QUEENSLAND. Queensland 4072 Australia TECHNICAL REPORT
SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 99-30 A Survey of International Safety Standards Axel
More informationDO-254 Requirements Traceability
DO-254 Requirements Traceability Louie De Luna, Aldec - June 04, 2013 DO-254 enforces a strict requirements-driven process for the development of commercial airborne electronic hardware. For DO-254, requirements
More informationCreating Competitive Advantage: The role for ALM in the PLM world
Creating Competitive Advantage: The role for ALM in the PLM world Michael Azoff Principal Analyst, Ovum michael.azoff@ovum.com Version 9 Oct, 2014 1 Copyright Ovum. All rights reserved. Ovum is a subsidiary
More informationReverse Engineering Software and Digital Systems
NOT FAA POLICY OR GUIDANCE LIMITED RELEASE DOCUMENT 04 SEPTEMBER 2013 DOT/FAA/AR-xx/xx Federal Aviation Administration William J. Hughes Technical Center Aviation Research Division Atlantic City International
More informationReduce Medical Device Compliance Costs with Best Practices. mark.pitchford@ldra.com
Reduce Medical Device Compliance Costs with Best Practices mark.pitchford@ldra.com 1 Agenda Medical Software Certification How new is Critical Software Certification? What do we need to do? What Best Practises
More informationAndrew J. Kornecki Embry Riddle Aeronautical University Daytona Beach, FL 32114 http://faculty.erau.edu/korn kornecka@erau.edu
Software Aspects of Aviation Systems Certification Andrew J. Kornecki Embry Riddle Aeronautical University Daytona Beach, FL 32114 http://faculty.erau.edu/korn kornecka@erau.edu Heavily plagiarized from
More informationFAA Requirements Engineering Management Handbook!
FAA Requirements Engineering Management Handbook! 9. Define the Software Requirements Kansas State University Steps in the REMH 1. Develop the System Overview 2. Identify the System Boundary 3. Develop
More informationHow To Write Software
1 Medical Device Software - Software Life Cycle Processes IEC 62304 2 Credits John F. Murray Software Compliance Expert U.S. Food and Drug Administration Marcie R. Williams Medical Device Fellow Ph.D.
More information3SL. Requirements Definition and Management Using Cradle
3SL Requirements Definition and Management Using Cradle November 2014 1 1 Introduction This white paper describes Requirements Definition and Management activities for system/product development and modification
More informationAdvisory Circular. U.S. Department of Transportation Federal Aviation Administration
U.S. Department of Transportation Federal Aviation Administration Advisory Circular Subject: Airborne Software Assurance Date: 07/19/2013 AC No: 20-115C Initiated by: AIR-120 Change: 1. Purpose of this
More informationImproving Embedded Software Test Effectiveness in Automotive Applications
Improving Embedded Software Test Effectiveness in Automotive Applications Author, D Brook Document Number: CODETESTTECHWP Rev. 0 11/2005 As the automotive industry introduces more and more safety-critical,
More informationTITLE: Control of Software
Page 1 of 8 TITLE: Control of Software WARNING This document is the property of United Technologies Corporation (UTC). You may not possess, use, copy or disclose this document or any information in it,
More informationIntroduction to a Requirements Engineering Framework for Aeronautics
J. Software Engineering & Applications, 2010, 3, 894-900 doi:10.4236/jsea.2010.39105 Published Online September 2010 (http://www.scirp.org/journal/jsea) Introduction to a Requirements Engineering Framework
More informationQuality in Aviation Software. Chris Hartgroves C.Eng. CQP Design Assurance SELEX Galileo
Quality in Aviation Software Chris Hartgroves C.Eng. CQP Design Assurance SELEX Galileo CQI North London : October 13 th 2011 Contents Introduction Terminology Historical context Poor quality aerospace
More informationCertification Authorities Software Team (CAST) Position Paper CAST-3
Certification Authorities Software Team (CAST) Position Paper CAST-3 Guidelines for Assuring the Software Aspects of Certification When Replacing Obsolete Electronic Parts Used in Airborne Systems and
More informationSafety-Critical Systems: Processes, Standards and Certification
Fachbereich 17 - Mathematik/Informatik Arbeitsgruppe Softwaretechnik Warburger Straße 100 33098 Paderborn Safety-Critical Systems: Processes, Standards and Certification for the Seminar Analysis, Design
More informationTechnical Standard Order
Department of Transportation Federal Aviation Administration Aircraft Certification Service Washington, D.C. TSO-C119c Effective Date: 4/14/09 Technical Standard Order Subject: TRAFFIC ALERT AND COLLISION
More informationThe Comprehensive and Fully Compliant Certification Solution. Certification Services
The Comprehensive and Fully Compliant Certification Solution "This applicant saved a lot of time and money using your fast track to compliance package. I would highly recommend your DER consulting service,
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 Safety Engineering Education
Software Safety Engineering Education David J. Coe, Joshua S. Hogue, and Jeffrey H. Kulick Department of Electrical and Computer Engineering, University of Alabama in Huntsville Huntsville, Alabama, USA
More informationMethodological Handbook. Efficient Development of Safe Avionics Software with DO-178B Objectives Using SCADE Suite
Efficient Development of Safe Avionics Software with DO-178B Objectives Using SCADE Suite CONTACTS Legal Contact Esterel Technologies SA Parc Euclide - 8, rue Blaise Pascal 78990 Elancourt FRANCE Phone:
More informationDesign & Manufacture Seminar SOFTWARE SECURITY & DESIGN ASSURANCE JAYSON ROWE SENIOR ENGINEER AVIONICS
Design & Manufacture Seminar SOFTWARE SECURITY & DESIGN ASSURANCE JAYSON ROWE SENIOR ENGINEER AVIONICS Aircraft Network Security Development was required for B787 B787 over 1400 Loadable Software Parts
More informationAviation Safety Policy. Aviation Safety (AVS) Safety Management System Requirements
Aviation Safety Policy ORDER VS 8000.367A Effective Date: 11/30/2012 SUBJ: Aviation Safety (AVS) Safety Management System Requirements 1. This order provides requirements to be met by AVS and AVS services/offices
More informationInteractive Guidance for Safety Critical Avionics
ABD0200 DO-254 ARP 4754 ABD0100 ARP 4761 DO-178B/C Interactive Guidance for Safety Critical Avionics visualizing certification contexts managing process complexity tracing project progress accelerating
More informationCritical Systems and Software Solutions
www.thalesgroup.com Thales Canada, Avionics Critical Systems and Software Solutions Thales Canada, Avionics Delivers Customer Satisfaction Fully integrated, solutions-oriented engineering Team at Your
More informationAgile Model-Based Systems Engineering (ambse)
Agile Model-Based Systems Engineering (ambse) Bruce Powel Douglass, Ph.D. Chief Evangelist, Global Technology Ambassador IBM Rational Bruce.Douglass@us.ibm.com Twitter: @BruceDouglass Yahoo: tech.groups.yahoo.com/group/rt-uml/
More information5 Certifiable safe airborne software process analyses
Certifiable safe airborne software process analyses 97 5 Certifiable safe airborne software process analyses Published as E. Kesseler, Applying theory to practise, Airworthy software measured and analysed,
More informationChap 1. Software Quality Management
Chap 1. Software Quality Management Part 1.1 Quality Assurance and Standards Part 1.2 Software Review and Inspection Part 1.3 Software Measurement and Metrics 1 Part 1.1 Quality Assurance and Standards
More informationSoftware in safety critical systems
Software in safety critical systems Software safety requirements Software safety integrity Budapest University of Technology and Economics Department of Measurement and Information Systems Definitions
More informationSoftware testing. Objectives
Software testing cmsc435-1 Objectives To discuss the distinctions between validation testing and defect testing To describe the principles of system and component testing To describe strategies for generating
More informationChapter 10. System Software Safety
Chapter 10 System Software Safety 10.0 SYSTEM SOFTWARE SAFETY...2 10.1 INTRODUCTION...2 10.2 THE IMPORTANCE OF SYSTEM SAFETY...3 10.3 SOFTWARE SAFETY DEVELOPMENT PROCESS...5 10.4 SYSTEM SAFETY ASSESSMENT
More informationELECTROTECHNIQUE IEC INTERNATIONALE 61508-3 INTERNATIONAL ELECTROTECHNICAL
61508-3 ª IEC: 1997 1 Version 12.0 05/12/97 COMMISSION CEI ELECTROTECHNIQUE IEC INTERNATIONALE 61508-3 INTERNATIONAL ELECTROTECHNICAL COMMISSION Functional safety of electrical/electronic/ programmable
More informationMission Operation Ground. Assurance @ ESA. Mario Merri GSAW, Los Angeles, USA 2 Mar 2011 ESA UNCLASSIFIED
Mission Operation Ground Software Systems Product Assurance @ ESA Mario Merri GSAW, Los Angeles, USA 2 Mar 2011 The European Cooperation for Space Standardisation (ECSS) Established: in 1993 Goal: coherent,
More informationcodebeamer INTLAND SOFTWARE codebeamer Medical ALM Solution is built for IEC62304 compliance and provides a wealth of medical development knowledge
codebeamer Medical ALM Solution is built for INTLAND Traceability matrix Medical wiki Risk management IEC 62304 compliance codebeamer INTLAND codebeamer Medical ALM Solution is built for Medical Device
More informationJSF Software Safety Process: Providing Developmental Assurance
JSF Software Safety Process: Providing Developmental Assurance Mike Bridges, Lockheed Martin Aeronautics 2007 Lockheed Martin Corporation Systems and Software Technology Conference 18-21 June 2007 Tampa
More informationDNV GL Assessment Checklist ISO 9001:2015
DNV GL Assessment Checklist ISO 9001:2015 Rev 0 - December 2015 4 Context of the Organization No. Question Proc. Ref. Comments 4.1 Understanding the Organization and its context 1 Has the organization
More informationRequirements Engineering Management Findings Report
DOT/FAA/AR-08/34 Air Traffic Organization NextGen & Operations Planning Office of Research and Technology Development Washington, DC 20591 Requirements Engineering Management Findings Report May 2009 Final
More informationIBM Rational Rhapsody
IBM Rational Rhapsody IBM Rational Rhapsody Kit for DO-178B/C Overview Version 1.8 License Agreement No part of this publication may be reproduced, transmitted, stored in a retrieval system, nor translated
More information8. Master Test Plan (MTP)
8. Master Test Plan (MTP) The purpose of the Master Test Plan (MTP) is to provide an overall test planning and test management document for multiple levels of test (either within one project or across
More informationSoftware Development: The Waterfall Model
Steven Zeil June 7, 2013 Contents 1 Software Development Process Models 2 1.1 Components of the Waterfall Model................................. 2 1.1.1 What is a requirement?. 2 1.1.2 Testing..........
More information2005-01-0785. Effective Application of Software Safety Techniques for Automotive Embedded Control Systems SAE TECHNICAL PAPER SERIES
2005-01-0785 SAE TECHNICAL PAPER SERIES Effective Application of Software Safety Techniques for Automotive Embedded Control Systems Barbara J. Czerny, Joseph G. D Ambrosio, Brian T. Murray and Padma Sundaram
More informationUsing Safety Contracts in the Development of Safety Critical Object-Oriented Systems. Richard D. Hawkins
Using Safety Contracts in the Development of Safety Critical Object-Oriented Systems Richard D. Hawkins This thesis is submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy.
More informationSTANDARD REVIEW PLAN
NUREG-0800 U.S. NUCLEAR REGULATORY COMMISSION STANDARD REVIEW PLAN BRANCH TECHNICAL POSITION 7-14 GUIDANCE ON SOFTWARE REVIEWS FOR DIGITAL COMPUTER-BASED INSTRUMENTATION AND CONTROL SYSTEMS REVIEW RESPONSIBILITIES
More informationCertification Authorities Software Team (CAST) Position Paper CAST-15
Certification Authorities Software Team (CAST) Position Paper CAST-15 Merging High-Level and Low-Level Requirements Completed February 2003 NOTE: This position paper has been coordinated among the software
More informationA FRAMEWORK-BASED APPROACH FOR RELIABILITY & QUALITY ASSURANCE OF SAFETY-CRITICAL SOFTWARE
A FRAMEWORK-BASED APPROACH FOR RELIABILITY & QUALITY ASSURANCE OF SAFETY-CRITICAL SOFTWARE Ankur Pandit M.Tech, Final Year, Computer Science & Engineering Lakshmi Narain College of Technology Bhopal, India
More informationWhat is a life cycle model?
What is a life cycle model? Framework under which a software product is going to be developed. Defines the phases that the product under development will go through. Identifies activities involved in each
More informationCertification Authorities Software Team (CAST) Position Paper CAST-18
Certification Authorities Software Team (CAST) Position Paper CAST-18 Reverse Engineering in Certification Projects Completed June 2003 (Rev 1) NOTE: This position paper has been coordinated among the
More informationHow To Understand The Requirements Of The Software Safety Handbook
DOT/FAA/AR-01/116 Office of Aviation Research Washington, D.C. 20591 Software Service History Handbook January 2002 Final Report This document is available to the U.S. public through the National Technical
More informationOperation of Aircraft
International Standards and Recommended Practices Fatigue Management-related excerpts from: Annex 6 to the Convention on International Civil Aviation Operation of Aircraft Part I International Commercial
More informationProject Risk Management: IV&V as Insurance for Project Success
Project Risk Management: IV&V as Insurance for Project Success Introduction Software development projects can be expensive and risky: Ever more complex mission-critical requirements lead to increasingly
More informationDO-178C: A New Standard for Software Safety Certification
Presentation cover page EU DO-178C: A New Standard for Software Safety Certification North American Headquarters: 104 Fifth Avenue, 15 th Floor New York, NY 10011 USA +1-212-620-7300 (voice) +1-212-807-0162
More informationCertification Authorities Software Team (CAST) Position Paper CAST-10
Certification Authorities Software Team (CAST) Position Paper CAST-10 What is a Decision in Application of Modified Condition/Decision Coverage (MC/DC) and Decision Coverage (DC)? Completed June 2002 NOTE:
More informationSoftware Project Models
INTERNATIONAL JOURNAL OF TECHNOLOGY ENHANCEMENTS AND EMERGING ENGINEERING RESEARCH, VOL 1, ISSUE 4 135 Software Project Models Abhimanyu Chopra, Abhinav Prashar, Chandresh Saini Email-abhinav.prashar@gmail.com,
More informationMODEL REGULATION SAFETY MANAGEMENT SYSTEM REGULATION. International Civil Aviation Organisation
MODEL REGULATION SAFETY MANAGEMENT SYSTEM REGULATION 1 SAFETY MANAGEMENT SYSTEM REGULATION TABLE OF CONTENTS 1. INTRODUCATION... 3 2. SCOPE... 3 3. DEFINITIONS... 3 4. GENERAL... 4 5. APPLICABILITY...
More informationMerging Safety and Assurance: The Process of Dual Certification for Software
Merging Safety and Assurance: The Process of Dual Certification for Software Carol Taylor, Jim Alves-Foss, and Bob Rinker Center for Secure and Dependable Systems University of Idaho Track 5 250-B High
More informationTRAINING CATALOGUE. All courses can be animated in French or English. APSYS french training agreement : N 11921191492 TRAINING CATALOGUE - 2015 1
2015 TRAINING CATALOGUE All courses can be animated in French or English RISK MANAGEMENT + Reliability, availability, maintainability & safety (RAMS) + Dynamic modelling + Software reliability + FIDES
More informationISOLATING UNTRUSTED SOFTWARE ON SECURE SYSTEMS HYPERVISOR CASE STUDY
ISOLATING UNTRUSTED SOFTWARE ON SECURE SYSTEMS HYPERVISOR CASE STUDY Dr. Gregg Wildes DornerWorks www.dornerworks.com Embedded Systems Engineering for Security and Safety-Critical Systems Where Hardware
More informationAspects logiciels de la certification avionique et vérification statique : une nouvelle ère?
Mai 2003 Presenté par Gérard LADIER Head of Software Methods/Quality Group Avionics & Simulation Products Airbus France Aspects logiciels de la certification avionique et vérification statique : une nouvelle
More informationReaping the benefits of Reusable Software Components
Safety & Security for the Connected World Reaping the benefits of Reusable Software Components The Significance of FAA Reusable Software Component Certification Mark Pitchford The conflicting demands on
More informationAirworthiness and Maintenance Requirements for U.S. Registered Aircraft
Airworthiness and Maintenance Requirements for U.S. Registered Aircraft State of Registry Requirements Designee Limits and Requirements Maintenance Requirements Presented to: LACAC Members By: Jaime Insurriaga
More informationEthical Issues in the Software Quality Assurance Function
Ethical Issues in the Software Quality Assurance Function Jim Nindel-Edwards Microsoft, Inc. USA jimne@ieee.org Gerhard Steinke Seattle Pacific University USA gsteinke@spu.edu ABSTRACT The responsibility
More informationThe evolving ARINC 653 standard and it s application to IMA
The evolving ARINC 653 standard and it s application to IMA Alex Wilson Senior Program Manager Wind River November 13 th 2007 IMA and ARINC 653 Agenda DO-297 Certification of IMA under DO-297 Conclusions
More informationAS9100C Revised Standard Improves Aerospace Quality
AS9100C Revised Standard Improves Aerospace Quality Customer satisfaction is one of the newest changes to the international quality management standard for aerospace. By Christian Lupo, Business Unit Manager
More information