本案例研究使用一个简单的直升机控制系统来演示与 ARP4754A、DO-178C 和 DO-331 兼容的工作流程。 案例研究从系统级需求开始，并提供贯穿可执行目标代码验证的整个工作流程。 尽管该演示使用了许多 MathWorks 工具箱许可证，但除了 MATLAB 和 Simulink 之外，还可以查看预先生成的工件，而无需将所有这些工具箱安装在 MATLAB 和 Simulink 之上。

linux下使用usb3.0转千兆网卡 ax88179_178a 驱动 ax88179_178a.ko 系统下直接加载模块即可 insmod ax88179_178a.ko

本文汇总了对英文版DO-178B、法文版ED-12B和中文版HB/Z295-96进行对照学习时所做的注记。

软件认证标准

用于为WPF 3D应用程序构建3D模型,并直接生成XAML模型,直接加入到项目即可使用,简单易学,功能强大

计算机软件-商业源码-178 使系统背景变灰.zip

DO-178C对应的工具鉴定标准，DO-330.DO-330 Software Tool Qualification Considerations Mar 2012

云原生应用Kubernetes监控与弹性实践 了解Kubernetes Master的可扩展性和性能 云原生时代加速镜像分发的三种方法 在Web级集群中动态调整Pod资源限制 大规模k8s集群下的巡检 使用Istio管理跨地域多集群的服务 坚持探索与落地并重，阿里云原生之路全景揭秘 如何快速恢复大规模容器故障 阿里利用K8S、Kata容器和裸金属服务器构建无服务器平台 CafeDeployment：为互联网金融关键任务场景扩展的Kubernetes资源 Serverless市场观察和落地挑战 有效可靠地管理大规模Kubernetes集群

The rapid increase in the use of software in airborne systems and equipment used on aircraft and engines in the early 1980s resulted in a need for industry-accepted guidance for satisfying airworthiness requirements. DO-178, "Software Considerations in Airborne Systems and Equipment Certification," was written to satisfy this need.

Position Paper CAST-19 Clarification of Structural Coverage Analyses of Data Coupling and Control Coupling Completed January 2004 (Rev 2)