使用CADP开发的研究工具数据库

TTool(海龟工具包)

组织: 欧洲经济研究所

功能: 海龟(Real-timeuml)图的验证与仿真

使用的工具: 分布式过程的构造与分析
格拉夫维兹
RTL公司

期间: 2004-2012年

说明: 乌龟(定时UML和RT-LOTOS环境)是一个实时UML轮廓。海龟的翻译形式上是由语义学定义的进入RT-LOTOS。

海龟外形的正式验证和模拟由通过将海龟图转换为RT-LOTOS来实现TTool规范和使用RTL生成其可达性图,可以分析,验证和使用CADP最小化。

有关详细信息,请参阅TURTLE、TTool和DIPLODOCUS网页:
http://labsoc.comeec.enst.fr/TURTLE/
http://labsoc.comeec.enst.fr/TURTLE/ttoolindex.html
http://www.comeec.enst.fr/recherche/labsoc/projets/DIPLODOCUS.en

结论: TTool和CADP已成功地用于验证嵌入式系统和协议的几个案例研究。

出版物: [萨奎萨内斯-Apvrille-Lohr-Courtiat-04]Pierre de Saqui Sannes、Ludovic Apvrille、Christophe Lohr和让-皮埃尔·考迪亚特。“海龟:un pont entre UML et RT-LOTOS”。洛杉矶行动法国批准了援助计划2004年,贝桑松,法国)2004年6月16日至18日(法语)。
在线提供http://lifc.univ-fcomte.fr/afadl2004/textes/actes/Outils/o08.pdf
或从CADP网站PDF格式后记

[Apvrille-Courtiat-Lohr-SaquiSannes-04]卢多维奇·阿普维尔、让-皮埃尔·考迪亚特、克里斯托夫·洛尔和皮埃尔·德萨基·萨恩斯。TURTLE:一个由正式验证支持的实时UML概要文件工具箱”。IEEE软件工程学报,第30卷,第7期,第473-487页,2004年7月。
可从CADP网站在线获取PDF格式后记

【Fontan-Mota-SaquiSannes-Villemur-07号】本杰明·方丹、萨拉·莫塔、皮埃尔·德萨基·萨恩斯和蒂埃里·维勒穆尔。“安全组通信系统设计中的时间验证”。在Judie Mulholland和Octavio Nieto Taladriz的编辑中,2007年新兴安全信息、系统和技术安全软件国际会议记录(西班牙巴伦西亚),第175-180页,2007年10月。
可从CADP网站在线获取PDF格式后记

[Apvrille-08号]卢多维奇·阿普维尔。双焦点TTool:一个设计环境太空探索“第八届分布式系统新技术国际会议论文集第1-4页,2008年6月。
在线提供http://portal.acm.org/citation.cfm?id=1416729.1416764
或从CADP网站PDF格式后记

【Fontan-SaquiSannes-Apvrille-08号】本杰明·方丹(Benjamin Fontan)、皮埃尔·德萨基·萨恩斯(Pierre de Saqui Sannes)和卢多维奇·阿普维尔(Ludovic Apvrille)。“临时紧急情况综合观察者”。14国际会议语言和模型(LMO 2008)加拿大蒙泰尔2008年3月。
在线提供http://www.tsi.enst.fr/publications/enst/inproceedings-2008-7691.pdf
或从CADP网站PDF格式后记

[SaquiSannes-Apvrille-09号]皮埃尔·德萨基·萨恩斯和卢多维奇·阿普维尔。“进行正式核查适合实时UML实践者第12届会议记录欧洲可靠计算研讨会,EWDC 2009,图卢兹,法国,2009年5月。
在线提供http://hal.archives-ouvertes.fr/docs/00/38/19/49/PDF/rigorousedevelopment_2.PDF
从中的CADP网站PDF格式后记

[诺瑞克-Apvrille-Pacalet-10号]丹尼尔·克诺瑞克、卢多维奇·阿普维尔和雷纳德·帕卡莱。“正式系统级设计空间探索”。2010年第10届国际新技术会议论文集突尼斯,托泽尔。
在线可从http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5536852
从CADP网站PDF格式后记

[Apvrille-12号]卢多维奇·阿普维尔。“基于模型的复杂嵌入式系统设计”。通用汽车公司尼斯索菲亚安提波利斯,2012年11月。
在线可从http://perso.telecom-paristech.fr/~apvrille/文件/hdr\u la。pdf格式从CADP网站PDF格式后记

联系人:
卢多维奇·阿普维尔
ENST,实验室
欧洲经济研究所
英国石油193号,2229号克雷茨航线
06904索菲亚安提波利斯赛德斯
法国
电话:+33(0)4 93 00 27 74
传真:+33(0)4 93 00 26 27
电子邮箱:卢多维奇。apvrille@enst.fr



进一步说明: CADP网站上介绍了该工具:http://cadp.inria.fr/software


上次修改日期:2021年2月11日星期四12:23:11。


返回CADP研究工具页面