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. This document, now revised in the light of experience, provides the aviation community with guidance for determining, in a consistent manner and with an acceptable level of confidence, that the software aspects of airborne systems and equipment comply with airworthiness requirements. As software use increases, technology evolves, and experience is gained in the application of this document, this document will be reviewed and revised. Appendix A provides the background of this document.

C嵌入式编程设计模式 Design Patterns for Embedded Systems in C 英文版 First edition 2011 介绍如何使用设计模式为嵌入式系统创建高效且优化的C语言设计，这些设计方法已经实践证明非常有效。 针对嵌入式系统中发生的问题，本书的设计模式给出了模式化的解决方案。 通过学习本书，你将获得嵌入式领域专家来之不易的经验。 嵌入式设计模式，识货的不多说。。。。。

本书是针对研究生和高年级本科生的教科书。王立新老师曾是模糊之父扎德的学生，是模糊界的大牛，这本书曾风靡一时。

Luca Cardelli的《Type Systems》计算机语言中，遇到了一个误区子类与子类型的区别，有时候比较混乱，在面对泛型的时候，到底是接口还是类的继承？可以通过这篇论文进行研究。

海洋系统模拟器 (MSS) 是一个用于海洋系统的 Matlab 和 Simulink 库。 它包括船舶、水下航行器和浮动结构的水动力模型。 该库还包含用于实时仿真的引导、导航和控制 (GNC) 块。 算法和方法描述于： TI福森（2021）。 船舶流体动力学和运动控制手册。 第二。 版，威利。 ISBN-13：978-1119575054

Embedded Systems Firmware Demystified 嵌入式开发初学者很好的起步教材 写自己的操作系统

Introduction to Applied Nonlinear Dynamical Systems and Chaos

Database Systems Design, Implementation & Management, 13th-Carlos Coronel(2018).pdf Carlos Coronel的数据库系统设计实现与管理（13版） | 数据库入门教材 | MySQL | SQLServer

类型理论（Type theory）,E文。 作者Luca Cardelli Digital Equipment Corporation Systems Research Center

Control Systems Engineering 控制系统工程 6th Norman S. Nise 英文版第6版