名词解释
文章平均质量分 71
DarkChecking
这个作者很懒,什么都没留下…
展开
-
model checking
转自http://blog.csdn.net/myself_way/article/details/11108057 感谢转载 2014-10-23 21:46:14 · 752 阅读 · 0 评论 -
Reactive System
A reactive system is a system that responds (reacts) to external events.原创 2014-10-15 10:31:01 · 1432 阅读 · 0 评论 -
实时系统基本概念
实时系统(RTOS)是指能及时的扑捉到系统中事件触发或者数据变化,并依据相 关策略及时处理,之后能在时间约束内控制系统流程,并同步所有实时任务的操作 系统。Bamnote[46]给出过实时系统确切的定义,并指出时间性和高可靠性是实时系 统的两个主要性质。根据时间约束的严格程度,实时系统主要分为软实时和硬实时 两类: (1) 软实时是指系统负载超负荷时,在不对系统造成较大影响的情况下,允许原创 2015-09-13 15:05:48 · 1214 阅读 · 0 评论