28th IEEE International Real-Time Systems Symposium (RTSS 2007)最新文献_第4页

Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts 实现具有两级硬件中断的混合操作系统

28th IEEE International Real-Time Systems Symposium (RTSS 2007) Pub Date : 2007-12-03 DOI: 10.1109/RTSS.2007.10

Miao Liu, Z. Shao, M. Wang, Hongxing Wei, Tianmiao Wang

引用次数: 19

ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks 基于分析的无线传感器网络设计工具

28th IEEE International Real-Time Systems Symposium (RTSS 2007) Pub Date : 2007-12-03 DOI: 10.1109/RTSS.2007.28

V. Prasad, Ting Yan, P. Jayachandran, Zengzhong Li, S. Son, J. Stankovic, J. Hansson, T. Abdelzaher

{"title":"ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks","authors":"V. Prasad, Ting Yan, P. Jayachandran, Zengzhong Li, S. Son, J. Stankovic, J. Hansson, T. Abdelzaher","doi":"10.1109/RTSS.2007.28","DOIUrl":"https://doi.org/10.1109/RTSS.2007.28","url":null,"abstract":"We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment ANDES enables designers to systematically develop a model for the system, refine it iteratively by tuning the system parameters based on existing analysis techniques, and resolve key design decisions according to the required system performance. We also present a real-time communication schedulability analysis for sensor networks based on exact characterization which utilizes information regarding network topology and workload characteristics to analyze the schedulability of a set of periodic streams with real-time constraints. We further demonstrate the use of ANDES for the designers through detailed case studies where we design wireless sensor network applications (for target detection and environmental monitoring) using ANDES and validate the results through simulations. Currently, ANDES supports communication schedulability analysis, target tracking analysis and real-time capacity analysis which work on system models with differing levels of detail. ANDES has been developed by extending the AADL/OSATE framework which has been used extensively for real-time and embedded systems. Based on key insights gained from the development of this analysis tool, we address issues in AADL for its use in the field of wireless sensor networks. We have developed a plug-in for ANDES, called ModelGeneration, which bridges the gap between the semantics needed for sensor networks and the syntax supported by AADL. This makes it easy for sensor network designers to build system models that are intuitive to them. Furthermore, ANDES is extensible and new analysis techniques can be easily incorporated into the toolset.","PeriodicalId":214762,"journal":{"name":"28th IEEE International Real-Time Systems Symposium (RTSS 2007)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125212080","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}

引用次数: 57

The Design of an EDF-Scheduled Resource-Sharing Open Environment edf调度资源共享开放环境的设计

28th IEEE International Real-Time Systems Symposium (RTSS 2007) Pub Date : 2007-12-03 DOI: 10.1109/RTSS.2007.23

N. Fisher, M. Bertogna, Sanjoy Baruah

引用次数: 81

Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines 带截止日期的序列作业容错测试的快速算法

28th IEEE International Real-Time Systems Symposium (RTSS 2007) Pub Date : 2007-12-03 DOI: 10.1109/RTSS.2007.20

M. Chrobak, M. Hurand, J. Sgall

引用次数: 22

A UML-Based Design Framework for Time-Triggered Applications 时间触发应用的基于uml的设计框架

28th IEEE International Real-Time Systems Symposium (RTSS 2007) Pub Date : 2007-12-03 DOI: 10.1109/RTSS.2007.18

K. D. Nguyen, P. Thiagarajan, W. Wong

引用次数: 21

Integrating Adaptive Components: An Emerging Challenge in Performance-Adaptive Systems and a Server Farm Case-Study 集成自适应组件:性能自适应系统中的新挑战和服务器场案例研究

28th IEEE International Real-Time Systems Symposium (RTSS 2007) Pub Date : 2007-12-03 DOI: 10.1109/RTSS.2007.48

Jin Heo, D. Henriksson, Xue Liu, T. Abdelzaher

{"title":"Integrating Adaptive Components: An Emerging Challenge in Performance-Adaptive Systems and a Server Farm Case-Study","authors":"Jin Heo, D. Henriksson, Xue Liu, T. Abdelzaher","doi":"10.1109/RTSS.2007.48","DOIUrl":"https://doi.org/10.1109/RTSS.2007.48","url":null,"abstract":"The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of adaptive components into larger adaptive systems, however, presents challenges that arise from potential incompatibilities among the respective adaptation policies. Consequently, unstable or poorly-tuned feedback loops may result that cause performance deterioration. This paper (i) presents a mechanism, called adaptation graph analysis, for identifying potential incompatibilities between composed adaptation policies and (ii) illustrates a general design methodology for co-adaptation that resolves such incompatibilities. Our results are demonstrated by a case study on energy minimization in multi-tier Web server farms subject to soft real-time constraints. Two independently efficient energy saving policies (an on/off policy that switches machines off when not needed and a dynamic voltage scaling policy) are shown to conflict leading to increased energy consumption when combined. Our adaptation graph analysis predicts the problem, and our co-adaptation design methodology finds a solution that improves performance. Experimental results from a 17-server farm running the industry standard TPC-W e-commerce benchmark show that co-adaptation renders a cut-down in energy consumption by more than 50%, when workload is not high, while maintaining latency within acceptable bounds. The paper serves as a proof of concept of the proposed conflict-identification and resolution methodology and an invitation to further investigate a science for composing adaptive systems.","PeriodicalId":214762,"journal":{"name":"28th IEEE International Real-Time Systems Symposium (RTSS 2007)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132954211","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}

引用次数: 269

Analysis of Hierarchical EDF Pre-emptive Scheduling 分层EDF抢占调度分析

28th IEEE International Real-Time Systems Symposium (RTSS 2007) Pub Date : 2007-12-03 DOI: 10.1109/RTSS.2007.12

Fengxiang Zhang, A. Burns

引用次数: 60

Verifying Linear Real-Time Logic Specifications 验证线性实时逻辑规格

28th IEEE International Real-Time Systems Symposium (RTSS 2007) Pub Date : 2007-12-03 DOI: 10.1109/RTSS.2007.14

S. Andrei, A. Cheng

{"title":"Verifying Linear Real-Time Logic Specifications","authors":"S. Andrei, A. Cheng","doi":"10.1109/RTSS.2007.14","DOIUrl":"https://doi.org/10.1109/RTSS.2007.14","url":null,"abstract":"Formal specification and verification are critical to the development of safe real-time and embedded systems, which have become increasingly complex. Real-time logic (RTL) has been used to describe the specification and safety assertion of real-time systems. However, the satisfiability problem for RTL, as well as other first-order logics, is undecidable. There exist already non-trivial fragments of RTL, like path RTL and extended path RTL, for which the verification can be done efficiently. The key idea used by these RTL fragments was the so-called constraint graph. The constraint graph can express dependencies between two events, but cannot describe dependencies between three or more events. This paper presents a larger class than existing fragments of RTL for which the verification problem can also be solved efficiently. Our new class is called linear real-time logic (LRTL) and includes the existing decidable RTL fragments like path RTL and extended path RTL. The LRTL class is able to express any linear timing constraint with an arbitrary number of events variables (e.g., between three or more events). The main ingredient of the LRTL class is the use of matrices instead of the constraint graph, as a more powerful data structure capable of performing the conversion from RTL to a prepositional formula. The unsatisfiability of the prepositional formula will ensure the safety and feasibility of the given real-time system. Experimental results show that the execution times for LRTL are better than the systems expressed in extended path RTL, and comparable with those expressed in path RTL.","PeriodicalId":214762,"journal":{"name":"28th IEEE International Real-Time Systems Symposium (RTSS 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128529312","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}

引用次数: 9

Performance Evaluation of a Self-Maintained Memory Module 自维护内存条的性能评估

28th IEEE International Real-Time Systems Symposium (RTSS 2007) Pub Date : 2007-12-01 DOI: 10.1109/RTSS.2007.30

Weixing Ji, Feng Shi, B. Qiao, Qi Zuo, Caixia Liu

引用次数: 26

Techniques for Multiprocessor Global Schedulability Analysis 多处理器全局可调度性分析技术

28th IEEE International Real-Time Systems Symposium (RTSS 2007) Pub Date : 1900-01-01 DOI: 10.1109/RTSS.2007.35

Sanjoy Baruah

引用次数: 216