1. 航电计算平台存储与文件系统导论

航电计算平台（Avionics Computing Platform）是飞机上承担飞行控制、显示告警、任务管理、健康监测等功能的计算核心。与通用计算机不同，航电平台对存储与文件系统的要求并非“容量大、速度快”这么简单，而是要在确定性、完整性、可恢复性与适航可验证性之间取得平衡。本节作为课程导论，先建立整体认知框架：航电系统为什么对存储与文件系统提出特殊需求，适航标准如何约束设计，以及后续 29 章将沿怎样的知识地图展开。

一、航电系统对存储与文件系统的特殊需求

航电计算平台通常运行在强实时、高安全、长寿命的环境中。以飞行控制计算机为例，其控制律周期可能为 10 ms 或 20 ms，每个周期内需要读取传感器数据、执行计算、写入状态与日志。存储子系统若出现不可预测的延迟，就可能破坏控制周期的确定性。因此，航电存储的第一需求是时间确定性：读写操作的响应时间必须有上界，且该上界可分析、可测量。

第二是数据完整性。航电数据一旦损坏，可能导致错误告警、错误控制指令甚至任务失败。存储链路从介质、控制器到文件系统，都需要端到端校验。常见做法包括 NAND Flash 的 ECC、存储块的 CRC、文件级校验和，以及关键配置的双副本比对。第三是掉电安全与可恢复性。飞机上电、断电、复位频繁，文件系统必须保证在任意时刻掉电后，元数据不出现不可恢复的损坏，并能通过日志或事务机制回滚到一致状态。

第四是寿命与磨损管理。航电设备寿命常达 20 年以上，而 Flash 擦写次数有限。文件系统需要配合磨损均衡、坏块管理、写放大控制，避免某一块过早失效。第五是适航可验证性：存储与文件系统的设计、实现、测试证据必须能够支撑 DO-178C 等标准的审查，不能只靠“跑起来没问题”来证明安全。

二、适航标准约束

航电存储与文件系统的适航约束主要来自三类文件。第一类是DO-178C及其补充文件 DO-330、DO-331 等，关注机载软件生命周期过程：需求、设计、编码、验证、配置管理、质量保证。文件系统若属于机载软件的一部分，其需求必须可追溯，代码必须满足结构覆盖要求，验证必须覆盖正常与异常场景。

第二类是DO-254，针对复杂电子硬件。若存储控制器、Flash 管理逻辑以 FPGA/ASIC 实现，则需按 DO-254 进行设计保证。第三类是DO-160，关注环境条件与试验，包括温度、振动、电源特性、电磁兼容等。存储介质在极端温度下的保持特性、在电源瞬变下的写入完整性，都需要通过 DO-160 相关试验来验证。

此外，ARINC 653 定义了分区化航电软件的时空隔离要求。文件系统若被多个分区共享，必须考虑分区间的访问隔离与资源配额，避免一个分区的异常写入影响其他分区。这些标准共同构成航电存储设计的“约束边界”：不是先设计再补证据，而是从需求阶段就把确定性、完整性、可追溯性纳入架构。

三、课程知识地图与学习路径

本课程共 30 章，整体按“基础—机制—设计—验证—实践”递进。前几章建立存储介质、总线接口、文件系统基础概念；中段深入 Flash 管理、日志结构、掉电保护、磨损均衡、分区与配额；后段覆盖适航证据、测试方法、故障注入、性能分析与典型工程案例。学习路径建议：先理解介质与接口的物理约束，再掌握文件系统如何在这些约束下提供确定性服务，最后通过配置、测试与故障分析形成闭环能力。

下面的知识地图用一张 SVG 展示本课程的核心对象与关系：左侧是航电计算平台，中间是存储与文件系统的关键机制，右侧是适航约束与验证活动。图中同时标出后续章节将反复出现的参数与判断点，帮助你在学习每一章时都能回到整体框架。

四、从导论到实践：如何学习本课程

学习航电存储与文件系统，不能停留在“知道有 Flash、有文件系统”的层面。建议按以下方式推进：第一，每学一个机制，都问三个问题——它解决什么航电约束？它的输入输出是什么？失效时如何被发现和恢复？第二，动手做小实验。例如在开发板上用 SPI 读取 NAND Flash ID，观察坏块标记；或编写一个简单的日志写入程序，在写入过程中断电，再上电检查元数据是否一致。第三，建立参数意识。延迟、擦写次数、校验位宽、副本数量、恢复时间，这些参数不是孤立的，而是相互制约。

本课程的知识地图已经给出：左侧是平台与物理约束，中间是机制，右侧是适航与验证。你在学习每一章时，都可以把新知识挂到这张图上。当你能用自己的话解释“为什么航电文件系统不能直接照搬 Linux ext4”时，说明你已经建立了正确的认知框架。接下来，我们将从存储介质与接口的物理特性开始，逐步深入。