SCADE SUITE SOFTWARE VERIFICATION PLAN FOR DO-178B LEVEL A & B
|
|
- Josephine Blankenship
- 8 years ago
- Views:
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 Automatic Code Generation Tools Development Assurance Completed June 2002 NOTE: This position paper has been coordinated among the
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 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 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 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 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 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 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 informationSAFE 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 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 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 informationRevision 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 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 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 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 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 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 informationITS 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 informationMontana 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 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 informationSystem 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 informationRequirements 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 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 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 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 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 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 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 informationPeer 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 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 informationParameters 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 informationThis 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 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 informationEMC 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 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 informationR214 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 informationSystem 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 informationSOFTWARE 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 informationPeer 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 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 informationComputing 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 informationNSI 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 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 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 informationSWIFT 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 informationSoftware 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 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 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 informationISO 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 informationQUALITY 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 informationJOURNAL 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 informationStandard 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 informationDie 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 informationProject 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 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 informationEnterprise 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 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 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 informationKnow 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 informationPOLAR 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 informationSCADE 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 informationISO 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 informationCourse 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 informationCisco 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 informationUsing 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 informationSoftware 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 informationCHAPTER 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 informationEXHIBIT 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 informationSpecialties 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 informationService 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 informationSoftware Review Job Aid - Supplement #1
Software Review Job Aid - Supplement #1 1010011101010011110001101001101101101101000100100010101011100010110 1010011101010011110001101001101101101101000100101110101011100010111 0110100110110110110100010010001010101110001011000100111010100111100
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 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 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 informationTERMS 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 informationService 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 informationAppendix 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 informationState 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 informationAP1000 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 information074-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 informationProject 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 informationSYSTEMS 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 informationScenario: 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 informationISO 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 informationSoftware 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 informationSystem 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 informationOutline. 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 informationData 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 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 informationCONSOLIDATED 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 informationWHITEPAPER: SOFTWARE APPS AS MEDICAL DEVICES THE REGULATORY LANDSCAPE
WHITEPAPER: SOFTWARE APPS AS MEDICAL DEVICES THE REGULATORY LANDSCAPE White paper produced by Maetrics For more information, please contact global sales +1 610 458 9312 +1 877 623 8742 globalsales@maetrics.com
More informationWESTMORELAND 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 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 informationISO 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 informationSoftware 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 informationInput, Output and Tools of all Processes
1 CIS12-3 IT Project Management Input, Output and Tools of all Processes Marc Conrad D104 (Park Square Building) Marc.Conrad@luton.ac.uk 26/02/2013 18:22:06 Marc Conrad - University of Luton 1 2 Mgmt /
More informationA Guide To The Project Management Body of Knowledge (PMBOK) Significant Changes from the 3 rd edition to the 4 th edition
A Guide To The Project Body of Knowledge (PMBOK) Significant Changes from the 3 rd edition to the 4 th edition Major Changes The adoption of the verb-noun format for process names Amplification as to Enterprise
More informationRev 1 January 16, 2004
1010011101010011110001101001101101101101000100110010101011100010110 0110100110110110110100010010001010101110001011000100111010100111100 1110100110110110110100010010001010101110001011000100111010100111100
More informationAPPENDIX E THE ASSESSMENT PHASE OF THE DATA LIFE CYCLE
APPENDIX E THE ASSESSMENT PHASE OF THE DATA LIFE CYCLE The assessment phase of the Data Life Cycle includes verification and validation of the survey data and assessment of quality of the data. Data verification
More information