流氓

RATSY——一种新的综合需求分析工具。形式化规范在系统设计流程中扮演着越来越重要的角色。然而,它们并不总是容易处理的。在本文中,我们介绍了RATSY,一个需求分析工具RAT的继承者。RATSY从几个方面扩展了老鼠。首先,它包含一个新的图形用户界面,将系统属性指定为simplebüchi字自动机。其次,它可以通过基于游戏的方法来帮助调试不正确的规范。第三,它允许从系统的时间特性进行正确的按结构合成。这些新特性的无缝集成有助于这些流程和特性的无缝集成。


zbMATH中的参考文献(参考文献10条)

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

  1. 卡维扎,大卫·G。;阿尔拉杰,达拉尔;örgy,安德烈ás: GR(1)公式的弱测度(2021)
  2. 菲尔曼,伊丽莎白;毛兹,沙哈尔;Ringert,Jan Oliver:GR(1)综合与相关算法的性能启发式(2020)
  3. 卡维扎,大卫·G。;Alrajeh,Dalal:基于插值的GR(1)假设改进(2017)
  4. 德卡斯特罗,乔纳森;埃勒斯,Rü挖掘机;马蒂亚格;巴尔干半岛,是吗ça;Kress Gazit,Hadas:高级控制基于动力学的运行时证书的自动生成(2017)
  5. 巴纳特,吉ří; 鲍奇,彼得;贝尼š, 尼古拉;布里姆,卢波š; 伯兰,一月;克拉托赫夫í洛杉矶,汤姆áš: 航空电子系统需求的合理性分析(2016)
  6. 德贾科莫,朱塞佩;格雷维尼,阿方索·埃米利奥;帕特里齐,法比奥;萨蒂,亚历山德罗;Sardina,Sebastian:代理计划计划(2016)
  7. 布洛姆,罗德里克;查特,克莉丝内杜;格雷梅尔,卡琳;亨辛格,托马斯A。;乔治霍夫雷克;芭芭拉,乔布斯曼;Kö尼霍弗,贝蒂娜;Könighofer,Robert:合成鲁棒系统(2014)
  8. 布洛姆,罗德里克;芭芭拉,乔布斯曼;皮特曼,近红外;普努埃利,阿米尔;Sa'ar,Yaniv:反应(1)设计合成(2012)
  9. Schuppan,Viktor:走向LTL不可满足和不可实现核心的概念(2012)
  10. 布洛姆,罗德里克;亚历山德罗·西马蒂;格雷梅尔,卡琳;乔治霍夫雷克;Kö尼霍弗,罗伯特;罗维里,马可;舒帕,维克多;Seeber,Richard:RATSY——一种新的需求分析工具与合成(2010)ioport公司