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时间近似联合仿真环境下的早期建模

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.18

H. Posadas, E. Villar, Dominique Ragot, Marcos Martínez

{"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的容错嵌入式系统体系结构和行为建模

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.32

G. Lasnier, T. Robert, L. Pautet, F. Kordon

引用次数: 5

A Real-Time Component Framework: Experience with CCM and ARINC-653 实时组件框架:CCM和ARINC-653的经验

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.39

A. Dubey, G. Karsai, Róbert Kereskényi, N. Mahadevan

引用次数: 21

Design and Performance Evaluation of Binary Code Packing for Protecting Embedded Software against Reverse Engineering 保护嵌入式软件免遭逆向工程的二进制码封装设计与性能评价

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.23

Min-Jae Kim, Jin-Young Lee, Hyeyoung Chang, Seong-je Cho, Yongsu Park, Minkyu Park, P. Wilsey

{"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问题

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.10

D. Dechev, P. Pirkelbauer, B. Stroustrup

{"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系统集成框架

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.37

José A. Dianes, M. Díaz, B. Rubio

{"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 实时系统编译器优化的多目标探索

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.15

Paul Lokuciejewski, Sascha Plazar, H. Falk, P. Marwedel, L. Thiele

{"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的准入控制协议

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.19

Thomas Richardson, A. Wellings

引用次数: 16

Energy-Saving Mechanisms in the Time-Triggered Architecture 时间触发建筑中的节能机制

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.33

H. Kopetz

引用次数: 1

Real-Time-Component Based Software Architecture for QoS-adaptive Networked Multimedia Applications 基于实时组件的自适应qos网络多媒体应用软件体系结构

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.44

Juan A. Colmenares, K. Kim, Zhen Zhang, Chae-Deok Lim, K. Rim

{"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