乔托

Giotto:一种用于嵌入式编程的时间触发语言。Giotto为具有硬实时约束的嵌入式控制系统的实现提供了一个抽象的程序员模型。典型的控制应用程序包括周期性的软件任务以及用于启用和禁用任务的模式切换逻辑。Giotto指定独立于任何实现平台的时间触发传感器读数、任务调用和模式切换。Giotto可以用平台约束进行注释,比如任务到主机的映射、任务和通信调度。注释是Giotto编译器的指令,但是它们不会改变Giotto程序的功能和时间。通过将独立于平台的关注点与依赖于平台的关注点分离开来,Giotto在选择控制平台方面具有很大的灵活性,并且在控制软件的验证和综合方面实现了大量的自动化。Giotto的时间触发特性实现了时间的可预测性,这使得Giotto特别适合安全关键应用。


zbMATH中的参考文献(引用于,1标准件)

显示第1到16个结果,共16个。
按年份排序(引用)

  1. 乔治亚州Giannopoulou;Huang,Pengcheng;Ahmed,Rehan;Bartolini,Davide B.;Thiele,Lothar:多核隔离调度:模型和调度方法(2017)
  2. Sankur,Ocan;Bouyer,Patricia;Markey,Nicolas:收缩时间自动机(2014)
  3. Fontanelli,Daniele;Greco,Luca;Palopoli,Luigi:嵌入式控制系统的软实时调度(2013)
  4. Ghosal,Arkadeb;Iercan,Daniel;Kirsch,Christoph M.;Henzinger,Thomas A.;Sangiovanni Vincentelli,Alberto:将分层实时程序单独编译成线性有界嵌入式机器码(2012)ioport公司
  5. Wang,Dong;Abdelzaher,Tarek;Priyantha,Bodhi;Liu,Jie;Zhao,Feng:传感器节点上异步多级数据处理的能量优化批处理周期:基础和模板案例研究(2012)
  6. Chandy,K.Mani;Go,Brian;Mitra,Sayan;Pilotto,Concetta;White,Jerome:使用本地全局谓词验证分布式系统(2011)
  7. Claire Pagetti;Forget,Julien;Boniol,Frédéric;Cordovilla,Mikel;Lesens,David:多周期同步程序的多任务实现(2011)
  8. Pierre Ganty;Majumdar,Rupak:分析实时事件驱动程序(2009)
  9. Rysavy,Ondrej;Rab,Jaroslav:组成组件的正式模型:TLA(^+)方法(2009)ioport公司
  10. Alur,Rajeev;Chandrashekharapuram,Arun:嵌入式控制模型的调度序列(2007)
  11. Madl,Gabor;Abdelwahed,Sherif;Schmidt,Douglas C.:通过图转换和模型检查验证嵌入式系统的分布式实时特性(2006)
  12. Altisen,Karine;Tripakis,Stavros:时间自动机的实现:语义还是建模的问题?(2005年)
  13. Stieglbauer,Gerald;Werner,Andreas:Simulink中的Modelerung von deterministischer软件(2005)ioport公司
  14. Henzinger,Thomas A.:嵌入式软件:更好的模型,更好的代码(2004)
  15. Sha,Lui;Abdelzaher,Tarek;èrzén,Karl Erik;Cervin,Anton;Baker,Theodore;Burtazzo,Giorgio;Caccamo,Marco;Lehoczky,John;Mok,Aloysius K.:实时调度理论:历史观点(2004)
  16. Henzinger,Thomas A.;Horowitz,Benjamin;Meyer Kirsch,Christoph:Giotto:嵌入式编程的时间触发语言(2001)