- 博客(5)
- 收藏
- 关注
原创 实时系统基本概念
实时系统(RTOS)是指能及时的扑捉到系统中事件触发或者数据变化,并依据相关策略及时处理,之后能在时间约束内控制系统流程,并同步所有实时任务的操作系统。Bamnote[46]给出过实时系统确切的定义,并指出时间性和高可靠性是实时系统的两个主要性质。根据时间约束的严格程度,实时系统主要分为软实时和硬实时两类:(1) 软实时是指系统负载超负荷时,在不对系统造成较大影响的情况下,允许
2015-09-13 15:05:48
1282
转载 model checking
转自http://blog.csdn.net/myself_way/article/details/11108057 感谢
2014-10-23 21:46:14
771
原创 Reactive System
A reactive system is a system that responds (reacts) to external events.
2014-10-15 10:31:01
1445
转载 形式化方法书目
形式化方向研究内容包含甚广,应用也涉及计算机科学的各个分支甚至是生物学领域。这里将逻辑基础、形式语义学、并发理论、软硬件验证等各个方面的书籍都包括在这个书目下。其中中文书籍较少,质量通常也较差,但是仍将它们包含进来。 1. Verification of Reactive Systems作者 : Klaus Schneider 出版社 : Sprin
2014-10-15 10:14:16
1204
转载 形式化验证技术
形式化验证就是基于已建立的形式化规格,对所规格系统的相关特性进行分析和验证,以评判系统是否满足期望的特性。形式化验证并不能完全确保系统的性能正确无误,但是可以最大限度地理解和分析系统,并尽可能地发现其中的不一致性、模糊性、不完备性等错误。形式化验证的主要技术包括模型验证和定理证明。模型检验1.概述模型检验是一种基于有限模型并检验该模型的期望特性的一种
2014-10-13 21:46:50
13061
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人