托马斯·亨辛格（Thomas A.Henzinger）。;本杰明·霍洛维茨;梅耶·基尔希，克里斯托夫 Giotto：一种用于嵌入式编程的时间触发语言。 （英语） Zbl 1050.68525号 Henzinger，Thomas A.（编辑）等人，《嵌入式软件》。第一届国际研讨会，EMSOFT 2001，美国加利福尼亚州塔霍市，2001年10月8日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42673-6）。莱克特。注释计算。科学。2211, 166-184 (2001). 摘要：Giotto为具有硬实时约束的嵌入式控制系统的实现提供了一个抽象的程序员模型。典型的控制应用程序由周期性软件任务和用于启用和禁用任务的模式切换逻辑组成。Giotto指定独立于任何实现平台的时间触发传感器读数、任务调用和模式切换。Giotto可以用平台约束进行注释，例如任务到主机映射、任务和通信时间表。注释是Giotto编译器的指令，但它们不会改变Giotto程序的功能和时间。通过将平台依赖关系与平台依赖关系分离，Giotto在选择控制平台方面实现了极大的灵活性，并在控制软件的验证和合成方面实现了很大程度的自动化。Giotto的时间触发特性实现了时间可预测性，这使得Giotto特别适合于安全关键型应用程序。关于整个系列，请参见[Zbl 0970.68711号]. 引用于10文件 MSC公司： 68N99型 软件理论 软件：乔托;信号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人，Lect。注释计算。科学。2211，166--184（2001；Zbl 1050.68525） 全文： 链接