乔托 swMATH ID: 8971 软件作者: Thomas A.Henzinger、Benjamin Horowitz、Christoph Meyer Kirsch 描述: Giotto:一种用于嵌入式编程的时间触发语言。Giotto为具有硬实时约束的嵌入式控制系统的实现提供了一个抽象的程序员模型。典型的控制应用程序由周期性软件任务和用于启用和禁用任务的模式切换逻辑组成。Giotto指定独立于任何实现平台的时间触发传感器读数、任务调用和模式切换。Giotto可以用平台约束进行注释,例如任务到主机映射、任务和通信时间表。注释是Giotto编译器的指令,但它们不会改变Giotto程序的功能和时序。通过将平台依赖关系与平台依赖关系分离,Giotto在选择控制平台方面实现了极大的灵活性,并在控制软件的验证和合成方面实现了很大程度的自动化。Giotto的时间触发特性实现了时间可预测性,这使得Giotto特别适合于安全关键型应用程序。 主页: http://link.springer.com/chapter/10.1007/3-540-45449-7_12 相关软件: 卢斯特;Uppaal公司;酯类;信号;克洛诺斯;托勒密;快速_分钟;非机动作战部队;机器人学;YALMIP公司;PALLOC公司;RTC工具箱;AQuoSA公司;TrueTime(真实时间);税收;JML公司;TAME公司;美国宇航局PVS;联合;PVS公司 引用于: 17文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Giotto:一种用于嵌入式编程的时间触发语言。 Zbl 1050.68525号托马斯·亨辛格(Thomas A.Henzinger)。;本杰明·霍洛维茨;梅耶·基尔希,克里斯托夫 2001 全部的 前5名59位作者引用 2 塔雷克·阿卜杜勒扎尔(Tarek F.Abdelzaher)。 2 托马斯·亨辛格(Thomas A.Henzinger)。 1 谢里夫·阿卜杜勒瓦希德 1 雷哈·艾哈迈德 1 卡琳·阿尔蒂森 1 拉杰夫·阿鲁尔 1 卡尔·埃里克·奥泽恩 1 西奥多·贝克。 1 大卫·巴托里尼。 1 桑乔伊·K·巴鲁阿。 1 亚历山德罗·比昂迪 1 弗莱德里克·博尼奥尔 1 帕特里夏·鲍耶 1 艾伦·D·伯恩斯。 1 乔治·布塔佐(Giorgio C.Buttazzo)。 1 马可·卡卡莫 1 安东·塞尔文 1 阿伦州Chandrashekharapuram 1 卡尼安特拉·马尼·钱迪 1 米克尔·科尔多维拉 1 西罗·唐纳鲁玛 1 皮埃特罗·法拉 1 塞尔吉奥·费奥·阿雷尼斯 1 丹尼尔·丰塔内利 1 算了吧,朱利安 1 皮埃尔·甘蒂 1 乔治亚州Giannopoulou 1 走吧,布莱恩 1 卢卡·格雷科 1 本杰明·霍洛维茨 1 穆迪·侯赛因扎德 1 黄鹏程 1 伊利亚·科尔马诺夫斯基。 1 李爱德华·阿什福德 1 约翰·列霍茨基(John P.Lehoczky)。 1 戴维·莱森斯 1 刘杰 1 马滕·洛斯特罗 1 加博·马德尔 1 鲁帕克·马朱姆达尔 1 尼古拉斯·马基 1 梅耶·基尔希,克里斯托夫 1 萨扬·密特拉 1 Mok,Aloysius K.-L。 1 克莱尔·佩吉蒂 1 路易吉·帕洛波利 1 皮洛托、康塞塔 1 菩提祖师普里扬塔 1 奥坎·桑库尔 1 道格拉斯·施密特(Douglas C.Schmidt)。 1 加布里埃尔·塞拉 1 沙,路易 1 布鲁诺·锡诺波利 1 洛塔尔·蒂勒 1 斯塔夫罗斯·特里帕基斯 1 米兰武吉诺维奇 1 伯恩德·韦斯特法尔 1 怀特,杰罗姆 1 赵峰 全部的 前5名7篇连载文章中引用 4 实时系统 1 Automatica公司 1 计算机与系统科学杂志 1 系统和控制信件 1 信息与计算 1 计算的形式方面 1 离散事件动态系统 在2个字段中引用 14 计算机科学(68至XX) 4 系统论;控制(93至XX) 按年份列出的引文