泰伦，B.D。；Voeten，J.P.M。；R.D.J.克莱默。 使用POOSL的网络处理器的性能建模。 （英语） 兹比尔1045.68032 计算。Netw公司。 第5期第41页，第667-684页（2003年）. 摘要：创新的实时硬件/软件系统日益复杂，迫使行业考虑系统级设计方法。在实际使用硬件和软件组件实现系统之前，系统级设计方法可以分析实现所需功能的不同设计方案的性能。为了在设计过程的早期开发性能模型，可以使用并行面向对象规范语言（POOSL）。POOSL是一种富有表现力的建模语言，用于分析复杂的实时分布式硬件/软件系统。POOSL具有正式的语义，可以确保模型的明确执行和性能分析技术的正确应用。本文讨论了使用POOSL分析网络处理器的性能。网络处理器由以同步并发方式执行其行为的组件组成，而POOSL基于异步建模范式。在本文中，我们说明了为进行性能分析而构建同步系统的抽象模型可能会受益于异步建模方法。 引用于1文件 MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 68米10 计算机系统中的网络设计和通信 关键词：性能建模；网络处理器；并行面向对象规范语言；系统级设计；并发；形式化描述技术 软件：POOSL公司 PDF格式BibTeX公司 XML格式引用 \textit{B.D.Theelen}等人，《计算》。Netw公司。41，第5号，667--684（2003；Zbl 1045.68032） 全文： 内政部