关于功能组状态（Function Group States）和模型进程（Modelled Processes）在AUTOSAR中的定义与动态性，需从系统设计阶段 和运行时行为两个层面理解：
1. 功能组状态是否预定义？
✅ 是预定义的（设计时固化）
- 功能组状态（包括机器状态）在系统配置阶段由开发人员明确定义，并写入状态管理（SM）的配置描述文件（如ARXML）。
- 这些状态构成有限状态机（FSM） ，例如：
Startup→Driving→Parking→Shutdown
状态间的转换条件和层级关系在设计时已确定。 - 例外：某些状态（如错误恢复状态）可通过扩展机制动态添加，但核心状态机骨架是静态的。
2. 模型进程是否固定不变？
⚠️ 分两种情况：
(1) 状态绑定的进程集合 → 设计时预定
- 每个功能组状态关联哪些建模进程 在配置时已声明（通过
ExecutionManifest文件）。
例如：Driving状态：绑定EngineControl、BrakeSystem、ADAS等进程Parking状态：绑定ParkingSensor、DisplayService等进程
- SM仅按配置请求进程启停，执行管理（EM）严格按此执行（如图7.2流程）。
(2) 进程实例的动态性 → 运行时可变
- 进程参数/行为可变 ：同一进程在不同状态下可能以不同配置运行（如
ADAS进程在Highway子状态启用全功能，在City子状态降级）。 - 条件激活 ：进程可通过
Conditional Startup机制在同一状态内 按需启停（如仅当电池电量>20%时启动HeatingSystem进程）。 - 错误处理 ：进程崩溃后可能被EM自动重启（取决于
PROTECTION属性配置）。
关键总结：
| 对象 | 是否预定义/固定 | 说明 |
|---|---|---|
| 功能组状态 | ✅ 设计时预定义 | 状态机结构在配置阶段固化 |
| 状态绑定的进程集合 | ✅ 设计时预定 | 每个状态激活哪些进程在Manifest中声明 |
| 进程运行时实例 | ⚠️ 动态可变 | 参数、条件启停、错误恢复等支持动态行为 |
💡 类比理解：
- 功能组状态 ≈ 地铁线路图（固定站点和路线）
- 模型进程 ≈ 列车班次（按时刻表发车，但实际运行时可能加减速/临时停靠）
- 状态管理（SM） ≈ 调度中心（严格按预定计划指挥列车进出站）