-
ARINC653实时任务可调度性验证方法：技术深度解析与实现
在现代航空电子系统中，ARINC653标准扮演着至关重要的角色。它定义了一个分区操作系统（Partitioning Operating System, POS）的架构，旨在提高系统的模块化、可靠性和安全性。然而，在综合模块化航空电子系统（Integrated Modular Avionics, IMA）中，由于存在周期任务、非周期任务以及任务间的复杂依赖关系，传统方法难以准确验证其实时任务的可调度性。本文提出了一种基于Stopwatch时间自动机的ARINC653实时任务可调度性验证方法，并结合统计模型检验（Statistical Model Checking, SMC）与符号模型检验（Symbolic Model Checking, MC）来验证IMA系统的可调度性。
-
嵌入式实时操作系统设计及应用探讨
在传统的嵌入式实时操作系统中，内核和应用都运行在同一特权级，应用程序可以无限制的访问整个系统地址空间。因此在某些情况下，应用的潜在危险动作会影响其他应用和内核的
-
嵌入式实时操作系统设计探讨
在传统的嵌入式实时操作系统中，内核和应用都运行在同一特权级，应用程序可以无限制的访问整个系统地址空间。因此在某些情况下，应用的潜在危险动作会影响其他应用和内核的
-
嵌入式实时操作系统设计探讨
嵌入式实时操作系统设计探讨
巧克力娃娃
