- 博客(380)
- 资源 (5)
- 收藏
- 关注
RSS订阅原创 【AUTOSAR COM Eth】Service Discovery (SD) 模块技术解析
分层架构：严格区分头部、条目、选项等数据结构，提高代码可维护性。状态机驱动：采用明确的状态机管理服务生命周期，确保逻辑清晰。安全增强：通过子网检查和选项冲突检测防止非法访问。资源管理：内存池和连接管理机制保障系统稳定性。事件驱动：与BSWM模块集成，实现状态变更的通知机制。模块在汽车以太网通信中发挥着基础性作用，其设计充分考虑了汽车电子系统的特殊需求。尽管存在IPv6支持不完整等局限，但通过合理的配置和优化，可以满足大多数车载场景的需求。
2025-06-12 12:15:00
709
原创 【AUTOSAR COM】XCP协议实现详解：从基础概念到核心代码解析
本实现展示了XCP协议的核心实现机制，通过模块化设计实现了协议的主要功能。支持更高速的传输介质（如CAN FD、Ethernet AVB）增强安全特性（AES加密、安全启动支持）集成OTA升级功能支持AUTOSAR自适应平台通过对代码的深入分析，我们可以更好地理解XCP协议的实现细节，为汽车电子系统的开发和调试提供有力支持。该实现方案在汽车标定领域具有广泛的应用价值，同时也为协议扩展和优化提供了良好的基础架构。本文中的源代码实现来源于小满开源项目。
2025-06-12 08:00:00
864
原创 【AUTOSAR COM】SecOC模块技术解析：车载安全通信的核心实现
SecOC模块作为AUTOSAR安全框架的核心组件，通过认证生成与验证机制有效保障了车载通信的安全性。模块化架构：清晰的接口设计可配置性：支持多种安全策略错误处理：完整的异常处理机制性能优化：位操作、零拷贝等优化诊断集成：与诊断模块的无缝对接安全参数配置缓冲区管理故障恢复机制与CSM模块的集成安全策略的动态调整通过合理配置和使用，SecOC模块能够有效防御车载网络中的常见安全威胁，为智能汽车的通信安全提供可靠保障。
2025-06-11 09:00:00
527
原创 【AUTOSAR COM】 DCM模块技术解析与应用实践
AUTOSAR DCM模块作为汽车诊断通信的核心组件，通过精心设计的架构和优化的实现，实现了高效可靠的诊断服务。从基础的会话控制到复杂的ECU刷写，模块在满足严格实时性要求的同时，提供了丰富的配置选项。开发者应深入理解其工作原理，在实际项目中充分发挥其性能优势。随着汽车电子架构的持续演进，DCM模块将在智能化、安全化方向持续进化，为下一代智能汽车提供更强大的诊断支持。本文中的源代码实现来源于小满开源项目。
2025-06-11 07:30:00
837
原创 【AUTOSAR COM】IPDUM模块技术解析：I-PDU复用与容器处理详解
IPDUM模块是AUTOSAR架构中实现I-PDU复用与容器化的核心组件，其主要功能包括： 多路复用：支持静态/动态复用机制，将多个I-PDU整合为单一复合PDU，提升通信效率 容器化传输：实现小型I-PDU的批量打包传输，优化总线负载 位级操作：内置位处理引擎，支持跨字节段的数据提取与合并 可靠传输：提供多种确认机制和错误检测功能 模块采用三级缓冲架构和环形队列管理，通过索引记录实现零拷贝数据处理。典型应用包括车载传感器信号复用和CAN FD容器化传输。IPDUM模块有效解决了传统车载通信中资源利用率低和
2025-06-10 10:00:00
1811
原创 Linux离线环境下安装Lean 4开发环境的完整指南
通过上述步骤，你已在离线Linux环境中成功安装了Lean 4开发环境，包括elan工具链管理器、Lean 4二进制包和VS Code集成插件。这种安装方式不依赖网络连接，适合在受限环境中进行形式化验证和定理证明工作。
2025-06-10 09:51:14
757
原创 【AUTOSAR COM】COM模块技术解析与应用实践
AUTOSAR COM模块作为汽车通信栈核心，实现跨ECU信号路由与协议转换。其架构分层设计，包含I-PDU和Signal两类实体，支持多种传输模式与过滤机制。模块通过标准化API管理初始化、发送接收流程及状态机转换，处理信号打包/解包、网关转发等核心功能。关键数据结构包括配置数据、类型专用缓冲区及运行时状态跟踪，实现高效通信管理。发送流程涉及信号打包与PDU组装，接收流程包含数据解析与转发。状态机管理DIRECT/MIXED/PERIODIC三种模式，网关机制支持多播与类型转换。定时器处理确保通信时效性，
2025-06-10 07:30:00
630
原创 【AUTOSAR COM PDUR】 PDU路由器模块（PduR）技术解析
AUTOSAR PDU路由器(PDUR)技术解析 PDUR是AUTOSAR通信栈的核心中间件，负责模块间数据路由与协议转换。其核心功能包括： 多协议路由：支持CAN/LIN/FlexRay等总线的跨模块通信，提供TP路由（长帧重组）和接口路由（实时转发）两种模式 网关处理：实现多总线间数据转发，含触发传输（缓存转发）和直接传输两种机制 状态管理：通过PDUR_Status状态机（UNINIT/ONLINE）控制模块生命周期，独立管理各路由路径启用状态 缓冲区机制： 传输缓冲区：支持多级FIFO队列和元数据存
2025-06-09 08:30:00
919
原创 【AUTOSAR COM Eth】EthSM模块技术解析
EthSM模块是AUTOSAR架构中的以太网状态管理单元，负责协调以太网接口、TCP/IP协议栈和通信管理模块之间的状态转换。其核心功能包括通信模式管理、状态同步和多级状态机维护。模块采用6个主状态和7个子状态的分层设计，通过初始化函数重置运行时数据，处理ComM发起的通信请求（NO_COMMUNICATION/SILENT_COMMUNICATION/FULL_COMMUNICATION），并协调底层硬件与协议栈状态。关键数据结构包括运行时状态记录（控制器模式、收发器状态等）和网络配置映射，实现多通道并发
2025-06-09 07:30:00
492
原创 【Autosar COM】Marvell 88Q5050 以太网交换机驱动技术解析
本驱动实现了对Marvell 88Q5050交换机的全面控制，通过模块化设计满足AUTOSAR规范要求。增加DMA加速机制提升大数据量处理性能实现TSN（时间敏感网络）特性支持引入异步通知机制替代轮询操作增强安全特性，如MACsec支持该驱动架构为车载以太网交换机控制提供了可靠基础，其设计思想可推广到其他车载网络控制器开发中。随着车载网络技术的演进，驱动需持续迭代以支持新特性与更高通信速率需求。
2025-06-08 13:46:37
983
原创 汽车车载软件平台化项目规模颗粒度选择的一些探讨
本文探讨了汽车车载软件平台化项目的规模颗粒度评价与选择策略。首先定义了车载软件平台化的核心目标（解耦软硬件依赖、提升复用效率等），并系统分析了从系统级（整车架构）、域级（功能域）到模块级（具体功能单元）的三层颗粒度划分。通过某座舱APP跨平台研发案例，阐释了如何评估项目是否属于平台化范畴及颗粒度合理性。最后提出平台化设计的最佳实践：自顶向下规划、清晰接口定义、平衡通用性与定制化等。文章指出，合适的颗粒度取决于复用范围和生态扩展潜力，建议车企根据发展战略灵活选择不同层级的平台化方案。
2025-06-08 13:45:30
1115
原创 【AUTOSAR COM CAN】 CanTrcv模块的实现与应用解析
本文详细解析了AUTOSAR规范下的CanTrcv模块实现。该模块作为CAN通信栈的物理层管理核心，具备收发器模式管理、唤醒处理、电源管理等关键功能。文章从数据结构、关键函数、诊断机制三方面进行深入分析，重点剖析了初始化流程、模式切换机制和错误处理流程。同时提供了实际项目中的配置指南和调试技巧，包括电源管理场景应用、内存分区配置等。最后探讨了该模块的未来发展方向，如支持CAN FD、网络安全增强等。通过规范化的设计与实现，CanTrcv模块为车载网络系统提供了稳定可靠的物理层支持。
2025-06-08 07:00:00
639
原创 【AUTOSAR COM CAN】CAN接口模块（CanIf）实现详解与应用实践
AUTOSAR Classic Platform的CanIf模块是CAN通信栈核心中间件，位于ECU抽象层，连接上层协议与底层驱动。它实现控制器管理、PDU通道控制、数据传输（标准/扩展帧和CAN FD）、动态ID支持、缓冲管理等功能。模块采用标准化接口设计，包含状态管理机、双层缓冲机制和硬件对象映射。工作流程涵盖初始化、发送/接收处理、状态机管理等关键环节。配置结构支持功能裁剪，状态设计遵循AUTOSAR规范，缓冲区管理实现高效数据传输。实际应用中支持多控制器并发管理和动态配置。该模块通过软硬件解耦设计，
2025-06-07 10:30:00
1467
原创 【AUTOSAR COM CAN】CanTSyn模块技术解析
本文详细剖析了AUTOSAR经典平台中的CanTSyn时间同步模块。该模块采用主从架构，通过CAN总线实现微秒级时间同步，支持16个独立时间域和多种消息类型（SYNC/FUP/OFS/OFNS）。文章从规范解析入手，梳理了核心数据结构和工作流程，包括初始化、主循环处理、消息收发机制等关键技术细节。重点分析了时间同步算法、CRC校验机制等关键函数实现，并给出实际项目配置示例。CanTSyn模块在ADAS系统、动力总成控制等场景中发挥着重要作用，通过严格的状态管理和容错机制确保分布式ECU的高精度协同工作。
2025-06-07 08:45:00
771
原创 【AUTOSAR COM】E2E的不同profiles的含义以及应用
例如，对于对数据准确性要求较高、数据量较大的场景，可以选择Profile 04或Profile 07等采用较长CRC和计数器的Profile；而对于资源有限、对实时性要求较高的场景，可能Profile 01或Profile 02等较为简单的Profile更为合适。在AUTOSAR CP中，E2E（End - to - End）有不同的E2E Profile，每个Profile都定义了一套特定的数据保护与校验机制，以满足不同的应用需求。为了更直观地理解 E2E Profile 是如何工作的，我们以。
2025-06-06 16:31:56
1091
原创 【AUTOSAR COM CAN】CanSM模块的实现与应用解析
AUTOSAR CanSM模块是经典平台中CAN通信的状态管理核心组件，主要功能包括：1）在ComM与CanIf之间建立通信状态映射；2）维护CAN网络状态机生命周期；3）处理总线关闭（Bus Off）恢复等异常。关键实现包含层次化状态机（含UNINIT/NO_COM/PRE_FULL/FULL_COM等状态）、基于配置表的网络管理、Bus Off恢复机制和波特率动态切换功能。模块通过主函数轮询、状态转换引擎和控制器模式协同机制，确保通信模式切换的原子性。典型流程涉及ComM请求→CanSM状态转换→Can
2025-06-06 10:00:00
1065
原创 【AUTOSAR COM CAN】 CanTp模块技术解析与实现分析
文章摘要 AUTOSAR架构中的CanTp模块负责CAN通信协议数据单元(PDU)的传输适配，主要功能包括数据分段重组、流量控制和错误处理。协议规范要求支持单帧/多帧传输、BS/STmin参数调节及NRC 78响应机制。模块采用双层状态机管理传输过程，通过双缓冲区设计实现动态地址扩展，并复用定时器结构处理超时事件。核心工作流程涵盖单帧/多帧的发送与接收处理，发送需经历状态检查、通道分配等5个阶段，接收则通过帧类型识别和状态机分支处理。关键函数实现包括初始化保护、传输启动逻辑及流量控制机制。该设计满足ISO
2025-06-06 08:30:00
966
原创 【AUTOSAR SystemServices】AUTOSAR CP中通信管理模块（ComM）技术解析
AUTOSAR通信管理模块(ComM)核心技术解析 通信管理模块(ComM)是AUTOSAR架构中协调车辆通信系统的核心组件，具备以下关键特性： 多模式管理：支持NO_COM/SILENT_COM/FULL_COM三种通信模式转换，通过状态机实现最小通信时间保障机制 资源仲裁机制：采用优先级队列处理BSW/SWC的通信请求，支持直接通道和间接PNC映射两种关联方式 网络协同控制：与Nm/EcuM模块深度集成，实现网络启动指示、总线睡眠唤醒等关键功能 高效状态管理：通过位域操作和配置结构体优化存储访问效率，支
2025-06-05 10:30:00
887
原创 【AUTOSAR COM CAN】CanNm模块的技术实现与应用解析
AUTOSAR经典平台网络管理模块解析 摘要：本文详细分析了AUTOSAR经典平台的网络管理（CanNm）模块实现，主要内容包括： 功能规范：遵循ISO标准实现网络状态管理、睡眠唤醒协调、消息传递控制等核心功能 数据结构：解析全局状态管理结构、配置数据结构和状态机定义 工作流程：阐述状态机迁移机制、定时器管理、消息收发处理等关键流程 函数实现：重点讲解初始化函数、状态机处理、定时器管理等核心函数 该模块通过精细的状态机设计和严格的定时器管理，确保汽车电子系统网络通信的可靠性和低功耗特性。
2025-06-05 09:00:00
1017
原创 【AUTOSAR SystemServices】AUTOSAR CP中诊断事件管理模块（DEM）技术解析
诊断事件管理模块（DEM）是AUTOSAR架构中的核心诊断组件，主要负责车辆电子系统的故障监控和状态管理。该模块通过标准化接口实现事件生命周期管理、故障检测算法、存储条件控制和诊断数据服务等功能。关键数据结构包括事件状态信息结构体（Dem_EventRelateInformationType）、配置结构体（Dem_ConfigType）以及状态标志操作宏。初始化流程采用分阶段加载策略，确保NV数据与运行时状态的一致性。事件处理机制采用条件编译优化代码体积，并通过函数指针矩阵实现差异化处理。主监控循环采用模块
2025-06-04 11:30:00
816
原创 【AUTOSAR SystemServices】AUTOSAR CP中Watchdog Manager模块技术解析
本文深入解析了AUTOSAR中的Watchdog Manager模块实现。该模块通过多层次监督机制（Alive/Deadline/Logical Supervision）确保系统安全运行，具备动态模式切换和分级故障处理能力。 关键实现包括： 数据结构设计：包含监督实体状态结构体（实时状态维护）、监督配置结构体（支持模式切换）和全局状态信息（系统级监控） 核心流程优化：初始化采用事务性设计，检查点处理通过条件编译优化，主监控循环采用流水线式并行处理 监督机制实现：Alive监督采用滑动窗口算法，Deadlin
2025-06-04 07:30:00
840
原创 【AUTOSAR OS】资源以及资源管理原理与实现解析
AUTOSAR资源管理机制解析 资源（Resource）是AUTOSAR中实现任务/中断间共享资源互斥访问的核心机制，通过资源控制块（RCB）记录资源状态。关键特性包括： 互斥访问：采用优先级天花板协议防止优先级反转 层次化管理：通过TCB/ICB中的资源栈确保LIFO释放顺序 安全控制：包含访问权限验证和时间保护监控 实现要点： 获取资源时提升任务优先级至天花板优先级 释放时严格校验栈顶匹配并恢复原优先级 支持多核场景下的资源隔离配置 该机制有效保障了临界资源的安全访问，是AUTOSAR实时系统的关键基础
2025-06-03 11:45:00
2755
原创 【AUTOSAR OS】调度表管理模块深度解析
本文深入解析AUTOSAR OS调度表的实现机制。调度表通过预定义到期点序列控制任务激活时序，支持周期性执行、多核协同和容错处理。核心数据结构包括调度表控制块（STCB）、配置结构和到期点动作。关键函数涵盖初始化、启动、到期点处理及链表管理，采用O(n)时间复杂度。以发动机控制为例展示配置与使用方式，并探讨显式同步、时间容错等高级特性。最后提出EP数量控制、链表优化等性能建议，为汽车ECU时间触发系统开发提供参考。
2025-06-03 09:00:00
1126
原创 【AUTOSAR OS】事件机制解析：定义、实现与应用
AUTOSAR CP中的Event机制通过事件标志位实现任务同步与异步通知。核心数据结构包括事件控制块（记录已设置/等待事件）、访问掩码（权限控制）及全局事件数组。关键函数涵盖事件初始化、设置/等待/清除/查询操作，通过位运算和调度策略实现任务唤醒。典型应用如传感器数据处理中ISR触发任务执行。量产常见问题包括权限漏洞（需访问控制）、任务饥饿（建议增加超时机制）及多核同步延迟（需优化核间通信）。该机制有效平衡实时性与资源效率。
2025-06-02 10:15:00
1308
原创 【AUTOSAR SystemServices】深入解析StbM模块：功能定义、工作原理与代码实现
STBM模块：AUTOSAR同步时基管理核心解析 STBM（同步时基管理器）是AUTOSAR标准中实现车载系统时间同步的关键模块，主要功能包括： 时间基准管理：支持全局时基、偏移时基和纯本地时基三种类型，通过StbM_SetGlobalTime和StbM_SetOffset实现主从节点同步。 校正机制：采用偏移校正和速率校正算法（PPM级精度）补偿时钟偏差，确保多ECU时间一致性。 事件处理：监控时间跳变和超时事件，通过回调机制通知上层应用。 典型应用：用于CAN/Ethernet总线同步、时间触发调度及诊
2025-06-02 09:00:00
875
原创 【AUTOSAR OS】计数器Counter机制解析：定义、实现与应用
AUTOSAR CP平台中的计数器（Counter）是实现时间管理的核心组件，提供时间基准、报警触发和调度控制功能。通过硬件/软件计数器配置结构体（Os_CounterCfgType）和控制块（Os_CCBType）实现时间计量，支持tick级精度（如1ms）。关键函数包括计数器初始化、计数值计算（含溢出处理）、时间差计算和硬件计数器递增等操作。典型应用如发动机ECU的燃油喷射控制，通过配置10ms周期报警实现精确时序管理。量产中需注意计数器精度问题，建议采用硬件计数器避免误差累积。该机制为汽车电子系统提供
2025-05-31 09:00:00
851
原创 【AUTOSAR OS】栈监控机制：原理、实现与量产挑战
栈监控是AUTOSAR OS实现功能安全的关键机制，通过初始化填充边界检测和错误响应构建了完整的防护体系。在量产应用中，需特别注意栈空间规划检测策略优化和错误处理流程健壮性，以平衡系统安全性与性能。未来，结合机器学习的动态栈预测技术可能成为新的发展方向，进一步提升系统可靠性。
2025-05-31 08:00:00
1098
原创 【AUTOSAR OS】内存保护模块技术解析
摘要 Os_Mprot.c模块是AUTOSAR CP平台中实现内存保护的核心组件，通过硬件与软件协同机制保障系统资源安全访问。主要功能包括：1）基于应用信任级别（可信/非可信）的权限控制，限制任务/中断对RAM、Flash的读写权限；2）栈空间隔离机制，防止任务间非法访问栈内存；3）多核环境适配，禁止跨核心访问。关键技术涉及内存管理单元（MMU）配置、栈空间交叉检查算法及核心ID校验。典型场景如非可信任务访问受保护区域时，模块通过权限校验与错误钩子触发实现防护。该设计有效防止内存越界与非法访问，确保系统稳定
2025-05-30 11:00:00
1041
原创 【AUTOSAR OS】自旋锁（Spinlock）机制深度解析：从本质到代码实现
自旋锁通过原子状态标志中断控制与嵌套管理，在AUTOSAR OS中实现了高效的多核互斥。其数据结构与函数设计严格遵循实时系统规范，适用于短临界区场景，为汽车电子的功能安全（如ISO 26262）提供了基础保障。通过与服务保护、时序保护的协同，自旋锁成为AUTOSAR CP中资源管理的核心机制之一。
2025-05-30 09:15:00
588
原创 【AUTOSAR OS】报警Alarm机制解析：定义、实现与应用
Alarm机制在AUTOSAR CP中通过计数器实现定时触发功能，支持任务调度与系统监控。其核心包括Alarm控制块、计数器及回调函数配置，通过双向链表管理报警队列。关键函数实现报警的初始化、设置、插入和触发处理，如周期性调用传感器数据采集。实际应用中需优化队列效率、处理计数器精度误差等问题，确保时序精确性。该机制广泛用于汽车ECU等实时系统，典型场景如发动机控制中的周期性任务管理。
2025-05-29 12:00:00
531
原创 【AUTOSAR SystemServices】深入解析功能抑制管理器（FiM）：定义、原理与代码实现
功能抑制管理器（FiM）技术解析 功能定义：FiM是AUTOSAR中管理功能执行权限的核心模块，基于诊断事件（Dem）或组件故障状态动态控制功能（FID）执行。其通过预定义抑制配置实现故障响应、测试模式控制等功能，确保系统安全可靠运行。 工作原理： 配置结构：包含函数列表、抑制配置、汇总事件等，通过抑制掩码关联事件与FID权限逻辑 权限评估：支持触发模式（Dem主动通知）和轮询模式（周期性检查），根据事件状态（如测试失败TF、未完成测试TNCTOC）动态更新FID权限 状态管理：采用抑制计数器机制，当条件满
2025-05-29 10:10:32
555
原创 【AUTOSAR OS】任务以及任务管理的实现与解析
文章摘要 AUTOSAR经典平台中的Task（任务）是操作系统调度的基本单元，通过优先级驱动实现功能模块的执行。其核心特性包括抢占式调度、状态管理、资源隔离及安全支持。关键数据结构包括任务控制块（TCB）（记录任务状态、优先级等）、任务配置结构体（存储静态配置）和就绪队列（管理任务调度顺序）。核心函数如Os_InitTask()初始化任务栈和状态，ActivateTask()激活任务并触发调度，TerminateTask()终止任务并检查资源释放。这些机制共同确保实时性与可靠性，满足汽车电子系统的功能安全需
2025-05-29 07:45:00
658
原创 SQLite软件架构与实现源代码浅析
SQLite 是一个轻量级、无服务器的嵌入式数据库引擎，采用模块化分层架构设计。其核心由前端（SQL解析与查询优化）、执行引擎（VDBE虚拟机执行字节码）和存储引擎（B树管理数据）三大组件组成。SQL查询处理流程包括SQL文本解析、查询规划优化、VDBE字节码生成与执行。存储引擎通过B树、分页管理和日志机制确保数据一致性。SQLite支持扩展功能如虚拟表、自定义函数和排序规则，具备跨平台特性。该架构实现了从高级SQL接口到低级存储的清晰分离，保证了高效稳定的运行。
2025-05-28 22:01:48
965
原创 【AUTOSAR OS】 保护功能解析：从原理到应用与源代码解析（下篇）
本文解析了AUTOSAR OS安全保护模块（Os_Sprot.c）的核心功能与实现，包括可信函数调用管理、服务保护机制和时序保护功能。重点分析了5个关键函数： Os_InitTrustedFunction() - 初始化可信服务环境，配置多核参数与嵌套队列 CallTrustedFunction() - 执行跨应用可信调用，包含参数校验、多核隔离与嵌套管理 Os_IgnoreService() - 在中断禁止等异常上下文中屏蔽敏感服务 Os_AddressWritable() - 通过内存范围检查防止非法写
2025-05-28 21:46:06
658
原创 【AUTOSAR OS 】保护功能解析：从原理到应用与源代码解析（上篇）
AUTOSAR OS为汽车电子系统提供多重保护机制，确保安全性和实时性。其核心技术包括可信函数调用（通过静态配置和上下文隔离实现跨应用安全通信）、服务保护（通过上下文验证、内存地址检查和中断状态感知防止非法操作）以及时序保护（利用WCET分析和运行时监控保障任务执行确定性）。在多核环境下，还扩展了核心隔离和分布式配置功能。这些机制通过静态与动态相结合的防护，有效解决了车载系统面临的安全性、实时性和可靠性三大核心挑战，为自动驾驶等复杂场景提供了坚实基础。
2025-05-28 21:43:44
678
原创 【AUTOSAR OS】时间保护（Timing Protection）概念、应用与实现源代码解析（下篇）
本文基于开源小满项目，详细分析了AutoSAR CP中时间保护机制的实现原理。主要围绕Os_TmProtMainProc函数展开，该函数包含三个核心功能模块：任务时间保护、资源锁定时间保护和中断时间保护。通过分析Os_TmProtTaskProc函数，揭示了任务运行状态下的时间预算检查机制，包括执行时间、中断锁定时间等监控策略。重点研究了Os_TmProtTaskCounter函数，该函数实现了具体的时间保护检查逻辑，当任务执行时间超过预设预算时触发保护钩子函数。文章还解析了资源锁定的时间保护实现Os_Tm
2025-05-27 23:10:12
873
原创 【AUTOSAR OS】时间保护（Timing Protection）概念、应用与实现源代码解析（上篇）
摘要： 本文介绍AUTOSAR CP协议栈中的时间保护机制，通过任务执行时间约束、共享资源锁定时间控制、中断禁止时间限制、任务激活间隔保护及中断间隔管理，确保系统实时性。上篇解析概念与伪代码实现，下篇结合开源方案展示具体代码。该机制通过WCET分析、优先级调度、天花板协议等多层协同设计，保障关键功能（如CAN通信）的时间确定性，满足汽车高安全性需求。
2025-05-27 23:08:25
887
原创 【SPIN】PROMELA 通道（Channels）（SPIN学习系列--8）
通道是分布式系统建模中的核心组件，用于模拟进程间的消息传递。PROMELA 中的通道支持发送和接收操作，分为同步通道和缓冲通道。同步通道要求发送方和接收方同时就绪，适用于严格的请求-响应场景；缓冲通道则允许消息暂存，支持异步通信，适用于高并发场景。通道的声明、初始化、发送与接收操作均有特定语法，且支持高级功能如随机接收、有序发送、消息复制和轮询接收。选择通道类型时需根据通信模式、状态空间和适用场景进行权衡。
2025-05-21 10:45:00
578
原创 【SPIN】PROMELA数据与程序结构详解（SPIN学习系列--7）
PROMELA是一种专为系统建模设计的语言，主要用于通过状态空间搜索验证系统正确性。其模型通常较小，但行为复杂，依赖SPIN进行模型检查。PROMELA不支持函数、类等高级结构，而是通过数组、类型定义、宏和内联声明来组织数据和代码。数组仅支持一维，可通过循环或非确定性方式初始化；类型定义用于创建复合类型，如消息结构或模拟多维数组；预处理器支持文件包含、宏定义和条件编译；内联声明则用于代码重用，类似于宏但语法更友好。这些特性使PROMELA能够有效建模复杂并发系统，但需注意数组越界、内存占用和文本替换的副作用
2025-05-20 20:27:25
968
原创 【SPIN】高级时序规范（SPIN学习系列--6）
本文介绍了线性时序逻辑（LTL）中的时序操作符及其简化规则，重点讨论了锁存属性（<>[]A）、无限次出现（[]<>A）和优先级属性（¬B U A）的应用。通过Peterson算法的示例，展示了如何使用U操作符描述“一次有界超越”的并发行为。文章还提到SPIN工具中的操作符结合性和抗颤动性要求，强调了在并发系统验证中合理使用时序逻辑公式的重要性。最后，总结了高级时序规范在描述复杂系统属性中的应用及其在SPIN中的实现注意事项。
2025-05-20 20:13:23
498
航空航天领域IMA与AFDX在A-17‘Zephyr’飞机构建中的集成架构设计及其网络系统实现研究
2025-01-24
信息安全：不可饶恕的安全漏洞及其评估指标
2024-11-04
Think DSP_ Digital Signal Processing in Python
2017-01-08
pyspark如何实现树层次结构的深度遍历
2023-07-25
TA创建的收藏夹 TA关注的收藏夹
TA关注的人