DO178C

本专辑为您列举一些DO178C方面的下载的内容,DO178C等资源。把最新最全的DO178C推荐给您,让您轻松找到相关应用信息,并提供DO178C下载等功能。本站致力于为用户提供更好的下载体验，如未能找到DO178C相关内容，可进行网站注册，如有最新DO178C相关资源信息会推送给您。

阅读全文

DO178C

: mathworks_do178c_autocoding_workflow_poster_jan18.pdf DO-178C Workflow with Qualified Code Generation Note: Formal Methods allow to detect errors in the Model including dead logic, integer overflow, division by zero, and violations of design properties ...
评级：0 浏览量：116 收藏量：0 资源大小：1.46MB 上传时间：2020-09-18

: DO-178B适航标准中文版机载系统和设备合格审定中的软件考虑，RTCA DO—178B《机载系统和设备合格审定中的软件考虑》是美国航空无线电技术委员会为支持含有数字计算机的机载系统和设备的研制工作而开发的软件开发过程中应遵循的准则。 ...
评级：5 浏览量：2152 收藏量：3 资源大小：367KB 上传时间：2020-11-09

: DO-178C 最佳实践白皮书 DO-178C Best Practices For Engineers & Managers By Vance Hilderman
评级：1 浏览量：1619 收藏量：2 资源大小：2.33MB 上传时间：2018-10-18

: DO178C促进安全苛刻的航空电子软件开发.pdf DO178C促进安全苛刻的航空电子软件开发.pdf
评级：5 浏览量：273 收藏量：0 资源大小：16KB 上传时间：2022-07-14

: DO178C-ED12C-Changes_and_Improvements-Sep2012.pdf This work is licensed under a Creative Commons Attribution-Non Commercial-ShareAlike 3.0 Unported License.
评级：0 浏览量：242 收藏量：1 资源大小：1.87MB 上传时间：2020-09-18

: 【最新版】 RTCA DO-178C 2011..pdf 【最新版】 RTCA DO-178C 2011..pdf
评级：5 浏览量：603 收藏量：2 资源大小：924KB 上传时间：2022-12-01

: DO-178B中文版此为DO-178B中文版文档，对于适航这一块有很高的参考价值.
评级：0 浏览量：982 收藏量：2 资源大小：1.79MB 上传时间：2018-09-12

: A Practical Guide for Aviation Software and DO-178C.pdf 软件认证标准
评级：0 浏览量：138 收藏量：1 资源大小：4.63MB 上传时间：2021-03-11

: Automatic WCET analysis for DO-178B 介绍在航空机载软件适航标准DO-178B/C要求下如何进行自动化WCET分析。
评级：0 浏览量：646 收藏量：0 资源大小：470KB 上传时间：2018-08-21

: DO_178B_中文 DO_178B_中文范围 RTCA DO—178B 讨论了涉及到航空器和发动机上所用机载系统和设备中的软件开发过程中的适航性合格审定方面的问题，并对这些问题给出了相应的准则。本规范引用了其中适用于ARJ 21 型号的部分将其...
评级：5 浏览量：584 收藏量：0 资源大小：268KB 上传时间：2012-01-17

: 2019年DO-178C与CMMI软件项目策划过程浅析.doc 2019年DO-178C与CMMI软件项目策划过程浅析.doc
评级：0 浏览量：34 收藏量：0 资源大小：34KB 上传时间：2022-11-24

: 基于DO-178B-C的机载软件适航审查研究-崔利杰.pdf 基于DO-178B-C的机载软件适航审查研究-崔利杰.pdf
评级：0 浏览量：199 收藏量：0 资源大小：1.01MB 上传时间：2023-06-28

: 风河全面整合DO-178B和IEC 61508的新安全平台 Intel全资子公司风河系统公司日前宣布，将原有的VxWorks DO-178B和IEC 61508关键安全级平台整合成为一个全新的软件平台——Wind River VxWorks Cert Platform。这一全新的软件平台将引入对C++和实时进程的支持，为...
评级：0 浏览量：102 收藏量：0 资源大小：61KB 上传时间：2021-01-19

: DO178_case_study:使用 MathWorks 工具的 DO-178 案例研究-matlab开发本案例研究使用一个简单的直升机控制系统来演示与 ARP4754A、DO-178C 和 DO-331 兼容的工作流程。案例研究从系统级需求开始，并提供贯穿可执行目标代码验证的整个工作流程。尽管该演示使用了许多 MathWorks 工具箱...
评级：0 浏览量：126 收藏量：1 资源大小：58.1MB 上传时间：2021-05-29

: DO-330 Software Tool Qualification Considerations Mar 2012 DO-178C对应的工具鉴定标准，DO-330.DO-330 Software Tool Qualification Considerations Mar 2012
评级：0 浏览量：218 收藏量：1 资源大小：768KB 上传时间：2022-04-26

: DO-178C 生命周期数据资料 - SAS 内容总结和模板文件 DO-178C 生命周期数据资料 - SAS 内容总结和模板文件
评级：0 浏览量：14 收藏量：0 资源大小：31KB 上传时间：2024-03-11

: ARP4754A、DO-178C 和 DO-331 的自动驾驶仪演示：演示如何在 ARP-4754A、DO-178C 和 DO-331 的工作流程中... 这通过软件设计和实现到目标生产代码展示了一个工作流去系统要求。它包括遵循这些标准所需的开发步骤、验证步骤和证据。
评级：0 浏览量：385 收藏量：1 资源大小：8.64MB 上传时间：2021-05-29

: The_new_software_standard_for_the_avioni.pdf 美国航空无线电技术委员会（RTCA）发布了DO-178C《机载系统合格审定过程中的软件考虑》，并被美国联邦航空局（FAA）、欧洲航空安全局（EASA）和中国民用航空局（CAAC）作为民用飞机机载软件研制可接受的符合性方法
评级：0 浏览量：73 收藏量：0 资源大小：296KB 上传时间：2020-09-18

: DO-178C-brief-notes.zip_软件设计/软件工程_Visual_C++_ 某次国内关于DO-178C与其旧版本178B的研讨会的报告的几个内容的总结，主要有：178B的简介、178C的改进、工具鉴定标准等。
评级：5 浏览量：112 收藏量：0 资源大小：721KB 上传时间：2021-08-11

: Software Considerations in Airborne Systems DO-178, "Software Considerations in Airborne Systems and Equipment Certification", was written to satisfy this need. This document, now revised in the light of experience, provides the aviation ...
评级：0 浏览量：132 收藏量：1 资源大小：910KB 上传时间：2014-09-22

: MISRA C:registered:2004 & 1998 预设：为 PolySpace MISRA C:registered: Checker 找到 5 个预设文件-... 该软件包为您提供了 PolySpace MISRA-C:registered: Checker 的一些预设。根据您的项目要求，您将选择这些文件之一。
评级：0 浏览量：89 收藏量：0 资源大小：151KB 上传时间：2021-06-01

: 高级C语言.PDF do/while(0)的妙用 ....................................................................................................................... 120 28. exit()和return()的区别 .................................
评级：0 浏览量：956 收藏量：2 资源大小：2.27MB 上传时间：2018-06-02

: C语言教程，大学教材，Turbo C2.0 基础学习 1.4.2 C语言简史及特点.................................................................................20 1.4.3 C程序示例及组成.............................................................................
评级：0 浏览量：454 收藏量：0 资源大小：1.4MB 上传时间：2019-04-28

: 新概念C语言.李一波(带详细书签).pdf “新概念C语言”突破了以往任何一种语言教材的旧的模式，将教学内容分为入门篇和提高篇两个篇章。在入门篇中只引进程序设计必要的语法现象，达到快速入门。激发兴趣的目的。在入门篇和提高篇之间插一个强化上机实验...
评级：0 浏览量：874 收藏量：0 资源大小：15.13MB 上传时间：2019-02-10

: 明解C语言（第3版）入门篇.[日]柴田望洋(带详细书签).pdf 【半高清】《明解C语言 第3版入门篇》是日本的C语言经典教材，自出版以来不断重印、修订，被誉为“C语言圣经”。《明解C语言 第3版入门篇》图文并茂，示例丰富，第3版从190段代码和164幅图表增加到205段代码和220幅图表，对...
评级：0 浏览量：0 收藏量：2 资源大小：53.81MB 上传时间：2019-03-22

: docker 容器上编译 go 程序提示找不到文件问题 dockerfile [root@SZB-L0010091 zxg]# cat Dockerfile FROM scratch ...panic: standard_init_linux.go:178: exec user process caused no such file or directory [recovered] panic: standard_i
评级：0 浏览量：465 收藏量：0 资源大小：38KB 上传时间：2021-01-10

: 嵌入式系统/ARM技术中的μC/OS-Ⅱ操作系统的简介 μC/OS－II，并在2000年得到了美国联邦航空管理局对用于商用飞机的、符合RTCA DO178B标准的认证，从而证明μC/OS－II具有足够的稳定性和安全性。　μC/OS－II是一个可裁减、源代码开放、结构小巧、可抢占式的...
评级：0 浏览量：169 收藏量：0 资源大小：77KB 上传时间：2020-11-13

: co-co-eaa：基于内聚耦合的事件抽象方法可可该项目是基于内聚耦合的事件抽象方法的实现。该实现属于学士学位论文“基于内聚耦合的事件抽象。图书馆在这项工作中，使用以下库：所有这些都可以通过pip install安装。资料收集事件记录在这项工作中，主要使用...
评级：0 浏览量：104 收藏量：0 资源大小：303.91MB 上传时间：2021-03-04

: C程序设计(第四版)学习辅导【谭浩强】 5.3用do…while语句实现循环118 5.4用for 语句实现循环121 5.5循环的嵌套125 5.6几种循环的比较126 5.7改变循环执行的状态126 5.7.1用break语句提前终止循环127 5.7.2用continue语句提前结束本次循环128 5.7.3break...
评级：4 浏览量：289 收藏量：0 资源大小：11.89MB 上传时间：2011-05-27

: 基于模型的控制系统测试的基准问题 - 002：这是控制系统测试社区可用的第二组基准问题。... 这是控制系统测试社区可用的第二组基准问题。测试用例是使用实验设计 (DOE) 和随机测试生成和选择... 基于模型的测试的 DO178C 补充说明了基于模型的测试可以捕获什么类型的错误。这已在mutants文件中进行了模仿。
评级：0 浏览量：45 收藏量：0 资源大小：4.54MB 上传时间：2021-05-30

: 谭浩强C程序设计第三版 do-while语句 83 for语句 86 循环的嵌套 88 几种循环的比较 88 break和continue语句 88 break语句 88 continue 语句 89 程序举例 90 数组 94 一维数组的定义和引用 94 一维数组的定义方式 94 一维数组元素的引用 95 ...
评级：5 浏览量：252 收藏量：20 资源大小：1.15MB 上传时间：2010-01-16

: Matlab代码verilog-phbernardes:我的GitHub个人资料的配置文件 [AERONAUTICS]遵循DO-178C软件考虑因素，为航空航天业开发和验证嵌入式系统（以C语言编写）。 [嵌入式系统] C，嵌入式Linux，RTOS，Espruino（嵌入式JavaScript），MicroPython ... [AUTOMOTIVE]基于模型的设计，...
评级：0 浏览量：73 收藏量：0 资源大小：1KB 上传时间：2021-05-27

: QRLogin:二维码扫码登录 QRLoginAndroid扫描二维码实现网页登录LicenseMIT licensedCopyright (C) 2012 huidaoli 、can2do.com, 项目组相关链接信工IT网：项目协同办公室：信工IT网官方微博：信工IT网博客：东大实训QQ交流群： 203625807
评级：0 浏览量：855 收藏量：0 资源大小：2.89MB 上传时间：2021-06-13

: 使用基于模型的测试工作流进行与安全相关的软件开发安全相关软件的挑战嵌入式软件已经逐渐成为...交付遵循严格的开发标准和指导准则(例如DO-178C、DO-178B、ISO26262、IEC61508或IEC62304)的安全代码可能会增加项目所需的时间和成本。本文介绍了如何利用IBMRationalRhaps
评级：0 浏览量：71 收藏量：0 资源大小：104KB 上传时间：2021-03-23

: phoenix-rtos-project:使用Phoenix-RTOS的示例项目航空航天应用的ARINC653执行环境（APEX），高级分区和DO-178C认证包正在开发中。 Phoenix-RTOS支持多种架构，包括ARM Cortex-M，ARM Cortex-A，Intel x86，RISC-V以及一些流行的微控制器和参考板。该系统仍在开发...
评级：0 浏览量：173 收藏量：1 资源大小：827KB 上传时间：2021-03-08

: Unified Code Generation:Simulink / Stateflow的开源代码生成器-开源该项目为生成适用于安全关键型应用和认证（例如DO-178B）的高质量源代码提供了一个开放源代码框架。当前包含Simulink和Stateflow前端以及C语言后端。 UCGN的一些优点：-清晰可读的源代码-功能和参数的分离（“可调...
评级：0 浏览量：175 收藏量：0 资源大小：2.12MB 上传时间：2021-05-14

: STM32F103C8T6.zip 自己建的一个STM32 ucosIII IAR工程 μC/OS-II由Micrium公司提供，是一个可移植、... μC/OS-II已经通过联邦航空局（FAA）商用航行器认证，符合航空无线电技术委员会（RTCA）DO-178B标准。现在最新版的是μC/OS-III。
评级：0 浏览量：225 收藏量：0 资源大小：14.67MB 上传时间：2020-04-17

: RTOS嵌入式实时操作系统ucos-II邵贝贝光盘源码 μC/OS-II由Micrium公司提供，是一个可移植、可固化的、可裁剪的、占先式多任务实时内核，它适用于多种微处理器... μC/OS-II已经通过联邦航空局（FAA）商用航行器认证，符合航空无线电技术委员会（RTCA）DO-178B标准。
评级：0 浏览量：140 收藏量：0 资源大小：4.84MB 上传时间：2019-12-26

: STM32移植uCOUS-II.rar STM32 UCOSII官方源码 STM32demou μC/OS-II由Micrium公司提供，是一个可移植、可固化的、可裁剪的、占先式多... μC/OS-II已经通过联邦航空局（FAA）商用航行器认证，符合航空无线电技术委员会（RTCA）DO-178B标准。
评级：0 浏览量：120 收藏量：0 资源大小：14.81MB 上传时间：2019-10-20

: 天书夜读:从汇编语言到Windows内核编程（完整版二）　2.1.2 do循环 16 　2.1.3 while循环 17 　2.2 C语言判断与分支的反汇编 18 　2.2.1 if-else判断分支 18 　2.2.2 switch-case判断分支 19 　2.3 C语言的数组与结构 22 　2.4 C语言的共用体和枚举类型 24 　第3章 ...
评级：5 浏览量：0 收藏量：4 资源大小：7.53MB 上传时间：2010-07-05

: 天书夜读:从汇编语言到Windows内核编程（完整版一）　2.1.2 do循环 16 　2.1.3 while循环 17 　2.2 C语言判断与分支的反汇编 18 　2.2.1 if-else判断分支 18 　2.2.2 switch-case判断分支 19 　2.3 C语言的数组与结构 22 　2.4 C语言的共用体和枚举类型 24 　第3章 ...
评级：5 浏览量：0 收藏量：6 资源大小：14.31MB 上传时间：2010-07-05

: Micrium_STM32xxx_uCOS-II μC/OS-II由Micrium公司提供，是一个可移植、可固化的、可裁剪的、占先式多任务实时内核，它适用于多种微处理器... μC/OS-II已经通过联邦航空局（FAA）商用航行器认证，符合航空无线电技术委员会（RTCA）DO-178B标准。
评级：0 浏览量：363 收藏量：0 资源大小：2.86MB 上传时间：2018-03-08

: understanding machine learning theory-algorithms 13.4 Controlling the Fitting-Stability Tradeo 178 13.5 Summary 180 13.6 Bibliographic Remarks 180 13.7 Exercises 181 14 Stochastic Gradient Descent 184 14.1 Gradient Descent 185 14.1.1 Analysis of GD ...
评级：0 浏览量：408 收藏量：1 资源大小：2.41MB 上传时间：2019-10-13

: Beginning Python (2005).pdf Do You Need One? 278 Document Type Definitions 278 An Example DTD 278 DTDs Aren’t Exactly XML 280 Limitations of DTDs 280 Schemas 280 An Example Schema 280 Schemas Are Pure XML 281 Schemas ...
评级：0 浏览量：583 收藏量：0 资源大小：17.49MB 上传时间：2019-08-18

: Visual C++ 2005入门经典--源代码及课后练习答案 3.2.4　do-while循环 129 3.2.5　嵌套的循环 130 3.3　C++/CLI编程 133 3.4　小结 139 3.5　练习 140 第4章　数组、字符串和指针 141 4.1　处理多个相同类型的数据值 141 4.1.1　数组 142 4.1.2　声明数组 ...
评级：4 浏览量：1819 收藏量：4 资源大小：446KB 上传时间：2013-02-02

: hls.min.js return e.m=t,e.c=r,e.d=function(t,r,i){e.o(t,r)||Object.defineProperty(t,r,{configurable:!1,enumerable:!0,get:i})},e.n=function(t){var r=t&&t.__esModule?function(){return t.default}:function(){return ...
评级：0 浏览量：2125 收藏量：0 资源大小：209KB 上传时间：2019-06-01

: windows下mysql双向同步 windows下mysql双向同步 ...master-host=192.168.1.178 master-user=slave master-password=1234 master-port=3306 master-connect-retry=60 replicate-do-db=dn2 log-bin=C:\log-bin.log binlog-do-db=dn2
评级：0 浏览量：91 收藏量：0 资源大小：340KB 上传时间：2013-12-27

: ucosII系统教程pdf文档 μC/OS-II由Micrium公司提供，是一个可移植、可固化的、可裁剪的、占先式多任务实时内核，它适用于多种微处理器... μC/OS-II已经通过联邦航空局（FAA）商用航行器认证，符合航空无线电技术委员会（RTCA）DO-178B标准。
评级：0 浏览量：56 收藏量：0 资源大小：7.87MB 上传时间：2016-05-28

: beginning_portable_shell_scripting_from_novice_to_professional.pdf About the Author . . . . . . . . . ....About the Technical Reviewer ....Acknowledgments ....introduction to Shell Scripting ....About This Book ....Conventions ....What Shell Scripting Is ....What Shell Scripting Isn’t ....
评级：0 浏览量：177 收藏量：0 资源大小：2.93MB 上传时间：2019-08-16

: JavaScript基础教程第8版 3.7　使用do/while循环　44 3.8　以多种方式调用脚本　46 3.9　组合使用JavaScript和CSS　47 3.10　检查状态　50 3.11　处理字符串数组　55 第4章　处理图像　59 4.1　创建翻转器　59 4.2　创建更有效的翻转器　61 ...
评级：0 浏览量：530 收藏量：1 资源大小：16.08MB 上传时间：2018-06-12

资源推荐

相关资源标签

汇编语言 Windows内核编程 C程序设计 DO_178B VisualC++ 2005 入门经典课后练习答案 mysql DO178c ucosII ;uCOS-II JavaScript DO-178B/C DO178B中文版航空航天 DO-178C DO-178 程序设计 C语言教程 beginning portable scripting novice professional Python machine learning 移植UCOSII STM32F103_Demo RTOS 实时操作系统 uc/osII ucosIII STM32 IAR DO178C DO178 嵌入式系统/ARM技术 build docker go 编译程序 rtos Shell 使用,基于,模型,测试工作流,进行,安全相关,软件开发安全开源软件系统开源 matlab Java 软件设计/软件工程 Visual