满足各种时间约束是实时嵌入式系统设计的一个重要目标。通常,时间约束要求实时系统在满足功能性需求的同时,还必须保证系统行为的......

中断驱动系统被广泛应用于安全关键的嵌入式系统中,如航空航天、工业过程控制等。这些系统对软硬件的可靠性要求极为苛刻,一旦出现......

中断驱动系统(Interrupt-driven System)被广泛应用于安全关键系统中,因而中断驱动系统的正确性保障尤为重要。此类系统通常使用操......

Interrupt-driven systems can be collapsed due to frequent NIC interrupts under heavy network traffic. To mitigate this p......

针对一类中断驱动系统提出了一种建模和模型检验的方法．该系统通常由中断处理程序和操作系统调度的任务组成，前者由中断源触发后处理......

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应......

实时嵌入系统被广泛用于安全关键系统中,这类系统一旦发生错误,将会造成重大的生命及财产损失,因此实时嵌入系统的可靠性保障至关......