实时系统基本概念

实时系统(RTOS)是指能及时的扑捉到系统中事件触发或者数据变化,并依据相 关策略及时处理,之后能在时间约束内控制系统流程,并同步所有实时任务的操作 系统。Bamnote[46]给出过实时系统确切的定义,并指出时间性和高可靠性是实时系 统的两个主要性质。根据时间约束的严格程度,实时系统主要分...

2015-09-13 15:05:48

阅读数 296

评论数 0

model checking

转自http://blog.csdn.net/myself_way/article/details/11108057 感谢

2014-10-23 21:46:14

阅读数 366

评论数 0

Reactive System

A reactive system is a system that responds (reacts) to external events.

2014-10-15 10:31:01

阅读数 739

评论数 0

形式化方法书目

形式化方向研究内容包含甚广,应用也涉及计算机科学的各个分支甚至是生物学领域。这里将逻辑基础、形式语义学、并发理论、软硬件验证等各个方面的书籍都包括在这个书目下。其中中文书籍较少,质量通常也较差,但是仍将它们包含进来。  1. Verification of Rea...

2014-10-15 10:14:16

阅读数 419

评论数 0

形式化验证技术

形式化验证就是基于已建立的形式化规格,对所规格系统的相关特性进行分析和验证,以评判系统是否满足期望的特性。形式化验证并不能完全确保系统的性能正确无误,但是可以最大限度地理解和分析系统,并尽可能地发现其中的不一致性、模糊性、不完备性等错误。形式化验证的主要技术包括模型验证和定理证明。 ...

2014-10-13 21:46:50

阅读数 6246

评论数 1

提示
确定要删除当前文章?
取消 删除
关闭
关闭