首页 > 最新文献

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing最新文献

英文 中文
Early Modeling of Linux-Based RTOS Platforms in a SystemC Time-Approximate Co-simulation Environment 基于linux的RTOS平台在SystemC时间近似联合仿真环境下的早期建模
H. Posadas, E. Villar, Dominique Ragot, Marcos Martínez
The increase of computational power in embedded systems has allowed integrating together hard real-time tasks and rich applications. Complex SW infrastructures containing both RTOS and GPOS are required to handle this complexity. To optimally map system functionality to the hard-RT SW domain, to the general purpose SW domain or to HW peripherals, early performance evaluations at the first steps of the design process are required. Approximate timed co-simulation has been proposed as a fast solution for system modeling at early design steps. This co-simulation technique allows simulating systems at speed close to functional execution, while considering timing effects. As a consequence, system performance estimations can be obtained early, allowing efficient design space exploration and system refinement. To achieve fast simulation speed, the SW code is pre-annotated with time information. The annotated code is then natively executed, performing what is called native-based co-simulation. Previous native-based simulation environments are not prepared to model multi-OS systems, so the performance evaluation of the different SW domains is not possible. This paper proposes a new embedded system modeling solution considering dual RTOS/GPOS systems. A real Linux-based infrastructure has been modeled an integrated into a state-of-the-art co-simulation environment. The resulting solution is capable of modeling and evaluating all HW and SW system components providing the designer with valuable information for early system optimization and design space exploration.
嵌入式系统中计算能力的提高使得硬实时任务和丰富的应用程序能够集成在一起。需要包含RTOS和GPOS的复杂软件基础设施来处理这种复杂性。为了将系统功能最佳地映射到硬rt软件域、通用软件域或硬件外设,需要在设计过程的第一步进行早期性能评估。近似时间联合仿真被提出作为系统早期设计阶段建模的快速解决方案。这种联合仿真技术允许以接近功能执行的速度模拟系统,同时考虑时序影响。因此,可以尽早获得系统性能评估,从而允许有效的设计空间探索和系统改进。为了实现快速的仿真速度,在软件代码中预先标注了时间信息。然后本机执行带注释的代码,执行所谓的基于本机的联合模拟。以前基于本机的仿真环境没有准备好建模多操作系统,因此不可能对不同的软件域进行性能评估。本文提出了一种考虑双RTOS/GPOS系统的嵌入式系统建模新方案。一个真实的基于linux的基础设施已经被建模并集成到最先进的联合仿真环境中。最终的解决方案能够建模和评估所有硬件和软件系统组件,为设计人员提供早期系统优化和设计空间探索的宝贵信息。
{"title":"Early Modeling of Linux-Based RTOS Platforms in a SystemC Time-Approximate Co-simulation Environment","authors":"H. Posadas, E. Villar, Dominique Ragot, Marcos Martínez","doi":"10.1109/ISORC.2010.18","DOIUrl":"https://doi.org/10.1109/ISORC.2010.18","url":null,"abstract":"The increase of computational power in embedded systems has allowed integrating together hard real-time tasks and rich applications. Complex SW infrastructures containing both RTOS and GPOS are required to handle this complexity. To optimally map system functionality to the hard-RT SW domain, to the general purpose SW domain or to HW peripherals, early performance evaluations at the first steps of the design process are required. Approximate timed co-simulation has been proposed as a fast solution for system modeling at early design steps. This co-simulation technique allows simulating systems at speed close to functional execution, while considering timing effects. As a consequence, system performance estimations can be obtained early, allowing efficient design space exploration and system refinement. To achieve fast simulation speed, the SW code is pre-annotated with time information. The annotated code is then natively executed, performing what is called native-based co-simulation. Previous native-based simulation environments are not prepared to model multi-OS systems, so the performance evaluation of the different SW domains is not possible. This paper proposes a new embedded system modeling solution considering dual RTOS/GPOS systems. A real Linux-based infrastructure has been modeled an integrated into a state-of-the-art co-simulation environment. The resulting solution is capable of modeling and evaluating all HW and SW system components providing the designer with valuable information for early system optimization and design space exploration.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121806960","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}
引用次数: 11
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems 基于AADL的容错嵌入式系统体系结构和行为建模
G. Lasnier, T. Robert, L. Pautet, F. Kordon
AADL is an architecture description language intended for model-based engineering of high-integrity systems. The AADL Behavior Annex is an extension allowing the refinement of behavioral aspects described through AADL. When implementing Distributed Real-time Embedded system, fault tolerance concerns are integrated by applying replication patterns. We considered a simplified design of the primary backup replication pattern to express the modeling capabilities of AADL and its annex. Our contribution intends to give accurate description of the synchronization mechanisms integrated in this example.
AADL是一种体系结构描述语言,用于高完整性系统的基于模型的工程。AADL行为附件是一个扩展,允许细化通过AADL描述的行为方面。在实现分布式实时嵌入式系统时,通过应用复制模式集成了容错问题。我们考虑了主备份复制模式的简化设计,以表达AADL及其附件的建模功能。我们的贡献旨在准确地描述本示例中集成的同步机制。
{"title":"Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems","authors":"G. Lasnier, T. Robert, L. Pautet, F. Kordon","doi":"10.1109/ISORC.2010.32","DOIUrl":"https://doi.org/10.1109/ISORC.2010.32","url":null,"abstract":"AADL is an architecture description language intended for model-based engineering of high-integrity systems. The AADL Behavior Annex is an extension allowing the refinement of behavioral aspects described through AADL. When implementing Distributed Real-time Embedded system, fault tolerance concerns are integrated by applying replication patterns. We considered a simplified design of the primary backup replication pattern to express the modeling capabilities of AADL and its annex. Our contribution intends to give accurate description of the synchronization mechanisms integrated in this example.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114385674","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}
引用次数: 5
A Real-Time Component Framework: Experience with CCM and ARINC-653 实时组件框架:CCM和ARINC-653的经验
A. Dubey, G. Karsai, Róbert Kereskényi, N. Mahadevan
The complexity of software in systems like aerospace vehicles has reached the point where new techniques are needed to ensure system dependability while improving the productivity of developers. One possible approach is to use precisely defined software execution platforms that (1) enable the system to be composed from separate components, (2) restrict component interactions and prevent fault propagation, and (3) whose compositional properties are well-known. In this paper we describe the initial steps towards building a platform that combines component-based software construction with hard real-time operating system services. Specifically, the paper discusses how the CORBA Component Model (CCM) could be combined with the ARINC-653 platform services and the lessons learned from this experiment. The results point towards both extending the CCM as well as revising the ARINC-653.
在像航天飞行器这样的系统中,软件的复杂性已经达到了需要新技术来确保系统可靠性,同时提高开发人员的生产力的地步。一种可能的方法是使用精确定义的软件执行平台(1)使系统能够由独立的组件组成,(2)限制组件交互并防止故障传播,以及(3)其组合属性是众所周知的。在本文中,我们描述了构建一个将基于组件的软件构建与硬实时操作系统服务相结合的平台的初始步骤。具体来说,本文讨论了CORBA组件模型(CCM)如何与arinc653平台服务相结合,以及从该实验中获得的经验教训。结果表明,既可以扩展CCM,也可以修改arinc653。
{"title":"A Real-Time Component Framework: Experience with CCM and ARINC-653","authors":"A. Dubey, G. Karsai, Róbert Kereskényi, N. Mahadevan","doi":"10.1109/ISORC.2010.39","DOIUrl":"https://doi.org/10.1109/ISORC.2010.39","url":null,"abstract":"The complexity of software in systems like aerospace vehicles has reached the point where new techniques are needed to ensure system dependability while improving the productivity of developers. One possible approach is to use precisely defined software execution platforms that (1) enable the system to be composed from separate components, (2) restrict component interactions and prevent fault propagation, and (3) whose compositional properties are well-known. In this paper we describe the initial steps towards building a platform that combines component-based software construction with hard real-time operating system services. Specifically, the paper discusses how the CORBA Component Model (CCM) could be combined with the ARINC-653 platform services and the lessons learned from this experiment. The results point towards both extending the CCM as well as revising the ARINC-653.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128618892","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}
引用次数: 21
Design and Performance Evaluation of Binary Code Packing for Protecting Embedded Software against Reverse Engineering 保护嵌入式软件免遭逆向工程的二进制码封装设计与性能评价
Min-Jae Kim, Jin-Young Lee, Hyeyoung Chang, Seong-je Cho, Yongsu Park, Minkyu Park, P. Wilsey
Packing (or executable compression) is considered as one of the most effective anti-reverse engineering methods in the Microsoft Windows environment. Even though many reversing attacks are widely conducted in the Linux-based embedded system there is no widely used secure binary code packing tools for Linux. This paper presents two secure packing methods that use AES encryption and the UPX packer to protect the intellectual property (IP) of software from reverse engineering attacks on Linux-based embedded system. We call these methods: secure UPX and AES-encryption packing. Since the original UPX system is designed not for software protection but for code compression, we present two anti-debugging methods in the unpacking module of the secure UPX to detect or abort reverse engineering attacks. Furthermore, since embedded systems are highly resource constrained, minimizing unpacking overhead is important. Therefore, we analyze the performance of the two packing methods from the perspective of: (i) code size, (ii) execution time, and (iii) power consumption. Our analysis results show that the Secure UPX performs better than AES-encryption packing in terms of the code size, execution time, and power consumption.
打包(或可执行压缩)被认为是Microsoft Windows环境中最有效的反逆向工程方法之一。尽管在基于Linux的嵌入式系统中广泛进行了许多反向攻击,但目前还没有广泛使用的用于Linux的安全二进制代码打包工具。针对基于linux的嵌入式系统,提出了两种采用AES加密和UPX封装的安全封装方法,以保护软件的知识产权免受逆向工程攻击。我们称这些方法为:安全UPX和aes加密封装。由于原始UPX系统不是为软件保护而设计的,而是为代码压缩而设计的,因此我们在安全UPX的解包模块中提出了两种反调试方法来检测或中止逆向工程攻击。此外,由于嵌入式系统是高度资源约束的,因此最小化拆包开销非常重要。因此,我们从(i)代码大小、(ii)执行时间和(iii)功耗的角度来分析两种打包方法的性能。我们的分析结果表明,在代码大小、执行时间和功耗方面,Secure UPX的性能优于aes加密封装。
{"title":"Design and Performance Evaluation of Binary Code Packing for Protecting Embedded Software against Reverse Engineering","authors":"Min-Jae Kim, Jin-Young Lee, Hyeyoung Chang, Seong-je Cho, Yongsu Park, Minkyu Park, P. Wilsey","doi":"10.1109/ISORC.2010.23","DOIUrl":"https://doi.org/10.1109/ISORC.2010.23","url":null,"abstract":"Packing (or executable compression) is considered as one of the most effective anti-reverse engineering methods in the Microsoft Windows environment. Even though many reversing attacks are widely conducted in the Linux-based embedded system there is no widely used secure binary code packing tools for Linux. This paper presents two secure packing methods that use AES encryption and the UPX packer to protect the intellectual property (IP) of software from reverse engineering attacks on Linux-based embedded system. We call these methods: secure UPX and AES-encryption packing. Since the original UPX system is designed not for software protection but for code compression, we present two anti-debugging methods in the unpacking module of the secure UPX to detect or abort reverse engineering attacks. Furthermore, since embedded systems are highly resource constrained, minimizing unpacking overhead is important. Therefore, we analyze the performance of the two packing methods from the perspective of: (i) code size, (ii) execution time, and (iii) power consumption. Our analysis results show that the Secure UPX performs better than AES-encryption packing in terms of the code size, execution time, and power consumption.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114746905","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}
引用次数: 27
Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs 理解并有效预防基于描述符的无锁设计中的ABA问题
D. Dechev, P. Pirkelbauer, B. Stroustrup
An increasing number of modern real-time systems and the nowadays ubiquitous multicore architectures demand the application of programming techniques for reliable and efficient concurrent synchronization. Some recently developed Compare-And-Swap (CAS) based nonblocking techniques hold the promise of delivering practical and safer concurrency. The ABA problem is a fundamental problem to many CAS-based designs. Its significance has increased with the suggested use of CAS as a core atomic primitive for the implementation of portable lock-free algorithms. The ABA problem's occurrence is due to the intricate and complex interactions of the application's concurrent operations and, if not remedied, ABA can significantly corrupt the semantics of a nonblocking algorithm. The current state of the art leaves the elimination of the ABA hazards to the ingenuity of the software designer. In this work we provide the first systematic and detailed analysis of the ABA problem in lock-free Descriptor-based designs. We study the semantics of Descriptor-based lock-free data structures and propose a classification of their operations that helps us better understand the ABA problem and subsequently derive an effective ABA prevention scheme. Our ABA prevention approach outperforms by a large factor the use of the alternative CAS-based ABA prevention schemes. It offers speeds comparable to the use of the architecture-specific CAS2 instruction used for version counting. We demonstrate our ABA prevention scheme by integrating it into an advanced nonblocking data structure, a lock-free dynamically resizable array.
越来越多的现代实时系统和当今无处不在的多核体系结构要求应用编程技术来实现可靠和高效的并发同步。最近开发的一些基于比较与交换(CAS)的非阻塞技术有望提供实用且更安全的并发性。ABA问题是许多基于cas的设计的一个基本问题。它的重要性随着建议使用CAS作为实现可移植无锁算法的核心原子原语而增加。ABA问题的发生是由于应用程序的并发操作之间错综复杂的相互作用,如果不加以纠正,ABA可能会严重破坏非阻塞算法的语义。当前的技术状态将消除ABA的危害留给了软件设计者的聪明才智。在这项工作中,我们首次系统和详细地分析了基于无锁描述符的设计中的ABA问题。我们研究了基于描述符的无锁数据结构的语义,并提出了其操作的分类,这有助于我们更好地理解ABA问题,并随后得出有效的ABA预防方案。我们的ABA预防方法在很大程度上优于其他基于cas的ABA预防方案。它提供了与使用用于版本计数的特定于体系结构的CAS2指令相当的速度。我们通过将我们的ABA预防方案集成到一个先进的非阻塞数据结构中,一个无锁的动态可调整大小的数组。
{"title":"Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs","authors":"D. Dechev, P. Pirkelbauer, B. Stroustrup","doi":"10.1109/ISORC.2010.10","DOIUrl":"https://doi.org/10.1109/ISORC.2010.10","url":null,"abstract":"An increasing number of modern real-time systems and the nowadays ubiquitous multicore architectures demand the application of programming techniques for reliable and efficient concurrent synchronization. Some recently developed Compare-And-Swap (CAS) based nonblocking techniques hold the promise of delivering practical and safer concurrency. The ABA problem is a fundamental problem to many CAS-based designs. Its significance has increased with the suggested use of CAS as a core atomic primitive for the implementation of portable lock-free algorithms. The ABA problem's occurrence is due to the intricate and complex interactions of the application's concurrent operations and, if not remedied, ABA can significantly corrupt the semantics of a nonblocking algorithm. The current state of the art leaves the elimination of the ABA hazards to the ingenuity of the software designer. In this work we provide the first systematic and detailed analysis of the ABA problem in lock-free Descriptor-based designs. We study the semantics of Descriptor-based lock-free data structures and propose a classification of their operations that helps us better understand the ABA problem and subsequently derive an effective ABA prevention scheme. Our ABA prevention approach outperforms by a large factor the use of the alternative CAS-based ABA prevention schemes. It offers speeds comparable to the use of the architecture-specific CAS2 instruction used for version counting. We demonstrate our ABA prevention scheme by integrating it into an advanced nonblocking data structure, a lock-free dynamically resizable array.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"131 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122745047","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}
引用次数: 62
ServiceDDS: A Framework for Real-Time P2P Systems Integration ServiceDDS:实时P2P系统集成框架
José A. Dianes, M. Díaz, B. Rubio
In recent times real-time distributed systems have definitively become peer-to-peer organized. The common interactions are those of different real-time components dealing with sensors or actuators, implementing controllers, performing monitoring and surveillance tasks, and interacting between them in a dynamic decentralized way. There is a need for mechanisms that allow the integration of these independent components, saving development time while keeping their real-time capability. Services and events, thanks to their decoupled nature are perfect candidates for supporting these architectures. The data centric approach goes even farther, introducing a global data space that allows a flexible, decoupled and scalable coordination environment over which services and events can be added as specific interactions mechanisms inside this global data space, in order to support all the architectural possibilities. The Data Distribution Service specification provides a totally decentralized data-centric approach with real-time quality of service support. It is a perfect base upon which to develop a framework for the integration of real-time distributed architectures.
最近,实时分布式系统已经明确地成为点对点组织。常见的交互是处理传感器或执行器、实现控制器、执行监视和监视任务的不同实时组件之间的交互,并以动态分散的方式在它们之间进行交互。我们需要一种机制,允许这些独立组件的集成,在保持其实时功能的同时节省开发时间。由于服务和事件的解耦特性,它们是支持这些体系结构的完美选择。以数据为中心的方法走得更远,它引入了一个全局数据空间,允许灵活的、解耦的和可伸缩的协调环境,在这个全局数据空间中,服务和事件可以作为特定的交互机制被添加,以支持所有的架构可能性。数据分布服务规范提供了一种完全分散的以数据为中心的方法,具有实时服务质量支持。它是开发实时分布式体系结构集成框架的完美基础。
{"title":"ServiceDDS: A Framework for Real-Time P2P Systems Integration","authors":"José A. Dianes, M. Díaz, B. Rubio","doi":"10.1109/ISORC.2010.37","DOIUrl":"https://doi.org/10.1109/ISORC.2010.37","url":null,"abstract":"In recent times real-time distributed systems have definitively become peer-to-peer organized. The common interactions are those of different real-time components dealing with sensors or actuators, implementing controllers, performing monitoring and surveillance tasks, and interacting between them in a dynamic decentralized way. There is a need for mechanisms that allow the integration of these independent components, saving development time while keeping their real-time capability. Services and events, thanks to their decoupled nature are perfect candidates for supporting these architectures. The data centric approach goes even farther, introducing a global data space that allows a flexible, decoupled and scalable coordination environment over which services and events can be added as specific interactions mechanisms inside this global data space, in order to support all the architectural possibilities. The Data Distribution Service specification provides a totally decentralized data-centric approach with real-time quality of service support. It is a perfect base upon which to develop a framework for the integration of real-time distributed architectures.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129429227","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}
引用次数: 11
Multi-objective Exploration of Compiler Optimizations for Real-Time Systems 实时系统编译器优化的多目标探索
Paul Lokuciejewski, Sascha Plazar, H. Falk, P. Marwedel, L. Thiele
With the growing complexity of embedded systems software, high code quality can only be achieved using a compiler. Sophisticated compilers provide a vast spectrum of various optimizations to improve code aggressively w. r. t. different objective functions, e. g., average-case execution time (ACET) or code size. Due to the complex interactions between the optimizations, the choice for a promising sequence of code transformations is not trivial. Compiler developers address this problem by proposing standard optimization levels, e. g., O3 or Os. However, previous studies have shown that these standard levels often miss optimization potential or might even result in performance degradation. In this paper, we propose the first adaptive WCET-aware compiler framework for an automatic search of compiler optimization sequences which yield highly optimized code. Besides the objective functions ACET and code size, we consider the worst-case execution time (WCET) which is a crucial parameter for real-time systems. To find suitable trade-offs between these objectives, stochastic evolutionary multi-objective algorithms identifying Pareto optimal solutions are exploited. A comparison based on statistical performance assessments is performed which helps to determine the most suitable multi-objective optimizer. The effectiveness of our approach is demonstrated on real-life benchmarks showing that standard optimization levels can be significantly outperformed.
随着嵌入式系统软件的日益复杂,只有使用编译器才能实现高质量的代码。复杂的编译器提供了广泛的各种优化,以根据不同的目标函数(例如,平均情况执行时间(ACET)或代码大小)积极改进代码。由于优化之间的复杂交互,选择一个有前途的代码转换序列是非常重要的。编译器开发人员通过提出标准的优化级别来解决这个问题,例如O3或o。然而,以前的研究表明,这些标准级别经常错过优化潜力,甚至可能导致性能下降。在本文中,我们提出了第一个自适应wcet感知编译器框架,用于自动搜索编译器优化序列,从而产生高度优化的代码。除了目标函数ACET和代码大小外,我们还考虑了最坏情况执行时间(WCET),这是实时系统的一个重要参数。为了在这些目标之间找到合适的权衡,利用随机进化多目标算法识别帕累托最优解。基于统计性能评估的比较有助于确定最合适的多目标优化器。我们的方法的有效性在现实生活的基准测试中得到了证明,表明标准优化水平可以显著优于标准优化水平。
{"title":"Multi-objective Exploration of Compiler Optimizations for Real-Time Systems","authors":"Paul Lokuciejewski, Sascha Plazar, H. Falk, P. Marwedel, L. Thiele","doi":"10.1109/ISORC.2010.15","DOIUrl":"https://doi.org/10.1109/ISORC.2010.15","url":null,"abstract":"With the growing complexity of embedded systems software, high code quality can only be achieved using a compiler. Sophisticated compilers provide a vast spectrum of various optimizations to improve code aggressively w. r. t. different objective functions, e. g., average-case execution time (ACET) or code size. Due to the complex interactions between the optimizations, the choice for a promising sequence of code transformations is not trivial. Compiler developers address this problem by proposing standard optimization levels, e. g., O3 or Os. However, previous studies have shown that these standard levels often miss optimization potential or might even result in performance degradation. In this paper, we propose the first adaptive WCET-aware compiler framework for an automatic search of compiler optimization sequences which yield highly optimized code. Besides the objective functions ACET and code size, we consider the worst-case execution time (WCET) which is a crucial parameter for real-time systems. To find suitable trade-offs between these objectives, stochastic evolutionary multi-objective algorithms identifying Pareto optimal solutions are exploited. A comparison based on statistical performance assessments is performed which helps to determine the most suitable multi-objective optimizer. The effectiveness of our approach is demonstrated on real-life benchmarks showing that standard optimization levels can be significantly outperformed.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124710923","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}
引用次数: 19
An Admission Control Protocol for Real-Time OSGi 面向实时OSGi的准入控制协议
Thomas Richardson, A. Wellings
In previous work we motivated the need for using the OSGi Framework with the RTSJ to develop real-time systems. We found a number of issues with using these technologies together. One of the issues we discovered was unbounded dynamism caused by the absence of admission control. Components can be uninstalled, installed and updated without regulation. This means that it is impossible to guarantee resources to components. In this paper, we propose a solution to the unbounded dynamism problem by providing an admission control protocol for real-time OSGi. We also provide a priority assignment approach to support temporal isolation. The combination of admission control and temporal isolation ensure that it is safe to update components or install components into the system in terms of guaranteeing resources to components. We show the practicality of our admission control protocol by implementing a prototype and measuring the execution time overhead incurred when performing a component install with admission control.
在之前的工作中,我们提出了使用OSGi框架和RTSJ来开发实时系统的需求。我们发现将这些技术结合使用会出现一些问题。我们发现的一个问题是由于缺乏准入控制而导致的无限动态。组件可任意卸载、安装和更新。这意味着不可能保证组件的资源。本文提出了一种解决无界动态问题的方法,即为实时OSGi提供一种准入控制协议。我们还提供了一种优先级分配方法来支持时间隔离。接纳控制和临时隔离的结合确保了更新组件或将组件安装到系统中是安全的,从而保证了组件的资源。我们通过实现一个原型和测量在使用接纳控制执行组件安装时产生的执行时间开销来展示我们的接纳控制协议的实用性。
{"title":"An Admission Control Protocol for Real-Time OSGi","authors":"Thomas Richardson, A. Wellings","doi":"10.1109/ISORC.2010.19","DOIUrl":"https://doi.org/10.1109/ISORC.2010.19","url":null,"abstract":"In previous work we motivated the need for using the OSGi Framework with the RTSJ to develop real-time systems. We found a number of issues with using these technologies together. One of the issues we discovered was unbounded dynamism caused by the absence of admission control. Components can be uninstalled, installed and updated without regulation. This means that it is impossible to guarantee resources to components. In this paper, we propose a solution to the unbounded dynamism problem by providing an admission control protocol for real-time OSGi. We also provide a priority assignment approach to support temporal isolation. The combination of admission control and temporal isolation ensure that it is safe to update components or install components into the system in terms of guaranteeing resources to components. We show the practicality of our admission control protocol by implementing a prototype and measuring the execution time overhead incurred when performing a component install with admission control.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129486067","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}
引用次数: 16
Energy-Saving Mechanisms in the Time-Triggered Architecture 时间触发建筑中的节能机制
H. Kopetz
Energy consumption is a major issue in the design of embedded systems that are battery-driven. At the architectural level energy savings can be realized by a diversity of mechanisms. This paper presents the energy-savings mechanisms that are part of the time-triggered architecture (TTA). The paper starts with a general section on energy dissipation in VSLI circuits and an outline of the architectural style of the time-triggered architecture as far as it is relevant for energy efficiency. In the following three Sections we elaborate on the TTA energy-savings mechanisms at the system level, the component level, and of the communication system.
在电池驱动的嵌入式系统设计中,能源消耗是一个主要问题。在架构级别,可以通过多种机制实现节能。本文介绍了时间触发架构(TTA)的节能机制。本文首先概述了VSLI电路的能量耗散,并概述了时间触发架构的架构风格,因为它与能源效率有关。在接下来的三个部分中,我们将详细阐述系统级、组件级和通信系统的TTA节能机制。
{"title":"Energy-Saving Mechanisms in the Time-Triggered Architecture","authors":"H. Kopetz","doi":"10.1109/ISORC.2010.33","DOIUrl":"https://doi.org/10.1109/ISORC.2010.33","url":null,"abstract":"Energy consumption is a major issue in the design of embedded systems that are battery-driven. At the architectural level energy savings can be realized by a diversity of mechanisms. This paper presents the energy-savings mechanisms that are part of the time-triggered architecture (TTA). The paper starts with a general section on energy dissipation in VSLI circuits and an outline of the architectural style of the time-triggered architecture as far as it is relevant for energy efficiency. In the following three Sections we elaborate on the TTA energy-savings mechanisms at the system level, the component level, and of the communication system.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128928424","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}
引用次数: 1
Real-Time-Component Based Software Architecture for QoS-adaptive Networked Multimedia Applications 基于实时组件的自适应qos网络多媒体应用软件体系结构
Juan A. Colmenares, K. Kim, Zhen Zhang, Chae-Deok Lim, K. Rim
Highly desirable types of networked multimedia applications should adapt to changes in the environmental conditions in which they operate, such as communication bandwidth, available memory, and battery lifetime, while providing the best possible quality of service (QoS). In this paper we present a software architecture that facilitates the development of adaptive networked multimedia applications which meet this requirement. The proposed software architecture is based on the Time-triggered Message-triggered Object (TMO) programming scheme and it is implemented as a thin layer on top of the TMO Support Middleware (TMOSM). The new layer, called the QoS Adaptation Support Layer (QASL), includes monitoring andruntime reconfiguration facilities that allow us to easily incorporate QoS-adaptation capabilities into TMO-based multimedia applications. In addition, we introduce a novel, practical approach for establishing the QoS configurations that guide the adaptive behavior of a networked multimedia application. A QoS configuration contains a set of parameters that specify the quality-related characteristics of the media streams which a receiver expects from a sender. We also present a strategy used in QASL for selecting, from a given set of QoS configurations, an optimal configuration by reflecting currently observed environmental conditions. Finally, the effectiveness of the QoS-adaptation mechanisms implemented in QASL is evaluated with the use of a heterogeneous network based multi-party videoconference application.
非常理想的网络多媒体应用程序类型应该适应其运行环境条件的变化,例如通信带宽、可用内存和电池寿命,同时提供尽可能好的服务质量(QoS)。在本文中,我们提出了一种软件体系结构,可以促进自适应网络多媒体应用程序的开发,从而满足这一需求。所提出的软件体系结构基于时间触发消息触发对象(TMO)编程方案,并作为TMO支持中间件(TMOSM)之上的薄层实现。这个新层被称为QoS适配支持层(QASL),它包括监控和运行时重构功能,使我们能够轻松地将QoS适配功能整合到基于tmo的多媒体应用程序中。此外,我们还介绍了一种新的实用方法,用于建立QoS配置,指导网络多媒体应用程序的自适应行为。QoS配置包含一组参数,用于指定接收方期望发送方提供的媒体流的质量相关特征。我们还提出了QASL中使用的一种策略,通过反映当前观察到的环境条件,从一组给定的QoS配置中选择最佳配置。最后,通过一个基于异构网络的多方视频会议应用,对QASL中qos适应机制的有效性进行了评估。
{"title":"Real-Time-Component Based Software Architecture for QoS-adaptive Networked Multimedia Applications","authors":"Juan A. Colmenares, K. Kim, Zhen Zhang, Chae-Deok Lim, K. Rim","doi":"10.1109/ISORC.2010.44","DOIUrl":"https://doi.org/10.1109/ISORC.2010.44","url":null,"abstract":"Highly desirable types of networked multimedia applications should adapt to changes in the environmental conditions in which they operate, such as communication bandwidth, available memory, and battery lifetime, while providing the best possible quality of service (QoS). In this paper we present a software architecture that facilitates the development of adaptive networked multimedia applications which meet this requirement. The proposed software architecture is based on the Time-triggered Message-triggered Object (TMO) programming scheme and it is implemented as a thin layer on top of the TMO Support Middleware (TMOSM). The new layer, called the QoS Adaptation Support Layer (QASL), includes monitoring andruntime reconfiguration facilities that allow us to easily incorporate QoS-adaptation capabilities into TMO-based multimedia applications. In addition, we introduce a novel, practical approach for establishing the QoS configurations that guide the adaptive behavior of a networked multimedia application. A QoS configuration contains a set of parameters that specify the quality-related characteristics of the media streams which a receiver expects from a sender. We also present a strategy used in QASL for selecting, from a given set of QoS configurations, an optimal configuration by reflecting currently observed environmental conditions. Finally, the effectiveness of the QoS-adaptation mechanisms implemented in QASL is evaluated with the use of a heterogeneous network based multi-party videoconference application.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124559783","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}
引用次数: 3
期刊
2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
全部 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学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1