超过460,000+ 应用技术资源下载
pdf

DO-178C Handbook - SCADE Suite

  • 1星
  • 日期: 2016-03-24
  • 大小: 4.4MB
  • 所需积分:2分
  • 下载次数:2
  • favicon收藏
  • rep举报
  • 分享
  • free评论
标签: DO-178CSCADEsuite

This handbook provides detailed explanations on how to fully satisfy DO-178C objectives with a SCADE model-based approach while promoting an

efficient development and verification strategy aimed at reducing costs

and increasing productivity. 

文档内容节选

Methodology Handbook Efficient Development of Safe Avionics Software with DO178C Objectives Using SCADE Suite First Edition CONTACTS Headquarters Esterel Technologies SAS Parc Euclide 8 rue Blaise Pascal 78990 Elancourt FRANCE Phone 33 1 30 68 61 60 Fax 33 1 30 68 61 61 LOCAL SUPPORT SITES United States 1082 North Alafaya Trail Suite 124 FL 32826 Orlando United States Phone 1 7247463304 Submit questions to Technical Support at scadesupportestereltechnologiescom Contact one of our Sales rep......

Methodology Handbook Efficient Development of Safe Avionics Software with DO-178C Objectives Using SCADE Suite® First Edition CONTACTS Headquarters Esterel Technologies SAS Parc Euclide - 8, rue Blaise Pascal 78990 Elancourt FRANCE Phone: +33 1 30 68 61 60 Fax: +33 1 30 68 61 61 LOCAL SUPPORT SITES United States 1082 North Alafaya Trail Suite 124 FL 32826 Orlando United States Phone: +1 724-746-3304 Submit questions to Technical Support at scade-support@esterel-technologies.com. Contact one of our Sales representatives at scade-sales@esterel-technologies.com. Direct general questions about Esterel Technologies to scade-info@esterel- technologies.com. Discover latest news on our products and technology at www.esterel- technologies.com. Southern Europe Esterel Technologies Park Avenue - 9, rue Michel Labrousse 31100 Toulouse FRANCE Phone: +33 5 34 60 90 50 Central Europe China Esterel Technologies GmbH c/o ANSYS Germany GmbH Birkenweg 14a 64295 Darmstadt GERMANY Phone: +49 6151 3644-112 ANSYS – Esterel Technologies 20F Verdant Place, No.128, West Nanjing Road Huang Pu District, Shanghai, P.R. CHINA Phone: +86-21-63351885 DISCLAIMER: The content of this handbook is distributed for informational use only, is subject to change without notice, and should not be construed as a complete and contractual information from Esterel Technologies SAS for developing fully certified software. Although every precaution was taken to prepare this handbook, Esterel Technologies assumes no responsibility or liability for any errors that may be contained in this book or any damages resulting from the use of the information contained herein. © 2015 Esterel Technologies SAS - A wholly-owned subsidiary of ANSYS, Inc. All rights reserved. ANSYS®, SCADE®, SCADE System®, SCADE Suite®, SCADE Display®, SCADE LifeCycle®, and SCADE Test are trademarks or registered trademarks of ANSYS, Inc. or its subsidiaries in the U.S. or other countries. Shipping date: June 2015 Revision:SC-HB-DO178C-KCG64 - DOC/rev/86004-06 SCADE Suite with DO-178C Objectives Abstract This handbook provides detailed explanations on how to fully satisfy DO- 178C objectives with a SCADE model-based approach while promoting an efficient development and verification strategy aimed at reducing costs and increasing productivity. The handbook reviews the regulatory guidelines before presenting the optimization of the development and verification processes that can be achieved with the SCADE Suite® methodology and tools. SCADE Suite supports the automated production and verification of a large part of the development life-cycle elements. The effect of using SCADE Suite together with its qualified KCG Code Generator is presented in terms of savings in the development and verification activities, following a step-by-step approach and considering the objectives that have to be met at each step. Methodology Handbook SCADE Suite with DO-178C Objectives Table of Contents 1. Document Background, Objectives, and Scope 1.1 Background 1.2 Objectives and Scope 1.3 Challenges in Airborne Software Development? 1.3.1 Avoid multiple descriptions of the software 1.3.2 Prevent ambiguity and lack of accuracy in specifications 1.3.3 Avoid design and coding errors 1.3.4 Allow efficient implementation of code on target 1.3.5 Find specification and design errors as early as possible 1.3.6 Lower complexity of updates 1.3.7 Improve verification efficiency 1.3.8 Provide efficient way to store Intellectual Property (IP) 2. Development of Safety-Critical Airborne Software 2.1 ARP 4754A and DO-178C Guidelines 2.1.1 Introduction 2.1.2 ARP 4754A/ED-79 2.1.3 DO-178C/ED-12C 2.1.4 Relationship between ARP 4754A and DO-178C 2.1.5 Development assurance levels 2.1.6 Objective-oriented approach 2.1.7 DO-178C processes overview 2.2 DO-178C Development Processes 2.3 DO-178C Verification Processes 2.3.1 Objectives of software verification 2.3.2 Reviews and analyses of the low-level requirements and architecture 2.3.3 Reviews and analyses of the source code 2.3.4 Software testing process 2.4 DO-331 Model-Based Development and Verification Processes 2.4.1 Model Definition 2.4.2 Model Categorization 2.4.3 Impact of Model-Based Development in DO-178C Development Processes 2.4.4 Impact of Model-Based Development in DO-178C Verification Processes 2.4.5 Model coverage analysis for design models 1 1 1 3 3 3 3 3 4 4 4 4 5 5 5 5 5 6 7 9 9 10 11 11 12 12 13 15 15 15 16 17 17 Methodology Handbook i
更多简介内容

评论


个人中心

意见反馈

求资源

回顶部

下载专区


TI最新应用解决方案

工业电子 汽车电子 个人电子

搜索下次设计所需的
TI 器件

● 目前在售器件有45,000款
● 6.99美元标准运费,不受时间和地点限制
● 无最低起订量要求

About Us 关于我们 客户服务 联系方式 器件索引 网站地图 最新更新 手机版

EEWorld电子技术资料下载——分享有价值的资料

北京市海淀区知春路23号集成电路设计园量子银座1305 电话:(010)82350740 邮编:100191

电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公海网安备110108001534 Copyright © 2005-2018 EEWORLD.com.cn, Inc. All rights reserved
$(function(){ var appid = $(".select li a").data("channel"); $(".select li a").click(function(){ var appid = $(this).data("channel"); $('.select dt').html($(this).html()); $('#channel').val(appid); }) })