Compositional Analysis of Multi-mode Systems
Compositional Analysis of Multi-mode Systems
复制标题
多模系统的组成分析
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
O. Sokolsky
中科院分区：
文献类型：
--
作者：
L. T. Phan;Insup Lee;O. Sokolsky
本文提出了一个多模式实时应用的模型，并开发了包含多个此类应用的系统成分分析的新技术。提出了一种构造单个多模应用接口的算法。然后，提出了一种仅使用组成应用程序的接口计算复合应用程序接口的方法。一个自适应流系统的案例研究表明，与单模态最坏情况分析相比，多模态分析提供了更精确的结果。
The paper presents a model for multi-mode real-time applications and develops new techniques for the compositional analysis of systems that contain multiple such applications. An algorithm for constructing an interface for a single multi-mode application is presented. Then, a method for computing an interface of a composite application is presented, which uses only the interfaces of constituent applications. A case study of an adaptive streaming system demonstrates that multi-mode analysis offers more precise results compared to a unimodal worst-case analysis.