SCADE SUITE SOFTWARE VERIFICATION PLAN FOR DO-178B LEVEL A & B

Size: px
Start display at page:

Download "SCADE SUITE SOFTWARE VERIFICATION PLAN FOR DO-178B LEVEL A & B"

Transcription

1 SCADE SUITE SOFTWARE VERIFICATION PLAN FOR DO-78B LEVEL A & B

2 TABLE OF CONTENTS. INTRODUCTION..... PURPOSE..... RELATED DOCUMENTS..... GLOSSARY CONVENTIONS..... RELATION WITH OTHER PLANS MODIFICATION OF THIS PLAN.... VERIFICATION ORGANIZATION..... VERIFICATION ROLES..... INDEPENDENCE..... VERIFICATION STATUS REPORTING.... VERIFICATION ENVIRONMENT..... HARDWARE AND SOFTWARE ENVIRONMENT..... VERIFICATION TOOLS.... VERIFICATION METHODS OVERVIEW DO-78B TABLE A-: VERIFICATION OF OUTPUTS OF THE SOFTWARE DESIGN PROCESS DO-78B TABLE A-: VERIFICATION OF OUTPUTS OF THE SOFTWARE CODING AND INTEGRATION PROCESSES DO-78B TABLE A-6: VERIFICATION OF OUTPUTS OF THE INTEGRATION PROCESS DO-78B TABLE A-7: VERIFICATION OF VERIFICATION PROCESS RESULTS REVIEW AND ANALYSIS METHODS..... REVIEW AND ANALYSIS PROCEDURE..... INPUT DATA REVIEW..... PLANNING DATA REVIEW..... SOFTWARE REQUIREMENTS REVIEW & ANALYSIS..... SCADE GLOBAL ARCHITECTURE REVIEW AND ANALYSIS SCADE DESIGN REVIEW & ANALYSIS TEXTUAL LLRS REVIEW SCADE CODE GENERATION VERIFICATION MANUAL C CODE REVIEW AND ANALYSIS SOFTWARE BUILD VERIFICATION SOFTWARE TEST STRATEGY REVIEW TEST CASES AND PROCEDURES REVIEW AND ANALYSIS TEST RESULTS REVIEW AND ANALYSIS..... SCADE MODEL TEST COVERAGE ANALYSIS AND RESOLUTION..... SSKCG GENERATED C SUBSET - STRUCTURAL COVERAGE ANALYSIS AND RESOLUTION MANUAL C CODE - STRUCTURAL COVERAGE ANALYSIS AND RESOLUTION SCADE CODE - DATA AND CONTROL COUPLING ANALYSIS SCADE CODE / MANUAL C CODE - DATA AND CONTROL COUPLING ANALYSIS MANUAL C CODE DATA AND CONTROL COUPLING ANALYSIS TESTING METHODS COMBINED TESTING METHOD TESTING APPROACH TEST METHODS ORGANIZATION OF TEST DATA SCADE INTEGRATION TESTING SCADE DERIVED LLR TESTING SCADE CODE MANUAL C CODE SW INTEGRATION TESTS...

3 6.8. MANUAL C CODE LOW LEVEL TESTING SSKCG C SAMPLE LOW LEVEL TESTING TRANSITION CRITERIA TO VERIFICATION PROCESS ADDITIONAL CONSIDERATIONS FOR SOFTWARE VERICATION PARTITIONING CONSIDERATIONS COMPILER ASSUMPTIONS REVERIFICATION GUIDELINES PREVIOUSLY DEVELOPED SOFTWARE MULTIPLE VERSION DISSIMILAR SOFTWARE... 9 APPENDIX : COMPLIANCE WITH DO-78B APPENDIX : TECHNICAL CHECKLISTS... APPENDIX : TEMPLATE OF TEST SUMMARY REPORT... LIST OF FIGURES Figure : Plans Relationship... Figure : SCADE Testing Approach... Figure : Organization of Test Data... LIST OF TABLES Table : Test Levels... Table : Comparison of Bottom-Up and Top-Down Testing approaches...

4 . INTRODUCTION.. PURPOSE This document is the Software Verification Plan for the SCADE-based software <SCADE-SW> that shall be certified DO-78B Software Level A. It is a complement to the User Software Verification Plan ([U-SVP]) that describes the verification activities for software developed in Manual C. Hypothesis is made that a development with SCADE contains manual C code for imported operators. This document focuses on the specific verification activities required for a development with SCADE Suite and refers to [U-SVP] for verification activities of manual C code. Adaptation Note for Level B Replace Level A by Level B.. RELATED DOCUMENTS <<To be completed with FAA, EASA, other certification authority, or User standards.>>... Norms and Standards [DO-78B] Software Considerations in Airborne Systems and Equipment Certification DO-78B/ED-B RTCA/EUROCAE December 99 - Edition including amendment No of October 9th, 999 [DO-8B] Final report for clarification of DO-78B Software Considerations in Airborne Systems and Equipment Certification DO-8B, RTCA Inc October 00 [FAA 80.9] Software Approval Guidelines FAA Notice February CAST [CAST-] Guidelines for Approving Source Code to Object Code Traceability CAST- Position Paper December 00 [CAST-9] Clarification of Structural Coverage Analyses of Data Coupling and Control Coupling CAST-9 Position Paper January 00

5 . VERIFICATION METHODS OVERVIEW This section summarizes how the objectives of DO-78B tables A- to A-7 are satisfied. Verification methods are focused on SCADE design. For verification of manual development, refer to [U-SVP]. These activities are only highlighted in this document. Implementation of these methods is presented in the following sections... DO-78B TABLE A-: VERIFICATION OF OUTPUTS OF THE SOFTWARE DESIGN PROCESS N DO-78B Objective Ref Verification Method Verification Results A-- A-- A-- Low level requirements comply with high level requirements Low level requirements are accurate and consistent Low level requirements are compatible with target computer 6..a 6..b 6..c Review of SCADE LLRs from the SCADE Components Design Document (Simulation with SSMTC ) Refer to [U-SVP] SSKCG qualification + Analysis of SSKCG semantic checker results Refer to [U-SVP] SSKCG qualification + Analysis of complexity on SSKCG generated code metrics Review of SCADE LLRs Refer to [U-SVP] SCADE Design (Simulation Test Summary Report) Textual Low level Requirements SCADE Design Textual Low level Requirements SCADE Design Textual Low level Requirements Simulation test cases shall be HLR based and verified, and the test results shall be verified. 6

6 Appendix : Compliance with DO-78B. Section. item a Organization. b Independence. c () Verification methods Review methods, c () Verification methods Analysis methods, c () Verification methods Testing methods, 6 d Verification environment e Transition criteria 7 f Partitioning Considerations 8. g Compiler Assumptions 8. h Reverification Guidelines 8. i Previously developed software 8. j Multiple-version dissimilar software 8. Reference in this document 0

7 SCADE DESIGN VERIFICATION REPORT Project: Verifier: Verification Date: Report ID:. BASELINE IDENTIFICATION <<This section shall reference the baseline of documents and data that are examined, including the upstream documents and the process documents.>>. SCADE SUITE KCG SEMANTIC CHECK REPORT <<The confirmation that no warning or error is raised with SSKCG semantic checker ensures that (A--) (A--) (A--) are fully satisfied and (A--9) (A--) (A--) are partially satisfied.>>.. SCADE Suite KCG Semantic Check Results.. SCADE Suite KCG Semantic Check Results Evaluation N Model/Library Status Comment N. SCADE COMPONENTS ARCHITECTURE VERIFICATION REPORT Refer to SCADE_Global_Architecture_Verification_Report.docx. SCADE DIAGRAMS CATEGORIZATION VERIFICATION REPORT (A--, A--) <<The check of correct categorization of the SCADE diagrams is necessary before detailed review.>> N SCADE Diagram Category Category Correct Comment N SCADE_Design_Verification_Report.docx

8 . SCADE DESIGN RULES VERIFICATION REPORT (A--, A--) <<The granularity of the SCADE Item shall be adapted to the evaluated rule.>> N SCADE Item Rule Rule Rule Rule n Comment N 6. SCADE SUITE CVK BOUNDS (A--) VERIFICATION REPORT <<This checklist is used to ensure that the generated code, with specific options, is in the SSCVK bounds and then that it is compatible with target computer, subject the SSCVK is used to verify that the target C compiler correctly compiles the C subset generated by SSKCG. The following limits should be adapted if a variant of the standard CVK product is used>> Reference to C code generation options: Metric (C code level) Limit covered by SSCVK Limit to be verified? (Y/N) Verification Method Verification Status Comment N Structures Number of levels of nested structure or union definitions in a single structdeclaration-list Number of members in a single structure or union Data Structures 6 Y Manual 0 Y kcg_metrics.txt Arrays Number of dimensions for an array 0 Y kcg_metrics.txt Maximum size for a dimension 09 Y kcg_metrics.txt Enumeration Number of enumeration constants in a single enumeration Y kcg_metrics.txt Number of Case labels for a switch statement Number of nesting levels of compound statements (blocks), iteration control structures and selection control structures Control Structures Y kcg_metrics.txt Y kcg_metrics.txt Expressions Number of nesting levels of parenthesized expressions within a full expression Program Size 6 Y kcg_metrics.txt SCADE_Design_Verification_Report.docx

9 Identifiers Metric (C code level) Limit covered by SSCVK Limit to be verified? (Y/N) Verification Method Verification Status Comment N Number of external identifiers in one translation unit Number of identifiers with block scope declared in one block Number of macro identifiers simultaneously defined in one preprocessing translation unit 09 Y kcg_metrics.txt 07 Y kcg_metrics.txt 09 Y kcg_metrics.txt Functions Number of parameters in one function definition Y kcg_metrics.txt Number of arguments in one function call Y kcg_metrics.txt Preprocessing directives Number of nesting levels for #included files 6 Y Manual Misc. Number of characters in a logical source line 78 Y Manual 7. SCADE LLRS VERIFICATION REPORT Following SCADE LLRs list is complete Yes No. N LLR ID HLR ID LLR Author LLR Reviewer (A--) LLR Complies with HLR (A--) LLR compatible with target (A--6) LLR traceability to HLR Correct (A--7) Algorithms are accurate (numerical computation, complex decision) Comment N LLR HL, HLR SCADE_Design_Verification_Report.docx

10 8. HLR/LLR TRACEABILITY (A--6) VERIFICATION REPORT Following HLRs list is complete Yes No. N HLR ID LLR ID HLR fully covered by the LLRs Comment N 9. DERIVED REQUIREMENTS ANALYSIS (A--) Following derived LLRs list is complete Yes No. N Derived LLR ID No conflict with other LLRs No conflict with HLRs Justification for Derived LLR Comment N 0. COMMENTS N Comment PR Reference Status (Open/ Closed) SCADE_Design_Verification_Report.docx

Certification Authorities Software Team (CAST) Position Paper CAST-13

Certification 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 information

Certification Authorities Software Team (CAST) Position Paper CAST-26

Certification 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 information

Certification of a Scade 6 compiler

Certification 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 information

Certification Authorities Software Team (CAST) Position Paper CAST-15

Certification 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 information

DO-178B/C Differences Tool

DO-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 information

Methodological Handbook. Efficient Development of Safe Avionics Software with DO-178B Objectives Using SCADE Suite

Methodological 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 information

Meeting DO-178B Software Verification Guidelines with Coverity Integrity Center

Meeting 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 information

F-22 Raptor. Agenda. 1. Motivation

F-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 information

SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE. Cheryl A. Dorsey Digital Flight / Solutions cadorsey@df-solutions.

SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE. Cheryl A. Dorsey Digital Flight / Solutions cadorsey@df-solutions. SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE Cheryl A. Dorsey Digital Flight / Solutions cadorsey@df-solutions.com DIGITAL FLIGHT / SOLUTIONS Presentation Outline DO-178 Overview

More information

b. We, the Federal Aviation Administration or FAA, wrote this AC to recognize the following RTCA, Inc. documents (RTCA DO):

b. We, the Federal Aviation Administration or FAA, wrote this AC to recognize the following RTCA, Inc. documents (RTCA DO): U.S. Department of Transportation Federal Aviation Administration Advisory Circular Subject: Airborne Software Assurance Date: mm/dd/yyyy Initiated by: AIR-120 AC : 20-115C Change: 1. Purpose of this Advisory

More information

AC 20-148 REUSABLE SOFTWARE COMPONENTS

AC 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 information

Certification Authorities Software Team (CAST) Position Paper CAST-9

Certification 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 information

Certification Authorities Software Team (CAST) Position Paper CAST-19

Certification Authorities Software Team (CAST) Position Paper CAST-19 Certification Authorities Software Team (CAST) Position Paper CAST-19 Clarification of Structural Coverage Analyses of Data Coupling and Control Coupling Completed January 2004 (Rev 2) NOTE: This position

More information

Revision History Revision Date 3.0 14.02.10. Changes Initial version published to http://www.isasecure.org

Revision History Revision Date 3.0 14.02.10. Changes Initial version published to http://www.isasecure.org SDLA-312 ISA Security Compliance Institute Security Development Lifecycle Assurance - Security Development Lifecycle Assessment v3.0 Lifecycle Phases Number Phase Name Description PH1 Security Management

More information

Subject Software Aspects of Certification

Subject 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 information

Automating Code Reviews with Simulink Code Inspector

Automating 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 information

Best practices for developing DO-178 compliant software using Model-Based Design

Best 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 information

Complying with DO-178C and DO-331 using Model-Based Design

Complying with DO-178C and DO-331 using Model-Based Design 12AEAS-0090 Complying with DO-178C and DO-331 using Model-Based Design Bill Potter MathWorks, Inc. Copyright 2012 The MathWorks, Inc. ABSTRACT This paper addresses how recently published revisions of aircraft

More information

DO-254 Requirements Traceability

DO-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 information

Introduction to a Requirements Engineering Framework for Aeronautics

Introduction 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 information

ITS Projects Systems Engineering Process Compliance Checklist

ITS Projects Systems Engineering Process Compliance Checklist ITS Projects Systems Engineering Process Compliance Checklist FHWA Final Rule (23 CFR 940) This checklist is to be completed by the MDOT or LPA Project Management Staff. Please refer to the accompanying

More information

System Build 2 Test Plan

System Build 2 Test Plan System Build 2 Test Plan Version 1.0 System Build 2 Test Plan Author s Signature Your signature indicates that this document has been prepared with input from content experts and is in compliance with

More information

WORKSHOP 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 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 information

DO-330/ED-215 Benefits of the New Tool Qualification Document

DO-330/ED-215 Benefits of the New Tool Qualification Document Frédéric Pothon ACG Solutions DO-330/ED-215 Benefits of the New Tool Qualification Document Frédéric Pothon, 2013 This work is licensed under a Creative Commons January 2013 Contributions and Reviews Laurent

More information

Requirements Traceability. Mirka Palo

Requirements Traceability. Mirka Palo Requirements Traceability Mirka Palo Seminar Report Department of Computer Science University of Helsinki 30 th October 2003 Table of Contents 1 INTRODUCTION... 1 2 DEFINITION... 1 3 REASONS FOR REQUIREMENTS

More information

CERTIFICATION MEMORANDUM

CERTIFICATION 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 information

Certification Authorities Software Team (CAST) Position Paper CAST-10

Certification 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 information

Advisory Circular. U.S. Department of Transportation Federal Aviation Administration

Advisory 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 information

The Impact of RTCA DO-178C on Software Development

The 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 information

Reverse Engineering Software and Digital Systems

Reverse 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 information

Montana Department of Transportation Information Services Division. System Development Life Cycle (SDLC) Guide

Montana Department of Transportation Information Services Division. System Development Life Cycle (SDLC) Guide Montana Department of Transportation Information Services Division System Development Life Cycle (SDLC) Guide Version 2 August 2, 2007 \mdt_sdlc_process\mdt_sdlc_v02.doc Table of Contents 1 Business Analysis...3

More information

Certification Authorities Software Team (CAST) Position Paper CAST-18

Certification 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 information

Parameters for Efficient Software Certification

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 information

Peer Review Process Description

Peer Review Process Description Peer Review Process Description Version 1.0 draft1 Table of Contents 1. Overview... 1 2. Work Aids... 1 3. Risk Assessment Guidance... 1 4. Participants... 2 5. Inspection

More information

Software testing. Objectives

Software 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 information

Certification Authorities Software Team (CAST) Position Paper CAST-3

Certification 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 information

EMC Publishing. Ontario Curriculum Computer and Information Science Grade 11

EMC Publishing. Ontario Curriculum Computer and Information Science Grade 11 EMC Publishing Ontario Curriculum Computer and Information Science Grade 11 Correlations for: An Introduction to Programming Using Microsoft Visual Basic 2005 Theory and Foundation Overall Expectations

More information

This alignment chart was designed specifically for the use of Red River College. These alignments have not been verified or endorsed by the IIBA.

This alignment chart was designed specifically for the use of Red River College. These alignments have not been verified or endorsed by the IIBA. Red River College Course Learning Outcome Alignment with BABOK Version 2 This alignment chart was designed specifically for the use of Red River College. These alignments have not been verified or endorsed

More information

System Requirements Specification (SRS) (Subsystem and Version #)

System Requirements Specification (SRS) (Subsystem and Version #) of the (Subsystem and Version #) () (Document Revision Number) Contract (No.) Task (No.) GSA Contract (No.) Prepared for: The United States Department of Agriculture Food & Nutrition Service (FNS)/ Information

More information

Computing Concepts with Java Essentials

Computing Concepts with Java Essentials 2008 AGI-Information Management Consultants May be used for personal purporses only or by libraries associated to dandelon.com network. Computing Concepts with Java Essentials 3rd Edition Cay Horstmann

More information

Peer Review Process Description

Peer Review Process Description Peer Review Process Description Version 1.0 draft1 Table of Contents 1.Overview...1 2.Work Aids...1 3.Risk Assessment Guidance...1 4.Participants...2 5.Inspection Procedure...4

More information

SOFTWARE DEVELOPMENT STANDARD FOR SPACECRAFT

SOFTWARE DEVELOPMENT STANDARD FOR SPACECRAFT SOFTWARE DEVELOPMENT STANDARD FOR SPACECRAFT Mar 31, 2014 Japan Aerospace Exploration Agency This is an English translation of JERG-2-610. Whenever there is anything ambiguous in this document, the original

More information

WIND RIVER RTCA DO-178 SOFTWARE CERTIFICATION SERVICES

WIND 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 information

ISO 9001:2000 AUDIT CHECKLIST

ISO 9001:2000 AUDIT CHECKLIST ISO 9001:2000 AUDIT CHECKLIST No. Question Proc. Ref. Comments 4 Quality Management System 4.1 General Requirements 1 Has the organization established, documented, implemented and maintained a quality

More information

Agile Model-Based Systems Engineering (ambse)

Agile 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 information

NSI Policy Supplement for XML Retail Accounting Reports Certification/Verification. May 7, 2007 Revision 1.1

NSI Policy Supplement for XML Retail Accounting Reports Certification/Verification. May 7, 2007 Revision 1.1 NSI Policy Supplement for XML Retail Accounting Reports Certification/Verification May 7, 2007 Revision 1.1 Table of Contents 1. Overview... 3 1.1 Introduction... 3 1.2 Scope... 3 1.2.1 Scope of certification

More information

Software Configuration Management Plan

Software Configuration Management Plan For Database Applications Document ID: Version: 2.0c Planning Installation & Acceptance Integration & Test Requirements Definition Design Development 1 / 22 Copyright 2000-2005 Digital Publications LLC.

More information

QUALITY MANAGEMENT SYSTEM (QMS) ASSESSMENT CHECKLIST

QUALITY MANAGEMENT SYSTEM (QMS) ASSESSMENT CHECKLIST 1. QUALITY MANAGEMENT SYSTEM QUALITY MANAGEMENT SYSTEM (QMS) ASSESSMENT CHECKLIST 1.1 Quality Management System General 1.1.1 Is objective evidence available to demonstrate that the MDSAP site has defined,

More information

SWIFT Certified Application Payments

SWIFT Certified Application Payments SWIFT Certified Application Payments Technical validation Guide 2014 Version 1.1 April 2014 Legal notices Copyright SWIFT 2014. All rights reserved. You may copy this publication within your organisation.

More information

Requirements Engineering Management Findings Report

Requirements 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 information

Die wichtigsten Use Cases für MISRA, HIS, SQO, IEC, ISO und Co. - Warum Polyspace DIE Embedded Code-Verifikationslösung ist.

Die wichtigsten Use Cases für MISRA, HIS, SQO, IEC, ISO und Co. - Warum Polyspace DIE Embedded Code-Verifikationslösung ist. Die wichtigsten Use Cases für MISRA, HIS, SQO, IEC, ISO und Co. - Warum Polyspace DIE Embedded Code-Verifikationslösung ist. Christian Guß Application Engineer The MathWorks GmbH 2015 The MathWorks, Inc.

More information

8. Master Test Plan (MTP)

8. 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 information

JOURNAL OF OBJECT TECHNOLOGY

JOURNAL OF OBJECT TECHNOLOGY JOURNAL OF OBJECT TECHNOLOGY Online at www.jot.fm. Published by ETH Zurich, Chair of Software Engineering JOT, 2006 Vol. 5. No. 8, November-December 2006 Requirements Engineering Tasks Donald Firesmith,

More information

Standard for Software Component Testing

Standard for Software Component Testing Standard for Software Component Testing Working Draft 3.4 Date: 27 April 2001 produced by the British Computer Society Specialist Interest Group in Software Testing (BCS SIGIST) Copyright Notice This document

More information

Software Development Tools for Safety-Critical, Real-Time Systems Handbook

Software Development Tools for Safety-Critical, Real-Time Systems Handbook DOT/FAA/AR-06/35 Air Traffic Organization Operations Planning Office of Aviation Research and Development Washington, DC 20591 Software Development Tools for Safety-Critical, Real-Time Systems Handbook

More information

Software Life Cycle Process - DO-178B

Software 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 information

Project Lifecycle Management (PLM)

Project Lifecycle Management (PLM) Project Lifecycle Management (PLM) Process or Tool? Why PLM? Project Definition Project Management NEW REQUEST/ INITIATIVES SUPPORT (Quick fixes) PROJECT (Start Finish) ONGOING WORK (Continuous) ENHANCEMENTS

More information

ENEA: THE PROVEN LEADER IN SAFETY CRITICAL AVIONICS SYSTEMS

ENEA: 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 information

RTCA DO-178B/EUROCAE ED-12B

RTCA 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 information

Know or Go Practical Quest for Reliable Software

Know or Go Practical Quest for Reliable Software Know or Go Practical Quest for Reliable Software Dr.-Ing. Jörg Barrho Dr.-Ing. Ulrich Wünsche AVACS Project meeting 25.09.2014 2014 Rolls-Royce Power Systems AG The information in this document is the

More information

Enterprise Test Management Standards

Enterprise Test Management Standards Enterprise Test Management Standards Version 4.0 09/28/2012 Document Number: FSA_TOADG_STDS_TEST.TMS_001 Document Version Control This section summarizes this document revision history. Each entry includes

More information

The new software standard for the avionic industry: goals, changes and challenges

The 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 information

ISO 9001:2008 Audit Checklist

ISO 9001:2008 Audit Checklist g GE Power & Water ISO 9001:2008 Audit Checklist Organization Auditor Date Page 1 Std. 4.1 General s a. Are processes identified b. Sequence & interaction of processes determined? c. Criteria for operation

More information

POLAR IT SERVICES. Business Intelligence Project Methodology

POLAR IT SERVICES. Business Intelligence Project Methodology POLAR IT SERVICES Business Intelligence Project Methodology Table of Contents 1. Overview... 2 2. Visualize... 3 3. Planning and Architecture... 4 3.1 Define Requirements... 4 3.1.1 Define Attributes...

More information

Course Title: Software Development

Course Title: Software Development Course Title: Software Development Unit: Customer Service Content Standard(s) and Depth of 1. Analyze customer software needs and system requirements to design an information technology-based project plan.

More information

SCADE TRAINING PROGRAM 2015

SCADE TRAINING PROGRAM 2015 SCADE TRAINING PROGRAM 2015 Esterel Technologies SAS - A wholly-owned subsidiary of ANSYS Inc. - An ISO 9001:2008 Certified Company 1 Register online! Model-Based Design Embedded Software Certified/Qualified

More information

Cisco Change Management: Best Practices White Paper

Cisco Change Management: Best Practices White Paper Table of Contents Change Management: Best Practices White Paper...1 Introduction...1 Critical Steps for Creating a Change Management Process...1 Planning for Change...1 Managing Change...1 High Level Process

More information

Using CMM with DO-178B/ED-12B for Airborne System Development

Using CMM with DO-178B/ED-12B for Airborne System Development Using CMM with DO-178B/ED-12B for Airborne System Development WHITE PAPER Author : Narasimha Swamy (Project Manager, Avionics Practice) Most aircraft companies develop onboard systems software for civilian

More information

R214 SPECIFIC REQUIREMENTS: INFORMATION TECHNOLOGY TESTING LABORATORY ACCREDITATION PROGRAM

R214 SPECIFIC REQUIREMENTS: INFORMATION TECHNOLOGY TESTING LABORATORY ACCREDITATION PROGRAM The American Association for Laboratory Accreditation Document Revised: R214: Specific Requirements: Information Technology Testing Laboratory Accreditation July 13, 2010 Program Page 1 of 26 R214 SPECIFIC

More information

EXHIBIT L. Application Development Processes

EXHIBIT L. Application Development Processes EXHIBIT L Application Development Processes Optum Development Methodology Development Overview Figure 1: Development process flow The Development phase consists of activities that include the building,

More information

CHAPTER 11 COMPUTER SYSTEMS INFORMATION TECHNOLOGY SERVICES CONTROLS

CHAPTER 11 COMPUTER SYSTEMS INFORMATION TECHNOLOGY SERVICES CONTROLS 11-1 CHAPTER 11 COMPUTER SYSTEMS INFORMATION TECHNOLOGY SERVICES CONTROLS INTRODUCTION The State Board of Accounts, in accordance with State statutes and the Statements on Auditing Standards Numbers 78

More information

Specialties Manufacturing. Talladega Castings & Machine Co., Inc. ISO 9001:2008. Quality Manual

Specialties Manufacturing. Talladega Castings & Machine Co., Inc. ISO 9001:2008. Quality Manual Specialties Manufacturing Talladega Castings & Machine Co., Inc. ISO 9001:2008 This document is the property of TMS and may not be reproduced, wholly, or in part, without the express consent of TMS. Rev.

More information

The Road from Software Testing to Theorem Proving

The 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 information

Software Review Job Aid - Supplement #1

Software Review Job Aid - Supplement #1 Software Review Job Aid - Supplement #1 1010011101010011110001101001101101101101000100100010101011100010110 1010011101010011110001101001101101101101000100101110101011100010111 0110100110110110110100010010001010101110001011000100111010100111100

More information

CDM Project Cycle and Validation Procedures. Randall Spalding-Fecher ECON Analysis 14 November 2007

CDM Project Cycle and Validation Procedures. Randall Spalding-Fecher ECON Analysis 14 November 2007 CDM Project Cycle and Validation Procedures Randall Spalding-Fecher ECON Analysis 14 November 2007 Outline CDM project cycle Validation procedures 2 CDM Project cycle who is responsible for what? Project

More information

Service Oriented Architecture Design and Development Method. Name: René van Donselaar. Universiteit Utrecht

Service Oriented Architecture Design and Development Method. Name: René van Donselaar. Universiteit Utrecht Service Oriented Architecture Design and Development Method René van Donselaar Universiteit Utrecht Notice of Originality I declare that this paper is my own work and that information derived from published

More information

State of the art Software Modeling. Tony Elliston. SIGADA 2004 Atlanta

State of the art Software Modeling. Tony Elliston. SIGADA 2004 Atlanta State of the art Software Modeling Tony Elliston SIGADA 2004 Atlanta TNI Europe Limited Market our own software modelling tools: CP-Hood and Stood. Distributor for TNI Software range of products. TNI Europe

More information

Critical Systems and Software Solutions

Critical 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 information

TITLE: Control of Software

TITLE: 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 information

Appendix O Project Performance Management Plan Template

Appendix O Project Performance Management Plan Template Appendix O Project Performance Management Plan Template Version 2 March 7, 2005 This page is intentionally left blank. Version 2 March 7, 2005 Title Page Document Control Panel Table of Contents List of

More information

1. Software Engineering Overview

1. 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 information

Scenario: Optimization of Conference Schedule.

Scenario: Optimization of Conference Schedule. MINI PROJECT 1 Scenario: Optimization of Conference Schedule. A conference has n papers accepted. Our job is to organize them in a best possible schedule. The schedule has p parallel sessions at a given

More information

TERMS OF REFERENCE RTCA Special Committee 228 Minimum Performance Standards for Unmanned Aircraft Systems (Rev 2) REQUESTORS:

TERMS OF REFERENCE RTCA Special Committee 228 Minimum Performance Standards for Unmanned Aircraft Systems (Rev 2) REQUESTORS: TERMS OF REFERENCE RTCA Special Committee 228 Minimum Performance Standards for Unmanned Aircraft Systems (Rev 2) REQUESTORS: AVS Organization Jim Williams Person SPECIAL COMMITTEE LEADERSHIP: Position

More information

Service Support. 2005 Kasse Initiatives, LLC. ITIL Configuration Management - 1. version 2.0

Service Support. 2005 Kasse Initiatives, LLC. ITIL Configuration Management - 1. version 2.0 Service Support Configuration Management ITIL Configuration Management - 1 Goals of Configuration Management The goals of Configuration Management are to: Account for all the IT assets and configurations

More information

Project Execution Guidelines for SESAR 2020 Exploratory Research

Project Execution Guidelines for SESAR 2020 Exploratory Research Project Execution Guidelines for SESAR 2020 Exploratory Research 04 June 2015 Edition 01.01.00 This document aims at providing guidance to consortia members on the way they are expected to fulfil the project

More information

SYSTEMS AND SOFTWARE REQUIREMENTS SPECIFICATION (SSRS) TEMPLATE. Version A.4, January 2014 FOREWORD DOCUMENT CONVENTIONS

SYSTEMS AND SOFTWARE REQUIREMENTS SPECIFICATION (SSRS) TEMPLATE. Version A.4, January 2014 FOREWORD DOCUMENT CONVENTIONS SYSTEMS AND SOFTWARE REQUIREMENTS SPECIFICATION (SSRS) TEMPLATE Version A.4, January 2014 FOREWORD This document was written to provide software development projects with a template for generating a System

More information

074-8432-552 Page 1 of 7 Effective Date: 12/18/03 Software Supplier Process Requirements

074-8432-552 Page 1 of 7 Effective Date: 12/18/03 Software Supplier Process Requirements Page 1 of 7 Software Supplier Process Requirements 1.0 QUALITY SYSTEM FRAMEWORK 1.1 QUALITY POLICY The Seller shall document and implement a quality program in the form of Quality manual or detailed Quality

More information

ISO 9001: 2008 Construction Quality Management System Sample - Selected pages (not a complete plan)

ISO 9001: 2008 Construction Quality Management System Sample - Selected pages (not a complete plan) ISO 9001: 2008 Construction Quality Management System Sample - Selected pages (not a complete plan) Part 1: Project-Specific Quality Plan Part 2: Company Quality Manual Part 3: Submittal Forms Part 4:

More information

AP1000 European 18. Human Factors Engineering Design Control Document

AP1000 European 18. Human Factors Engineering Design Control Document 18.2 Human Factors Engineering Program Management The purpose of this section is to describe the goals of the AP1000 human factors engineering program, the technical program to accomplish these goals,

More information

Software Engineering for Software-Intensive Systems: III The Development Life Cycle

Software Engineering for Software-Intensive Systems: III The Development Life Cycle Software Engineering for Software-Intensive Systems: III The Development Life Cycle Assistant Professor Dr. Room E 3.165 Tel. 60-3321 Email: hg@upb.de Outline I Introduction II Foundations III The Development

More information

System Development Life Cycle Guide

System Development Life Cycle Guide TEXAS DEPARTMENT OF INFORMATION RESOURCES System Development Life Cycle Guide Version 1.1 30 MAY 2008 Version History This and other Framework Extension tools are available on Framework Web site. Release

More information

WESTMORELAND COUNTY PUBLIC SCHOOLS 2011 2012 Integrated Instructional Pacing Guide and Checklist Computer Math

WESTMORELAND COUNTY PUBLIC SCHOOLS 2011 2012 Integrated Instructional Pacing Guide and Checklist Computer Math Textbook Correlation WESTMORELAND COUNTY PUBLIC SCHOOLS 2011 2012 Integrated Instructional Pacing Guide and Checklist Computer Math Following Directions Unit FIRST QUARTER AND SECOND QUARTER Logic Unit

More information

Outline. III The Development Life Cycle. Characteristics of Software Development Methodologies. The Prototyping Process

Outline. III The Development Life Cycle. Characteristics of Software Development Methodologies. The Prototyping Process Software Engineering for Software-tensive Systems: Assistant Professor Dr. Room E 3.165 Tel. 60-3321 Email: hg@upb.de line I troduction II Foundations IV Requirements V Analysis & Design VI Implementation

More information

Data Modeling Basics

Data Modeling Basics Information Technology Standard Commonwealth of Pennsylvania Governor's Office of Administration/Office for Information Technology STD Number: STD-INF003B STD Title: Data Modeling Basics Issued by: Deputy

More information

Project Implementation Plan

<Project Name> Project Implementation Plan Client Logo Project Implementation Plan Version 0.1 Prepared By: David Bowman Information Management Architect Table of Contents Revision History...4 1. INTRODUCTION...5 1.1. Purpose...5

More information

ISO 9001:2008 Quality Management System Requirements (Third Revision)

ISO 9001:2008 Quality Management System Requirements (Third Revision) ISO 9001:2008 Quality Management System Requirements (Third Revision) Contents Page 1 Scope 1 1.1 General. 1 1.2 Application.. 1 2 Normative references.. 1 3 Terms and definitions. 1 4 Quality management

More information

Reduce Medical Device Compliance Costs with Best Practices. mark.pitchford@ldra.com

Reduce 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 information

Software Production. Industrialized integration and validation of TargetLink models for series production

Software Production. Industrialized integration and validation of TargetLink models for series production PAGE 24 EB AUTOMOTIVE Industrialized integration and validation of TargetLink models for series production Continuous Software Production The complexity of software systems in vehicles is increasing at

More information

CONSOLIDATED VERSION IEC 62304. Medical device software Software life cycle processes. colour inside. Edition 1.1 2015-06

CONSOLIDATED VERSION IEC 62304. Medical device software Software life cycle processes. colour inside. Edition 1.1 2015-06 IEC 62304 CONSOLIDATED VERSION Edition 1.1 2015-06 colour inside Medical device software life cycle processes INTERNATIONAL ELECTROTECHNICAL COMMISSION ICS 11.040 ISBN 978-2-8322-2765-7 Warning! Make sure

More information