VIP20
本课程属于：099-Green Hills INTEGRITY高可靠实时系统工程 嵌入式与底层系统 · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

INTEGRITY安全隔离系统架构与工程验证

共计 30 章节
可可资料掘金营 · 点击在线试看
01
INTEGRITY安全隔离系统概述
目标=定义 · 设计目标 · 核心安全属性（隔离性
INTEGRITY安全隔离系统概述
02
INTEGRITY微内核架构解析
目标=微内核基本结构 · 地址空间隔离机制 · 进程间通信（IPC）模型与内核对象管…
INTEGRITY微内核架构解析
03
安全隔离的硬件基础
目标=MMU与MPU的作用 · 内存保护单元配置 · 外设访问控制与DMA隔离机制
安全隔离的硬件基…MMU
04
INTEGRITY分区与调度机制
目标=时间分区 · 空间分区 · 分区调度表
INTEGRITY分区
05
INTEGRITY资源隔离策略
目标=CPU时间隔离 · 内存隔离 · I/O设备隔离与中断隔离的实现原理
INTEGRITY资源隔离策略
06
INTEGRITY安全通信机制
目标=安全IPC通道 · 数据流控制 · 共享内存隔离与跨分区通信安全策略
INTEGRITY安全通信机制
07
INTEGRITY安全启动与可信链
目标=安全引导流程 · 镜像签名验证 · 可信根建立与启动度量方法
INTEGRITY安全启动
08
INTEGRITY访问控制模型
目标=强制访问控制（MAC） · 能力机制 · 安全策略配置与策略执行点
INTEGRITY访问控制模型
09
INTEGRITY系统安全配置实战
目标=分区配置文件编写 · 资源分配表 · 安全属性设置与配置检查
INTEGRITY系统安全配置实战
10
INTEGRITY开发环境搭建
目标=工具链安装 · 目标板支持包 · 调试器连接与第一个安全分区程序
INTEGRITY开发环境搭建
11
INTEGRITY分区应用程序开发
目标=任务创建 · IPC调用 · 内存分配与安全API使用规范
INTEGRITY分区应用程序开发
12
INTEGRITY设备驱动隔离
目标=驱动运行在用户态 · 驱动分区化 · DMA安全与设备访问代理
INTEGRITY设备驱动隔离
13
INTEGRITY多核与虚拟化扩展
目标=多核分区调度 · 核间通信隔离 · 虚拟化支持与资源分区
INTEGRITY多核
14
INTEGRITY安全隔离系统威胁建模
目标=资产识别 · 攻击面分析 · STRIDE方法在分区系统中的应用
INTEGRITY安全隔离系统威胁…
15
INTEGRITY安全隔离常见攻击与防御
目标=侧信道攻击 · IPC攻击 · 分区逃逸与防御加固措施
INTEGRITY安全隔离常见攻击
16
INTEGRITY安全认证与标准符合性
目标=DO-178C · IEC 61508 · ISO 26262
INTEGRITY安全认证
17
INTEGRITY工程验证概述
目标=验证目标 · 验证计划 · 验证环境与验证生命周期
INTEGRITY工程验证概述
18
INTEGRITY单元测试与集成测试
目标=分区内测试 · IPC接口测试 · 测试桩与自动化测试框架
INTEGRITY单元测试
19
INTEGRITY安全隔离功能验证
目标=隔离性测试用例设计 · 分区边界测试 · 资源越界测试与结果分析
INTEGRITY安全隔离功能验证
20
INTEGRITY实时性能验证
目标=调度延迟测量 · IPC延迟 · 中断响应时间与最坏执行时间分析
INTEGRITY实时性能验证
21
INTEGRITY渗透测试与漏洞评估
目标=测试方法 · 工具使用 · 漏洞挖掘与安全加固验证
INTEGRITY渗透测试
22
INTEGRITY形式化验证方法
目标=模型检验 · 定理证明 · 静态分析与在分区隔离验证中的应用
INTEGRITY形式化验证方法
23
INTEGRITY故障注入与容错验证
目标=故障模型 · 注入工具 · 分区恢复与系统容错能力评估
INTEGRITY故障注入
24
INTEGRITY工程验证案例一
目标=航空电子分区系统验证——DO-…
INTEGRITY工程验证案例一
25
INTEGRITY工程验证案例二
目标=汽车安全隔离系统验证——ISO…
INTEGRITY工程验证案例二
26
INTEGRITY工程验证案例三
目标=工业控制系统安全隔离验证——I…
INTEGRITY工程验证案例三
27
INTEGRITY验证自动化与持续集成
目标=自动化测试脚本 · CI/CD流水线 · 回归测试与验证报告生成
INTEGRITY验证自动化
28
INTEGRITY安全隔离系统部署与运维
目标=现场部署 · 安全更新 · 监控审计与应急响应
INTEGRITY安全隔离系统部署
29
INTEGRITY安全隔离系统性能优化
目标=分区调度优化 · IPC优化 · 内存优化与实时性调优
INTEGRITY安全隔离系统性能…
30
INTEGRITY安全隔离系统综合实战
目标=从需求到验证的完整项目——设计 · 实现 · 测试与验证报告
INTEGRITY安全隔离系统综合…