摘要
本发明公开了一种基于功能模块的高安全软件调度方法,涉及民用飞机机载软件的领域,包括:构建包括序位、序列和调度的三级调度模型,并通过序位‑序列‑调度的层级结构,实现功能模块的精细化管理;采用基于相位的确定性调度算法,确保功能模块在指定周期和相位严格执行;设计高安全特性,包括静态资源校验与容错、模块化执行原子化与执行过程的确定性。本发明的优点在于:通过构建三级调度模型、采用基于相位的确定性调度算法以及设计高安全特性,实现了高效灵活的任务调度、静态配置校验与容错、模块化原子化执行,显著提升了机载软件调度的安全性、可靠性和可维护性。