首页 > 最新文献

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems最新文献

英文 中文
Development of the warfighting architecture requirements (WAR) tool 作战体系结构需求(WAR)工具的开发
G. Hurlburt
The warfighting architecture requirements (WAR) tool extends the Department of Defense Architectural Framework (DODAF) to fill warfighting voids. It builds warfighting scenarios and documents joint capabilities integration and development system (JCIDS) elements. WAR uses DoD task lists to build scenarios attributed by doctrine, organization, training, material, leadership, personnel and facilities (DOTMLPF). These data feed a growing ontology and are managed through an object oriented multiple inheritance structure. The WAR tool reach-back capability draws from existing distributed data sources. The task oriented WAR scenarios can be further defined in terms of timing, cost, function and constraints. Scenario data synchronize the DODAF required operational, system, and technical views. These data may be easily translated to modeling and simulation (M&S) and lend themselves to thin thread analysis across multiple scenarios. The highly scaleable, thin-client, Web-based WAR tool is compliant with emerging DOD net centric enterprise services (NCES) as it contains semantic-web service elements.
作战体系结构需求(WAR)工具扩展了国防部体系结构框架(DODAF),以填补作战空白。它构建作战场景并记录联合能力集成和发展系统(jcid)要素。WAR使用国防部任务列表来构建由理论、组织、训练、材料、领导、人员和设施(DOTMLPF)组成的场景。这些数据提供了一个不断增长的本体,并通过面向对象的多重继承结构进行管理。WAR工具的回传能力来自于现有的分布式数据源。面向任务的WAR场景可以根据时间、成本、功能和约束进一步定义。场景数据同步DODAF需要操作、系统和技术视图。这些数据可以很容易地转换为建模和仿真(M&S),并可以用于跨多个场景的细线程分析。高度可伸缩的、瘦客户机的、基于web的WAR工具与新兴的国防部以网络为中心的企业服务(NCES)兼容,因为它包含语义web服务元素。
{"title":"Development of the warfighting architecture requirements (WAR) tool","authors":"G. Hurlburt","doi":"10.1109/WORDS.2005.27","DOIUrl":"https://doi.org/10.1109/WORDS.2005.27","url":null,"abstract":"The warfighting architecture requirements (WAR) tool extends the Department of Defense Architectural Framework (DODAF) to fill warfighting voids. It builds warfighting scenarios and documents joint capabilities integration and development system (JCIDS) elements. WAR uses DoD task lists to build scenarios attributed by doctrine, organization, training, material, leadership, personnel and facilities (DOTMLPF). These data feed a growing ontology and are managed through an object oriented multiple inheritance structure. The WAR tool reach-back capability draws from existing distributed data sources. The task oriented WAR scenarios can be further defined in terms of timing, cost, function and constraints. Scenario data synchronize the DODAF required operational, system, and technical views. These data may be easily translated to modeling and simulation (M&S) and lend themselves to thin thread analysis across multiple scenarios. The highly scaleable, thin-client, Web-based WAR tool is compliant with emerging DOD net centric enterprise services (NCES) as it contains semantic-web service elements.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126113974","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Dynamic reconfiguration of component-based real-time software 基于组件的实时软件动态重构
A. Rasche, A. Polze
Increasing capabilities of modern microcontrollers greatly increase their applicability to more and more complex scenarios. However, unstable and ever-changing environmental settings require embedded systems permanently to adapt to new situations. Dynamic reconfiguration provides a powerful mechanism to execute such adaptation strategies. The implementation of dynamic reconfiguration is still challenging for embedded real-time control software. Within earlier work we have presented our framework Adapt.NET for runtime adaption of component-based applications, including a runtime infrastructure for dynamic reconfiguration and monitoring, targeted for mobile and desktop environments. New experiments in our Web-based remote laboratory - the distributed control lab - require the reconfiguration to complete in bounded time. In the remote lab we use dynamic reconfiguration to adapt experiment control to failures in user control components. Within this paper, we analyze the timing behavior of the implemented dynamic reconfiguration algorithm in order to allow for predictable execution times. We describe how complex component-based real-time applications can be adapted to changing environmental conditions, continuously meeting all tasks deadlines during dynamic reconfiguration.
现代微控制器的功能不断增强,大大增加了它们在越来越复杂的场景中的适用性。然而,不稳定和不断变化的环境设置要求嵌入式系统永久地适应新的情况。动态重新配置为执行这种适应策略提供了一种强大的机制。动态重构的实现对嵌入式实时控制软件来说仍然是一个挑战。在早期的工作中,我们已经介绍了我们的框架Adapt。NET用于运行时适应基于组件的应用程序,包括针对移动和桌面环境的动态重新配置和监视的运行时基础设施。在基于web的远程实验室——分布式控制实验室中,新的实验要求在有限的时间内完成重新配置。在远程实验室中,我们使用动态重构来适应实验控制,以适应用户控制组件的故障。在本文中,我们分析了实现的动态重构算法的时序行为,以允许可预测的执行时间。我们描述了复杂的基于组件的实时应用程序如何适应不断变化的环境条件,在动态重新配置期间持续满足所有任务期限。
{"title":"Dynamic reconfiguration of component-based real-time software","authors":"A. Rasche, A. Polze","doi":"10.1109/WORDS.2005.31","DOIUrl":"https://doi.org/10.1109/WORDS.2005.31","url":null,"abstract":"Increasing capabilities of modern microcontrollers greatly increase their applicability to more and more complex scenarios. However, unstable and ever-changing environmental settings require embedded systems permanently to adapt to new situations. Dynamic reconfiguration provides a powerful mechanism to execute such adaptation strategies. The implementation of dynamic reconfiguration is still challenging for embedded real-time control software. Within earlier work we have presented our framework Adapt.NET for runtime adaption of component-based applications, including a runtime infrastructure for dynamic reconfiguration and monitoring, targeted for mobile and desktop environments. New experiments in our Web-based remote laboratory - the distributed control lab - require the reconfiguration to complete in bounded time. In the remote lab we use dynamic reconfiguration to adapt experiment control to failures in user control components. Within this paper, we analyze the timing behavior of the implemented dynamic reconfiguration algorithm in order to allow for predictable execution times. We describe how complex component-based real-time applications can be adapted to changing environmental conditions, continuously meeting all tasks deadlines during dynamic reconfiguration.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114581240","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 47
On constructing overlay networks to support distributed real-time virtual environment applications 构建支持分布式实时虚拟环境应用的覆盖网络
V. Kalogeraki, Fang-Yu Chen
Overlay networks provide an attractive solution to distributed real-time virtual applications because of their unique features of scalability, decentralization and cost effectiveness. However, overlay support for distributed real-time virtual applications remains a challenge because of two reasons: 1) Frequent update messages traveling through multiple hops can increase the network traffic and cause long communication and processing delays; and 2) Variable latencies experienced by different participants can violate their consistency requirements and affect the performance of the application. In this paper, we propose techniques that work at two levels to address this problem. First the participants are grouped according to their virtual distance to satisfy their consistency requirements. Second, filters that combine application-level knowledge are utilized at boundary nodes to eliminate unnecessary message propagations. Our approach enables nodes to trade-off processing overhead for consistency precision, while reducing the message overhead in the overlay network.
覆盖网络以其独特的可扩展性、分散性和成本效益为分布式实时虚拟应用提供了一种有吸引力的解决方案。然而,对分布式实时虚拟应用的覆盖支持仍然是一个挑战,因为两个原因:1)频繁的更新消息通过多跳传输会增加网络流量,并导致长时间的通信和处理延迟;2)不同参与者经历的可变延迟可能违反他们的一致性要求,从而影响应用程序的性能。在本文中,我们提出了在两个层次上工作的技术来解决这个问题。首先根据参与者的虚拟距离进行分组,以满足一致性要求。其次,在边界节点上使用结合应用级知识的过滤器来消除不必要的消息传播。我们的方法使节点能够权衡处理开销以获得一致性精度,同时减少覆盖网络中的消息开销。
{"title":"On constructing overlay networks to support distributed real-time virtual environment applications","authors":"V. Kalogeraki, Fang-Yu Chen","doi":"10.1109/WORDS.2005.45","DOIUrl":"https://doi.org/10.1109/WORDS.2005.45","url":null,"abstract":"Overlay networks provide an attractive solution to distributed real-time virtual applications because of their unique features of scalability, decentralization and cost effectiveness. However, overlay support for distributed real-time virtual applications remains a challenge because of two reasons: 1) Frequent update messages traveling through multiple hops can increase the network traffic and cause long communication and processing delays; and 2) Variable latencies experienced by different participants can violate their consistency requirements and affect the performance of the application. In this paper, we propose techniques that work at two levels to address this problem. First the participants are grouped according to their virtual distance to satisfy their consistency requirements. Second, filters that combine application-level knowledge are utilized at boundary nodes to eliminate unnecessary message propagations. Our approach enables nodes to trade-off processing overhead for consistency precision, while reducing the message overhead in the overlay network.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125600937","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Virtual networks in an integrated time-triggered architecture 集成时间触发架构中的虚拟网络
R. Obermaisser, P. Peti, H. Kopetz
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. This paper investigates the communication services of an integrated system architecture, which combines the complexity management advantages of federated systems with the functional integration and hardware benefits of an integrated approach. A major challenge is the need to accommodate the communication services to the different types of integrated application subsystems that range from ultra-dependable control applications (e.g., an x-by-wire system) to non safety-critical applications such as multimedia or comfort systems. In particular, the encapsulation of the communication activities of different application subsystems is required not only to prevent error propagation from non safety-critical application subsystems to higher levels of criticality, but also to facilitate complexity management and permit independent development activities. This paper introduces virtual networks as the encapsulated communication infrastructure of an application subsystem in the integrated DECOS architecture. Virtual networks are constructed as overlay networks on top of the time-triggered communication system of a base architecture. Each virtual network runs a corresponding communication protocol that is determined either by a legacy platform or selected to meet the requirements of the application subsystem. Encapsulation mechanisms ensure that the temporal properties of each virtual network are known a priori and independent from the communication activities in other virtual networks. By assigning to each application subsystem a dedicated virtual network and by ensuring that the virtual network abstractions hold also in the case of faults, the integrated architecture supports the benefits of a federated system, such as fault isolation, complexity management, independent development, and intellectual property protection. In addition, virtual networks promise massive cost savings through the reduction of physical networks and reliability improvements with respect to wiring and connectors.
根据大型分布式安全关键型实时系统的物理结构,可以区分联邦系统架构和集成系统架构。本文研究了集成系统体系结构中的通信服务,该体系结构将联邦系统的复杂性管理优势与集成方法的功能集成和硬件优势相结合。一个主要的挑战是需要适应不同类型的集成应用子系统的通信服务,从超可靠的控制应用(例如,x线传系统)到非安全关键应用(例如多媒体或舒适系统)。特别是,需要对不同应用程序子系统的通信活动进行封装,不仅要防止错误从非安全关键应用程序子系统传播到更高级别的关键应用程序子系统,而且还要促进复杂性管理并允许独立的开发活动。本文介绍了虚拟网络作为集成DECOS体系结构中应用子系统的封装通信基础设施。虚拟网络是在基本体系结构的时间触发通信系统之上构建的覆盖网络。每个虚拟网络都运行相应的通信协议,该协议由遗留平台决定,或者选择以满足应用程序子系统的需求。封装机制确保每个虚拟网络的时间属性是先验的,并且独立于其他虚拟网络中的通信活动。通过为每个应用程序子系统分配专用的虚拟网络,并确保虚拟网络抽象在故障情况下也能保持,集成体系结构支持联邦系统的优点,例如故障隔离、复杂性管理、独立开发和知识产权保护。此外,虚拟网络承诺通过减少物理网络和提高布线和连接器的可靠性来节省大量成本。
{"title":"Virtual networks in an integrated time-triggered architecture","authors":"R. Obermaisser, P. Peti, H. Kopetz","doi":"10.1109/WORDS.2005.55","DOIUrl":"https://doi.org/10.1109/WORDS.2005.55","url":null,"abstract":"Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. This paper investigates the communication services of an integrated system architecture, which combines the complexity management advantages of federated systems with the functional integration and hardware benefits of an integrated approach. A major challenge is the need to accommodate the communication services to the different types of integrated application subsystems that range from ultra-dependable control applications (e.g., an x-by-wire system) to non safety-critical applications such as multimedia or comfort systems. In particular, the encapsulation of the communication activities of different application subsystems is required not only to prevent error propagation from non safety-critical application subsystems to higher levels of criticality, but also to facilitate complexity management and permit independent development activities. This paper introduces virtual networks as the encapsulated communication infrastructure of an application subsystem in the integrated DECOS architecture. Virtual networks are constructed as overlay networks on top of the time-triggered communication system of a base architecture. Each virtual network runs a corresponding communication protocol that is determined either by a legacy platform or selected to meet the requirements of the application subsystem. Encapsulation mechanisms ensure that the temporal properties of each virtual network are known a priori and independent from the communication activities in other virtual networks. By assigning to each application subsystem a dedicated virtual network and by ensuring that the virtual network abstractions hold also in the case of faults, the integrated architecture supports the benefits of a federated system, such as fault isolation, complexity management, independent development, and intellectual property protection. In addition, virtual networks promise massive cost savings through the reduction of physical networks and reliability improvements with respect to wiring and connectors.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130843643","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 36
Specification-based verification and validation of Web services and service-oriented operating systems 基于规范的Web服务和面向服务的操作系统的验证和确认
W. Tsai, Yinong Chen, R. Paul
Service-oriented architecture (SOA) and Web services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperability, but the trustworthy issues of WS has actually limited the growth of WS applications as organizations do not trust those WS developed by other vendors and at the same time they do not have access to the source code. This paper addressed this issue by proposing several solutions including specification-based verification and validation, collaborative testing, and group testing. The key concept is that it is possible to provide a comprehensive evaluation of WS even if their source code is not available.
面向服务的体系结构(SOA)和Web服务(WS)最近受到了极大的关注。尽管WS基于开放标准并支持软件互操作性,但是由于组织不信任其他供应商开发的WS,同时他们也无法访问源代码,因此WS的可信赖性问题实际上限制了WS应用程序的发展。本文通过提出几个解决方案来解决这个问题,包括基于规范的验证和确认、协作测试和组测试。关键的概念是,即使没有可用的源代码,也可以提供对WS的全面评估。
{"title":"Specification-based verification and validation of Web services and service-oriented operating systems","authors":"W. Tsai, Yinong Chen, R. Paul","doi":"10.1109/WORDS.2005.51","DOIUrl":"https://doi.org/10.1109/WORDS.2005.51","url":null,"abstract":"Service-oriented architecture (SOA) and Web services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperability, but the trustworthy issues of WS has actually limited the growth of WS applications as organizations do not trust those WS developed by other vendors and at the same time they do not have access to the source code. This paper addressed this issue by proposing several solutions including specification-based verification and validation, collaborative testing, and group testing. The key concept is that it is possible to provide a comprehensive evaluation of WS even if their source code is not available.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116614300","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 45
Distributed scalable location data management system based on the GALIS architecture 基于GALIS架构的分布式可扩展位置数据管理系统
Yunmook Nah, Joonwook Lee, Woon Joo Lee, Ho Lee, Moon-hae Kim, Ki-Joon Han
A challenging task in the LBS system engineering is to implement a highly scalable system architecture which can manage moderate-size configurations handling thousands of moving items as well as upper-end configurations handling millions of moving items. The architecture named the GALIS is a cluster-based distributed computing system architecture that consists of multiple data processors, each dedicated to keeping records relevant to a different geographical zone and a different time zone. In this paper, we explain a prototype location data management system structuring major components of GALIS by employing the TMO programming scheme, including the execution engine middleware developed to support real-time distributed object programming and real-time distributed computing system design. We present how to generate realistic location sensing reports and how to process such location reports and location-related queries. Some experimental results showing performance factors regarding distributed query processing are also explained.
在LBS系统工程中,实现一个高度可扩展的系统架构是一项具有挑战性的任务,该架构既可以管理处理数千个移动项目的中等规模配置,也可以管理处理数百万个移动项目的高端配置。名为GALIS的体系结构是一个基于集群的分布式计算系统体系结构,它由多个数据处理器组成,每个处理器专门用于保存与不同地理区域和不同时区相关的记录。本文介绍了采用TMO编程方案构建GALIS主要组件的原型位置数据管理系统,包括为支持实时分布式对象编程而开发的执行引擎中间件和实时分布式计算系统设计。我们介绍了如何生成真实的位置感知报告,以及如何处理此类位置报告和位置相关查询。实验结果显示了分布式查询处理的性能因素。
{"title":"Distributed scalable location data management system based on the GALIS architecture","authors":"Yunmook Nah, Joonwook Lee, Woon Joo Lee, Ho Lee, Moon-hae Kim, Ki-Joon Han","doi":"10.1109/WORDS.2005.29","DOIUrl":"https://doi.org/10.1109/WORDS.2005.29","url":null,"abstract":"A challenging task in the LBS system engineering is to implement a highly scalable system architecture which can manage moderate-size configurations handling thousands of moving items as well as upper-end configurations handling millions of moving items. The architecture named the GALIS is a cluster-based distributed computing system architecture that consists of multiple data processors, each dedicated to keeping records relevant to a different geographical zone and a different time zone. In this paper, we explain a prototype location data management system structuring major components of GALIS by employing the TMO programming scheme, including the execution engine middleware developed to support real-time distributed object programming and real-time distributed computing system design. We present how to generate realistic location sensing reports and how to process such location reports and location-related queries. Some experimental results showing performance factors regarding distributed query processing are also explained.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125367191","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
A real-time distributed scheduling service for middleware systems 中间件系统的实时分布式调度服务
Jiangyin Zhang, L. DiPippo, V. Wolfe, Kevin Bryan, Matthew Murphy
The latest version of real-time CORBA defines a distributable thread primitive to support real-time computing in a dynamic distributed environment. However, this standard does not provide support for making and enforcing global decisions. This paper describes the framework for a distributed scheduling service (DSS) that provides globally sound decision-making and scheduling enforcement to real-time distributed systems. The paper describes the design and implementation of the framework, as well as preliminary performance results.
最新版本的实时CORBA定义了一个可分发线程原语,以支持动态分布式环境中的实时计算。然而,该标准并不为制定和执行全局决策提供支持。本文描述了分布式调度服务(DSS)的框架,为实时分布式系统提供全局合理的决策和调度执行。本文介绍了该框架的设计与实现,以及初步的性能结果。
{"title":"A real-time distributed scheduling service for middleware systems","authors":"Jiangyin Zhang, L. DiPippo, V. Wolfe, Kevin Bryan, Matthew Murphy","doi":"10.1109/WORDS.2005.10","DOIUrl":"https://doi.org/10.1109/WORDS.2005.10","url":null,"abstract":"The latest version of real-time CORBA defines a distributable thread primitive to support real-time computing in a dynamic distributed environment. However, this standard does not provide support for making and enforcing global decisions. This paper describes the framework for a distributed scheduling service (DSS) that provides globally sound decision-making and scheduling enforcement to real-time distributed systems. The paper describes the design and implementation of the framework, as well as preliminary performance results.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129648155","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
A multi-granularity energy profiling approach and a quantitative study of a Web browser 一种多粒度能量分析方法和Web浏览器的定量研究
Chen-Ting Chuang, Chin-Fu Kuo, Tei-Wei Kuo, Ai-Chun Pang
While energy-efficiency considerations become a critical issue in embedded-system designs, little work is done for energy-profiling at different granularity levels. This paper aims at the proposing of a hybrid hardware-software-based profiling solution with different levels of abstraction. Compared to the existing work, the proposed solution could provide richer information on energy profiling with the help of execution-path tracking and exclusion of selected functions/classes/modules. We address technical issues in the implementation of the proposed profiling solution. A quantitative energy-profiling study over a well-known Web browser based on an object-oriented design, Konqueror, is then presented to provide a feasibility study of the proposed solution and insights in the design of an energy-efficient Web browser.
虽然能效考虑成为嵌入式系统设计中的一个关键问题,但在不同粒度级别上进行能量分析的工作却很少。本文旨在提出一种具有不同抽象层次的基于硬件和软件的混合分析解决方案。与现有的工作相比,该解决方案可以通过执行路径跟踪和排除选定的函数/类/模块来提供更丰富的能量分析信息。我们解决了在实施提议的分析解决方案中的技术问题。然后,对基于面向对象设计的知名Web浏览器Konqueror进行了定量的能源分析研究,以提供所建议的解决方案的可行性研究以及节能Web浏览器设计中的见解。
{"title":"A multi-granularity energy profiling approach and a quantitative study of a Web browser","authors":"Chen-Ting Chuang, Chin-Fu Kuo, Tei-Wei Kuo, Ai-Chun Pang","doi":"10.1109/WORDS.2005.9","DOIUrl":"https://doi.org/10.1109/WORDS.2005.9","url":null,"abstract":"While energy-efficiency considerations become a critical issue in embedded-system designs, little work is done for energy-profiling at different granularity levels. This paper aims at the proposing of a hybrid hardware-software-based profiling solution with different levels of abstraction. Compared to the existing work, the proposed solution could provide richer information on energy profiling with the help of execution-path tracking and exclusion of selected functions/classes/modules. We address technical issues in the implementation of the proposed profiling solution. A quantitative energy-profiling study over a well-known Web browser based on an object-oriented design, Konqueror, is then presented to provide a feasibility study of the proposed solution and insights in the design of an energy-efficient Web browser.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126560105","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Agent-oriented modelling and specification of Web services 面向代理的Web服务建模和规范
Hong Zhu, L. Shan
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and formal specification method to address the difficulties in developing WS applications. The paper presents a graphic model of the general architecture of WS in agent-oriented modelling language CAMLE and an abstract specification in the formal specification language SLABS. It also illustrates how agent-oriented modelling and formal specification can be applied to the development of WS applications by an example of online auction WS and its requester application. It is shown that models and formal specifications enable software engineers to specify not only the service provider's functionality and behaviour, but also the requirements and restrictions on service requesters' behaviour. Such semantic information is crucial for the success of dynamic integration of WS.
Web服务(WS)提供了一种通过Internet集成应用程序的技术。本文提出了一种多智能体WS概念模型和面向智能体的建模和形式化规范方法,以解决WS应用开发中的困难。本文用面向智能体的建模语言CAMLE对web服务的总体体系结构进行了图形化建模,并用形式化规范语言slab对web服务的抽象规范进行了描述。本文还通过一个在线拍卖WS及其请求者应用程序的示例,说明了如何将面向代理的建模和正式规范应用于WS应用程序的开发。模型和正式规范使软件工程师不仅可以指定服务提供者的功能和行为,还可以指定对服务请求者行为的要求和限制。这些语义信息对于WS动态集成的成功至关重要。
{"title":"Agent-oriented modelling and specification of Web services","authors":"Hong Zhu, L. Shan","doi":"10.1109/WORDS.2005.14","DOIUrl":"https://doi.org/10.1109/WORDS.2005.14","url":null,"abstract":"Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and formal specification method to address the difficulties in developing WS applications. The paper presents a graphic model of the general architecture of WS in agent-oriented modelling language CAMLE and an abstract specification in the formal specification language SLABS. It also illustrates how agent-oriented modelling and formal specification can be applied to the development of WS applications by an example of online auction WS and its requester application. It is shown that models and formal specifications enable software engineers to specify not only the service provider's functionality and behaviour, but also the requirements and restrictions on service requesters' behaviour. Such semantic information is crucial for the success of dynamic integration of WS.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126934275","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Distributed computing based streaming and play of music ensemble realized through TMO programming 通过TMO编程实现基于分布式计算的合奏流和播放
K. Kim, Emmanuel Henrich, C. Im, Moon-Cheol Kim, Sung-Jin Kim, Yuqing Li, Sheng Liu, S. Yoo, L. Zheng, Qian Zhou
We present a new class of multimedia applications where the exploitation of the principle of global-time-based coordination of distributed actions (TCoDA) is compelling. In these applications, multiple small-footprint PCs, each equipped with its own speakers, act as instrument players or singers forming an ensemble. Each player PC obtains its piece of the musical audio data over an Ethernet network from a central server containing all necessary audio files. An important requirement is thus to make multiple specialized players, e.g., violin player, cello player, piano player, etc., perform globally synchronous play of their responsible pieces of the music. Moreover, to enable fast start of the requested music play, the musical data are streamed from the server to each player in a pipelined fashion so that while each player is playing one part of the music, the next part may be arriving over the network. Efficient implementation techniques based on the TMO programming scheme are then presented. This digital music ensemble application turns out to be an interesting cost-effective means of evaluating the QoS of the middleware supporting TCoDA. A prototype implementation of a digital music ensemble system was relatively easily realized by use of the TMO programming scheme.
我们提出了一类新的多媒体应用程序,其中利用基于全局时间的分布式动作协调(TCoDA)的原则是引人注目的。在这些应用中,多台占地面积小的个人电脑,每台电脑都配备了自己的扬声器,充当乐器演奏者或歌手组成合奏。每个播放器PC通过以太网从包含所有必要音频文件的中央服务器获取其音乐音频数据。因此,一个重要的要求是让多个专业的演奏者,如小提琴手、大提琴手、钢琴手等,在他们负责的乐曲中进行全球同步演奏。此外,为了快速启动所请求的音乐播放,音乐数据以流水线方式从服务器流式传输到每个播放器,以便当每个播放器播放音乐的一部分时,下一部分可能会通过网络到达。然后提出了基于TMO编程方案的高效实现技术。这个数字音乐合奏应用程序被证明是评估支持TCoDA的中间件的QoS的一种有趣的经济有效的方法。利用TMO编程方案,较容易地实现了数字音乐合奏系统的原型。
{"title":"Distributed computing based streaming and play of music ensemble realized through TMO programming","authors":"K. Kim, Emmanuel Henrich, C. Im, Moon-Cheol Kim, Sung-Jin Kim, Yuqing Li, Sheng Liu, S. Yoo, L. Zheng, Qian Zhou","doi":"10.1109/WORDS.2005.28","DOIUrl":"https://doi.org/10.1109/WORDS.2005.28","url":null,"abstract":"We present a new class of multimedia applications where the exploitation of the principle of global-time-based coordination of distributed actions (TCoDA) is compelling. In these applications, multiple small-footprint PCs, each equipped with its own speakers, act as instrument players or singers forming an ensemble. Each player PC obtains its piece of the musical audio data over an Ethernet network from a central server containing all necessary audio files. An important requirement is thus to make multiple specialized players, e.g., violin player, cello player, piano player, etc., perform globally synchronous play of their responsible pieces of the music. Moreover, to enable fast start of the requested music play, the musical data are streamed from the server to each player in a pipelined fashion so that while each player is playing one part of the music, the next part may be arriving over the network. Efficient implementation techniques based on the TMO programming scheme are then presented. This digital music ensemble application turns out to be an interesting cost-effective means of evaluating the QoS of the middleware supporting TCoDA. A prototype implementation of a digital music ensemble system was relatively easily realized by use of the TMO programming scheme.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126018885","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
期刊
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1