×

克洛诺斯

swMATH ID: 1270
软件作者: Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine
描述: KRONOS是一种旨在验证复杂实时系统的工具。实时系统是必须在严格的时限内执行任务的系统。嵌入式控制器、电路和通信协议就是此类时间相关系统的示例。这些系统通常是复杂的安全关键应用程序的一部分,例如飞机航空电子设备,这些应用程序很难设计和分析,但必须确保其正确行为,因为故障可能会产生严重后果。因此,需要对实时系统进行严格建模和指定,以便能够正式证明其相对于所需需求的正确性。在KRONOS中,实时系统的组件由时间自动机建模,正确性要求用实时时序逻辑TCTL表示。
主页: http://www-verimag.imag.fr/DIST-TOOLS/TEMPO/kronos/
操作系统: Linux、Windows、Solaris
关键词: 实时系统;时间自动机;时间时序逻辑;验证
相关软件: Uppaal公司;高超声速;自旋蛋白;IF-2.0型;Uppaal2k公司;CMC公司;PVS公司;棱镜;兔子;莫德;TINA公司;CADP公司;罗密欧;NuSMV公司;日/日;税收;UPPAAL TIGA公司;ASTRAL公司;重新校准;速度
引用于: 246文件
全部的 前5名

被427位作者引用

12 帕特里夏·鲍耶
12 金·古德斯特兰·拉森
9 奥德·马勒
9 王法恩
7 Marta Z.Kwiatkowska。
7 沃伊切赫·彭泽克
7 塞尔吉奥·尤文
6 当、哲
6 尼古拉斯·马基
6 何塞·梅塞盖尔·瓜伊塔
6 格钦·诺曼
6 Peter Csaba,Olveczky
5 尤金·亚萨林
5 马吕斯·博兹加
5 维克托·布拉伯曼
5 Thao Dang先生
5 鲁道夫·戈麦斯
5 阿尔弗雷多·奥利维罗
5 Półrola,阿加塔
5 奥坎·桑库尔
5 杰里米·斯普洛斯顿
5 斯塔夫罗斯·特里帕基斯
4 拉杰夫·阿鲁尔
4 贝拉德,贝特里奇
4 弗兰克·卡塞兹
4 苏珊娜·格拉芙
4 理查德·凯默勒(Richard A.Kemmer)。
4 弗朗索瓦·拉鲁西尼
4 杰斯珀·莫勒。
4 彼得·尼伯特
4 奥利维尔·鲁克斯。
4 巴拉古鲁·斯里瓦桑
4 易、王
帕罗什·阿齐兹·阿卜杜拉
安徒生、亨利克·雷夫
桑迪·巴拉格
霍华德·鲍曼
托马斯·查泰恩
兰斯·克莱维兰
亚历山大·戴维
海宁·迪尔克斯
塞巴斯蒂安·恩格尔
乌里·法伦贝格
劳伦·弗里堡
托马斯·亨辛格(Thomas A.Henzinger)。
弗雷德里克·赫布雷托
亨利克·胡尔加德
李宣东
乔尔·欧·瓦克宁。
卡琳·夸斯
Jean-François拉斯金
约瑟夫·西法基斯
吉·斯尔巴
奥拉夫·斯特斯伯格
Vaandrager,Frits W。
詹姆斯·沃雷尔。
于、方
赵建华
郑国良
2 亚斯米娜·阿卜杜达伊姆
2 卢卡·埃特罗
2 穆罕默德·阿卜杜拉希·阿兹戈米
2 约翰·本特森
2 卢卡·本维努蒂
2 德克·拜尔
2 哈尼法·布切内布
2 达里奥·坎帕尼亚
2 洛伦佐·克莱门特
2 科弗,达伦·D。
2 佩德罗·鲁宾·达吉尼奥
2 约翰·德奈克斯
2 彼得·丰塔纳
2 休伯特·加拉维
2 纪尧姆·加迪
2 保罗·加斯廷
2 吉勒·杰勒茨
2 安托万·吉拉德
2 罗伯特·戈德曼。
2 谢尔盖,哈达德
2 黄耿典
2 奥斯卡·H·伊巴拉。
2 拉塞·雅各布森
2 莫滕·雅各布森
2 卡尔·亨利克·约翰逊
2 艾哈迈德·科姆西
2 汉娜·克劳代尔
2 萨瓦斯·科努尔
2 米罗斯·库考斯基
2 弗雷德里克·朗
2 拉诺特、拉格罗
2 雅各布·利希滕贝格
2 莱姆,迪迪埃
2 约翰·莱杰罗斯
2 安德烈亚·马吉奥洛·谢蒂尼
2 佐哈尔·曼纳
2 米凯尔·哈克杰·默勒
2 曼弗雷德·莫拉里
2 哈桑·莫塔列比
2 Supratik Mukhopadhyay公司
2 塞萨尔·穆尼奥斯。
…还有327位作者

按年份列出的引文