Proceedings Third IEEE Real-Time Technology and Applications Symposium最新文献_第2页

Scheduling multimedia applications under overload and non-deterministic conditions 在过载和不确定条件下调度多媒体应用程序

Proceedings Third IEEE Real-Time Technology and Applications Symposium Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601356

T. Tan, W. Hsu

引用次数: 12

Streamlining real-time controller design: From performance specifications to end-to-end timing constraints 简化实时控制器设计:从性能规格到端到端的时序约束

Proceedings Third IEEE Real-Time Technology and Applications Symposium Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601347

Minsoo Ryu, Seongsoo Hong, M. Saksena

{"title":"Streamlining real-time controller design: From performance specifications to end-to-end timing constraints","authors":"Minsoo Ryu, Seongsoo Hong, M. Saksena","doi":"10.1109/RTTAS.1997.601347","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601347","url":null,"abstract":"This paper presents a control theoretic approach to optimizing end-to-end timing constraints subject to the performance requirements and the schedulability constraint of a real-time control system. The control performance is specified in terms of control output responses such as steady state error maximum overshoot, settling time, and rise time; and the end-to-end timing constraints include loop processing periods and input-to-output latency. Our approach includes a generic real-time controller model on which our analysis is performed, and a heuristic optimization algorithm which derives end-to-end timing constraints. We apply the approach to the design of an embedded real-time controller and validate it through an experimental study using simulation. Our approach contributes to both the control and real-time areas: (1) it allows control engineers to take into consideration the effect of scheduling latency and sampling periods at the early stage of system design; and (2) it makes it possible to streamline the design of real-time control systems, since temporal requirements are derived in an automatic manner. Our approach can be effectively used with the period calibration method as its front-end.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130566994","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}

引用次数: 63

Automatic test generation for the analysis of a real-time system: Case study 实时系统分析的自动测试生成:案例研究

Proceedings Third IEEE Real-Time Technology and Applications Symposium Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601349

D. Clarke, Insup Lee

{"title":"Automatic test generation for the analysis of a real-time system: Case study","authors":"D. Clarke, Insup Lee","doi":"10.1109/RTTAS.1997.601349","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601349","url":null,"abstract":"We present a framework for testing timing constraints of real-time systems. Our tests are automatically derived from specifications of minimum and maximum allowable delays between input/output events in the execution of a system. Our test derivation scheme uses a graphical specification formalism for timing constraints, and the real-time process algebra Algebra of Communicating Shared Resources (ACSR) for representing tests and process models. The use of ACSR to describe test sequences has two main advantages. First, tests can be applied to an ACSR model of the software system within the ACSR semantic framework for model validation purposes. Second, ACSR has concise notation and a precise semantics that will facilitate the translation of real-time tests into a software test language for software validation purposes. The major benefit of our approach is that it can be used to validate a design specification which has too many states for exhaustive state space exploration based analysis. As an illustration of this benefit, we describe the case study of using the automatic derivation of tests from timing specifications for the analysis of the Philips Audio Control Protocol.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124873672","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

Real-time CORBA 实时CORBA

Proceedings Third IEEE Real-Time Technology and Applications Symposium Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601352

V. Wolfe, L. DiPippo, Gregory Cooper, Russell Johnston, Peter Kortmann, B. Thuraisingham

引用次数: 167

Admission control for soft-deadline transactions in ACCORD ACCORD中软截止日期事务的接纳控制

Proceedings Third IEEE Real-Time Technology and Applications Symposium Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601353

Sue Nagy, Azer Bestavros

引用次数: 10

Broadcast on demand: efficient and timely dissemination of data in mobile environments 点播:在移动环境中高效、及时地传播数据

Proceedings Third IEEE Real-Time Technology and Applications Symposium Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601342

Ping Xuan, S. Sen, O. González, J. Fernández-Conde, K. Ramamritham

引用次数: 151

On laying out virtual paths for real-time message streams in ATM networks ATM网络中实时消息流的虚拟路径设置

Proceedings Third IEEE Real-Time Technology and Applications Symposium Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601323

Yi Ye, J. Hou

引用次数: 2

A flexible, extensible simulation environment for testing real-time specifications 一个灵活的，可扩展的仿真环境，用于测试实时规范

Proceedings Third IEEE Real-Time Technology and Applications Symposium Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601350

M. Brockmeyer, F. Jahanian, C. Heitmeyer, Elly Winner

引用次数: 11

Analyzing the real-time properties of a dataflow execution paradigm using a synthetic aperture radar application 使用合成孔径雷达应用程序分析数据流执行范例的实时性

Proceedings Third IEEE Real-Time Technology and Applications Symposium Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601344

S. Goddard

引用次数: 44

An approach to automatic detection of software failures in real-time systems 实时系统中软件故障的自动检测方法

Proceedings Third IEEE Real-Time Technology and Applications Symposium Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601351

T. Savor, R. Seviora

{"title":"An approach to automatic detection of software failures in real-time systems","authors":"T. Savor, R. Seviora","doi":"10.1109/RTTAS.1997.601351","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601351","url":null,"abstract":"Software supervision is an approach to automatic detection of software failures. A software supervisor observes the inputs and outputs of a target system. It uses a model of correct behavior, derived from the target system's requirements specification. Discrepancies between specified and observed behaviors are reported as failures. The tradeoff between the computational complexity of supervision and the latency of failure reporting is discussed in this paper. Supervisor computational complexity can be significantly reduced at the expense of increased failure reporting latency. For applications such as software testing, this is a practical tradeoff. Such a supervisor is called an out-of-time supervisor. This paper describes the data, flows, algorithms, operation and evaluation of an out-of-time supervisor for communicating finite state machine based requirements specifications. A prototype supervisor was used to monitor the operation a small telephone exchange control program. For a failure reporting latency equal to the worst-case response time of the target system, a reduction in computational complexity of several orders of magnitude was measured.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127449954","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}

引用次数: 51