克洛诺斯 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文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Kronos:实时系统的验证工具。 Zbl 1060.68606号塞尔吉奥·尤文 1997 全部的 前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 阿加塔·波罗拉 5 奥坎·桑库尔 5 杰里米·斯普洛斯顿 5 斯塔夫罗斯·特里帕基斯 4 拉杰夫·阿鲁尔 4 贝拉德,贝特里奇 4 弗兰克·卡塞兹 4 苏珊娜·格拉芙 4 理查德·凯默勒(Richard A.Kemmer)。 4 弗朗索瓦·拉鲁西尼 4 杰斯珀·莫勒。 4 彼得·尼伯特 4 奥利维尔·H·鲁克斯。 4 巴拉古鲁·斯里瓦桑 4 Yi,王 三 帕罗什·阿齐兹·阿卜杜拉 三 安徒生、亨利克·雷夫 三 桑迪·巴拉格 三 霍华德·鲍曼 三 托马斯·查泰恩 三 兰斯·克莱维兰 三 亚历山大·戴维 三 海宁·迪尔克斯 三 塞巴斯蒂安·恩格尔 三 乌里·法伦贝格 三 劳伦·弗里堡 三 托马斯·亨辛格(Thomas A.Henzinger)。 三 弗雷德里克·赫布雷托 三 亨利克·胡尔加德 三 李宣东 三 乔尔·欧·瓦克宁。 三 卡琳·夸斯 三 让-弗朗索瓦·拉斯金 三 约瑟夫·西法基斯 三 吉·斯尔巴 三 奥拉夫·斯特斯伯格 三 Vaandrager,Frits W。 三 詹姆斯·沃雷尔。 三 于、方 三 赵建华 三 郑国良 2 亚斯米娜·阿卜杜达伊姆 2 卢卡·埃特罗 2 穆罕默德·阿卜杜拉希·阿兹戈米 2 约翰·本茨森 2 卢卡·本维努蒂 2 德克·拜尔 2 哈尼法·布切内布 2 达里奥·坎帕尼亚 2 洛伦佐·克莱门特 2 达伦·科弗。 2 佩德罗·鲁宾·达吉尼奥 2 约翰·德奈克斯 2 彼得·丰塔纳 2 休伯特Garavel 2 纪尧姆·加迪 2 保罗·加斯丁 2 吉勒·杰勒茨 2 安托万·吉拉德 2 罗伯特·戈德曼。 2 谢尔盖,哈达德 2 黄耿典 2 奥斯卡·H·伊巴拉。 2 拉塞·雅各布森 2 莫滕·雅各布森 2 卡尔·亨利克·约翰逊 2 艾哈迈德·库姆西 2 汉娜·克劳代尔 2 萨瓦斯·科努尔 2 米罗斯·库考斯基 2 弗雷德里克·朗 2 拉诺特、拉格罗 2 雅各布·利希滕贝格 2 莱姆,迪迪埃 2 约翰·莱杰罗斯 2 安德烈亚·马吉奥洛·谢蒂尼 2 佐哈尔·曼纳 2 Møller、Mikael Harkjær 2 曼弗雷德·莫拉里 2 哈桑·莫塔列比 2 Supratik Mukhopadhyay公司 2 塞萨尔·穆尼奥斯。 …还有327位作者 全部的 前5名引用于37个系列 29 理论计算机科学 19 系统设计中的形式化方法 9 计算的形式方面 9 实时系统 6 信息与计算 5 计算机基础理论 5 逻辑与代数程序设计杂志 三 信息学报 三 Automatica公司 三 离散事件动态系统 2 计算机程序设计科学 2 国际鲁棒非线性控制杂志 2 欧洲控制杂志 2 程序设计中的逻辑和代数方法杂志 1 倒排索引综述 1 信息处理信件 1 计算机与系统科学杂志 1 模拟中的数学和计算机 1 符号计算杂志 1 计算机科学与技术杂志 1 AI通信 1 逻辑与计算杂志 1 分布式计算 1 逻辑、语言与信息杂志 1 北欧计算机杂志 1 计算系统理论 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 通用计算机科学杂志 1 逻辑程序设计理论与实践 1 应用数学杂志 1 ACM计算逻辑事务 1 计算智能研究 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 计算机科学前沿 1 计算机科学评论 全部的 前5名11个领域引用 232 计算机科学(68至XX) 24 系统论;控制(93至XX) 19 数学逻辑和基础(03-XX) 10 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 运筹学、数学规划(90-XX) 5 信息与通信理论、电路(94-XX) 2 变异微积分和最优控制;最优化(49至XX) 2 生物学和其他自然科学(92-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 一般拓扑结构(54至XX) 按年份列出的引文