Spartan6芯片μC/OS-Ⅱ的可抢占式嵌套中断控制方法

介绍了Spartan6芯片搭载MicroBlaze软核的硬件平台,以及集成了μC/OS-Ⅱ操作系统的软件平台;给出了在此软硬件平台上的可抢占、可嵌套的中断机制的实现方法;灵活地运用面向底层硬件代码与操作系统代码之间的参数传递,协调了中断处理与任务调度之间的关系。阐述了方案的原理,给出了程序流程图;通过试验,验证了可抢占、可嵌套的中断机制的正确性与可行性。

安全关键系统的栈空间分析研究

由于存储空间异常引起的系统故障,系统开发或维护人员很难从失效特征直接判断到根原因。另外,存储空间异常通常会引起整个系统崩溃,对于安全关键系统,如航空电子系统,系统的失效往往会引起坠机或人员伤亡,因此,对安全关键系统的空间分析显得尤为重要。由于系统栈空间的分析涉及系统动态运行状态,在程序的任意点都有可能被中断服务程序或实时操作系统的其它任务中断。此外系统的栈分析需要基于目标码等特性,再次增加了对于系统栈空间分析的难度。本文从栈空间分析的必要性出发,提出一种综合中断抢占图的栈分析理论和方法,并就安全关键系统如何保证栈空间使用的确定性进行论述。最后,就安全关键软件系统FCOS的栈空间分析过程进行详细的阐述。