海龟-P

TURTLE-P:用于关键和分布式系统正式验证的UML概要文件。时态图和时态操作系统扩展了UML或lot-RT操作系统,并为短的UML-RT操作系统扩展了时序操作系统。TURTLE是一个实时UML概要文件,具有用RT-LOTOS表示的形式化语义。此外,它还得到了一个正式的验证工具包的支持。本文介绍了TURTLE-P,一个不再局限于分布式系统抽象建模的扩展概要文件。实际上,TURTLE-P解决了通信体系结构的具体描述,包括服务质量参数(延迟、抖动等)。这个新的概要文件支持硬件和软件组件与扩展UML组件和部署图的协同设计。由于RT-LOTOS中给出的形式化语义,可以评估和/或验证这些图的属性。以一个通信卫星系统为例说明了TURTLE-P的应用。

zbMATH参考文献(参考 5篇文章

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

  1. Bianco,Vieri del;Lavazza,Luigi;Mauri,Marco;Occorso,Giuseppe:面向基于uML的基于组件的实时软件的形式化规范(2007)ioport公司
  2. Ludovic,Apvrille;De Saqui Sannes,Pierre;Khendek,Ferhat:TURTLE-P:关键和分布式系统正式验证的UML概要文件(2006)ioport公司
  3. Sadani,Tarek;Boyer,Marc;de Saqui Sannes,Pierre;Courtiat,Jean-Pierre:用有限时间Petri网有效表示RT-LOTOS项(2006)
  4. Ludovic,Apvrille;Courtiat,Jean-Pierre;Lohr,Christophe;de Saqui Sannes,Pierre:TURTLE:由正式验证工具包支持的实时UML概要文件(2004)ioport公司
  5. Del Bianco,Vieri;Lavazza,Luigi;Mauri,Marco;Occorso,Giuseppe:面向基于UML的基于组件的实时软件的形式化规范(2003)