骗局

SCADE Suite®是ANSYS®嵌入式软件系列产品和解决方案的一个产品线,它为用户提供了关键嵌入式软件的基于模型的开发环境。Scade Suite与正式定义的Scade语言进行了本地集成,是一个集成的设计环境,可用于跨需求管理、基于模型的设计、仿真、验证、合格/认证代码生成以及与其他开发工具和平台的互操作性。


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

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

  1. 彭超;曾海波:静态优先级有向图实时任务响应时间分析:泛化、近似与改进(2018)
  2. Evrard,Hugues;Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017)
  3. Ivanov,Ievgen:关于抽象连续时间系统全局时间互模拟的局部特征(2016)
  4. Ju,Lei;Huynh,Bach Khoa;Roychoudhury,Abhik;Chakraborty,Samarjit:Esterel规范的性能调试(2012)ioport公司
  5. Daniel Santamaría;Francisco Alarcón;Jiménez,Antonio;Viguria,Antidio;Béjar,Manuel:UAS关键软件基于模型的设计、开发和验证(2012)ioport公司
  6. 德罗弗,威廉·保罗;吕特根,杰拉尔德;门德勒,迈克尔:《步调一致:对经典问题的新视角》(2010)
  7. Brunette,Christian;Talpin,Jean-Pierre;Gamatie,Abdoulaye;Gautier,Thierry:多时系统设计的元模型(2009)
  8. del Fabro,Marcos Didonet;Valduriez,Patrick:使用模型编织和匹配转换实现模型转换的高效开发(2009)ioport公司
  9. Islam,Shariful;Suri,Neeraj;Balogh,András;Csertán,György;Pataricza,András:集成可靠实时嵌入式系统的基于优化的设计(2009)ioport公司
  10. Lublinerman,Roberto;Szegedy,Christian;Tripakis,Stavros:从同步框图生成模块化代码:模块化与代码大小(2009)
  11. Nenova,Stefana;Kästner,Daniel:早期设计阶段的最坏情况时间估计和架构探索(2009)ioport公司
  12. Berry,Gérard:SCADE:嵌入式控制软件的同步设计与验证(2007)
  13. Heimdahl,Mats P.E.;George,Devaraj:关于测试套件缩减对自动生成的基于模型的测试的影响(2007)ioport公司
  14. Labbani,Ouassila;Dekeyser,Jean-Luc;Boulet,Pierre:《基于模式自动机的Scade方法论》(2005)
  15. Loghi,Mirko;Margaria,Tiziana;Pravadelli,Graziano;Steffen,Bernhard:嵌入式系统的动态和形式验证:比较调查(2005)
  16. Chartier,Pierre:ABS项目:铁路和飞机行业软件设计的最佳实践(2002)
  17. Berry,Gérard:嵌入式系统的同步编程技术:现在和未来(2001)
  18. Camus,Jean-Louis;Le-Sergent,Thierry:SDL与分布式控制系统同步数据流建模的结合(2001)
  19. 保罗·卡斯皮;马祖特,克里斯汀;帕利格特,纳塔夏·雷纳德:关于分布式控制系统的设计:准同步方法(2001)