大都市

大都市:一个集成的电子系统设计环境。在oday中,设计链缺乏足够的支持,大多数系统级设计人员使用一组未链接的工具。然后,实现继续使用非正式的技术,涉及大量的人类语言交互,在不同公司或不同部门的设计师组之间创建不必要和不需要的迭代。面向可编程平台的发展将设计实现任务转向嵌入式软件设计。当嵌入式软件达到当今设计的典型复杂性时,软件无法正常工作的风险将成倍增加。大都会项目寻求开发一个能够应对这一挑战的统一框架。Metropolis基于一个具有形式语义的元模型,开发人员可以使用它来捕获设计,Metropolis为复杂的电子系统设计提供了一个支持仿真、形式分析和综合的环境。


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

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

  1. 塞希亚,桑吉特A。;莎莉吉娜,娜塔莎;Tripakis,Stavros:验证建模(2018)
  2. 陈明帅;拉文,安德斯P。;王淑玲;杨孟飞;詹乃军:嵌入式系统正式与非正式设计的双向路径(2017)
  3. 阿蒂,保罗;爱德华德巴拉诺夫;傻了,西蒙;贾比尔,穆罕默德;Sifakis,Joseph:体系结构可组合性的一般框架(2016)
  4. 努佐,皮耶鲁吉;Sangiovanni Vincentelli,Alberto:《让我们来了解物理:计算机科学与系统》(2014)ioport公司
  5. Sangiovanni Vincentelli,阿尔伯托;达姆,沃纳;帕塞罗,罗伯托:驯服弗兰肯斯坦博士:基于合同的网络物理系统设计(2012)
  6. 阿萨德,伊斯梅尔;Yovine,Sergio:SoC软件/硬件联合设计探索的调度器综合方法(2010)ioport公司
  7. 傻了,西蒙;Sifakis,Joseph:连接器代数的因果语义学(2010)
  8. 埃姆斯,布兰登K。;尼玛,Sandeep K。;Saraswat,Rohit:DesertFD:一种基于有限域约束的空间探索设计工具(2010)ioport公司
  9. 张艺谋,埃里克;陈曦;谢,哈利;达瓦雷,阿比吉特;Sangiovanni Vincentelli,阿尔伯托;渡边,Yosinori:系统级设计的运行时死锁分析(2009)ioport公司
  10. 傻了,西蒙;Sifakis,Joseph:连接器代数的因果语义学(扩展摘要)(2008)
  11. 皮门特尔,安迪D。;汤普森,马克;波尔斯特拉,西蒙;Erbas,Cagkan:系统级设计空间探索抽象性能模型的校准(2007)ioport公司
  12. 桑塔格,Sö任;格里斯,马提亚斯;Sauer,Christian:SystemQ:弥合基于队列的性能评估与systemC之间的差距(2007)ioport公司
  13. 博尼文托,阿尔维斯;卡洛尼,卢卡P。;Sangiovanni Vincentelli,Alberto:基于平台的无线传感器网络设计(2006)ioport公司
  14. 陈曦;谢,哈利;Balarin,Felice:Metropolis嵌入式系统设计框架的验证方法(2006)
  15. 疯狂,托马斯;赫克斯多夫,安德烈亚斯;Lee,Gyoo Yeong:使用systemC进行基于磁带跟踪的体系结构性能评估(2006)ioport公司
  16. 阿劳霍,克里斯蒂亚诺;戈梅斯,米利纳;巴罗斯,埃德娜;里戈,桑德罗;阿泽维多,鲁道夫;Araujo,Guido:平台设计器:基于systemC的多处理器平台建模方法(2005)ioport公司
  17. 巴拉林,费利斯;渡边,Yosinori;谢,哈利;拉瓦尼诺,卢西亚诺;路人,克劳迪奥;Sangiovanni Vincentelli,阿尔伯托:大都市:集成电子系统设计环境(2003)ioport公司