当前时区为 UTC + 8 小时



发表新帖 回复这个主题  [ 8 篇帖子 ] 
作者 内容
1 楼 
 文章标题 : 系统建模与验证工具 - Uppaal
帖子发表于 : 2007-06-12 13:49 
头像

注册: 2006-04-08 22:07
帖子: 250
送出感谢: 0 次
接收感谢: 0 次
Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).

非常好的工具,声明与函数定义语法基本与C语言想同,查询语句为CTL语法,提供GUI和CLI两种界面,核心算法采用C++,支持Linux、windows、MacOS 等各种平台。


http://www.uppaal.com/


附件:
文件注释: Verification
uppaal4.png
uppaal4.png [ 22.19 KiB | 被浏览 1470 次 ]

文件注释: Simulation
uppaal2.png
uppaal2.png [ 62.76 KiB | 被浏览 1470 次 ]

文件注释: Modeling
uppaal1.png
uppaal1.png [ 46 KiB | 被浏览 1429 次 ]



_________________
An Addicted KDE User
页首
 用户资料  
 
2 楼 
 文章标题 :
帖子发表于 : 2007-06-12 19:26 

注册: 2007-05-21 11:30
帖子: 207
送出感谢: 0 次
接收感谢: 0 次
:shock: 状态机模型?


页首
 用户资料  
 
3 楼 
 文章标题 :
帖子发表于 : 2007-06-12 19:27 
头像

注册: 2005-08-14 21:55
帖子: 58428
地址: 长沙
送出感谢: 4
接收感谢: 272
作什么的?能吃饭不


_________________
● 鸣学


页首
 用户资料  
 
4 楼 
 文章标题 :
帖子发表于 : 2007-06-13 19:19 
头像

注册: 2007-04-23 17:40
帖子: 659
送出感谢: 0 次
接收感谢: 0 次
谢,去look


_________________

吾生也有涯,而知也无涯,以有涯随无涯,SB啊~~~~~~~~~~


页首
 用户资料  
 
5 楼 
 文章标题 :
帖子发表于 : 2007-06-15 12:36 
头像

注册: 2006-04-08 22:07
帖子: 250
送出感谢: 0 次
接收感谢: 0 次
eexpress 写道:
作什么的?能吃饭不


模型验证。

举例: 电梯模型 至少应该满足以下下两个性质:

1. 如果有人在第n层按下了向上(或向下)箭头,那么最终他会得到服务;
2. 如果有人在第n层申请服务,那么电梯不应该在未响应此服务前经过(traverse)第n层。

用uppaal建模可以验证在你的模型里这些性质是否成立并追踪其状态迁移轨迹。 对大多数问题,由于计算量太大手工进行几乎不可能。

网上流传的4人打手电过桥问题也可用此工具建模并验证。

在网络协议里也有一些应用。


_________________
An Addicted KDE User


页首
 用户资料  
 
6 楼 
 文章标题 :
帖子发表于 : 2007-06-15 20:34 
头像

注册: 2006-05-03 0:39
帖子: 8273
地址: المريخ
送出感谢: 0 次
接收感谢: 1
houdini 写道:
eexpress 写道:
作什么的?能吃饭不


模型验证。

举例: 电梯模型 至少应该满足以下下两个性质:

1. 如果有人在第n层按下了向上(或向下)箭头,那么最终他会得到服务;
2. 如果有人在第n层申请服务,那么电梯不应该在未响应此服务前经过(traverse)第n层。

用uppaal建模可以验证在你的模型里这些性质是否成立并追踪其状态迁移轨迹。 对大多数问题,由于计算量太大手工进行几乎不可能。

网上流传的4人打手电过桥问题也可用此工具建模并验证。

在网络协议里也有一些应用。
最终还是要通过数学方法来证明……


_________________
PHP是最好的语言!不服来战!


页首
 用户资料  
 
7 楼 
 文章标题 :
帖子发表于 : 2007-11-21 21:09 
头像

注册: 2007-05-27 20:29
帖子: 630
送出感谢: 0 次
接收感谢: 0 次
我们学校就用这个工具教学的。
因为……这个工具就是我们学校教研组开发的 :lol:


页首
 用户资料  
 
8 楼 
 文章标题 :
帖子发表于 : 2008-03-24 14:44 

注册: 2008-03-24 14:39
帖子: 1
送出感谢: 0 次
接收感谢: 0 次
请问:UPPAAL可以在哪里下载?


页首
 用户资料  
 
显示帖子 :  排序  
发表新帖 回复这个主题  [ 8 篇帖子 ] 

当前时区为 UTC + 8 小时


在线用户

正在浏览此版面的用户:没有注册用户 和 3 位游客


不能 在这个版面发表主题
不能 在这个版面回复主题
不能 在这个版面编辑帖子
不能 在这个版面删除帖子
不能 在这个版面提交附件

前往 :  
本站点为公益性站点,用于推广开源自由软件,由 DiaHosting VPSBudgetVM VPS 提供服务。
我们认为:软件应可免费取得,软件工具在各种语言环境下皆可使用,且不会有任何功能上的差异;
人们应有定制和修改软件的自由,且方式不受限制,只要他们自认为合适。

Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
简体中文语系由 王笑宇 翻译