发布求助
文献互助 智能选刊 最新文献

Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)最新文献

筛选
英文 中文
SRDE-application of data similarity to process control 数据相似度在过程控制中的应用
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) Pub Date : 1999-12-01 DOI: 10.1109/REAL.1999.818835
Deji Chen, A. Mok
{"title":"SRDE-application of data similarity to process control","authors":"Deji Chen, A. Mok","doi":"10.1109/REAL.1999.818835","DOIUrl":"https://doi.org/10.1109/REAL.1999.818835","url":null,"abstract":"The concept of data similarity was introduced by T.-W. Kuo and A.K. Mok (1996) to capture the semantics of real time applications where the consistency requirement of a transaction can be relaxed modulo a binary relation on the data space. Even though the notion of data similarity is naturally suited to many applications in the process control industry, its adoption is hampered by the lack of an easy interface to COTS (commercial-off-the-shelf) components. We report our ongoing work in incorporating the idea of data similarity into embedded applications, especially in the process control industry. Our approach is to allow designers to specify similarity predicates by means of an SQL-like interface to the client applications. Query processing is performed by a compact firm-real-time database engine called SRDE (Similarity-based Real-time Database Engine). SRDE is object oriented and is designed to manage real-time data efficiently in a distributed environment. By exploiting data similarity, SRDE can be used to minimize data traffic according to the client's specifications. SRDE has been implemented in 100% JAVA that supports JDBC API. We demonstrate the use of SRDE in a typical industrial control application.","PeriodicalId":160347,"journal":{"name":"Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126537200","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
Remote controlled mobile imaging in a high temperature tunnel environment 高温隧道环境下的遥控移动成像
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) Pub Date : 1999-12-01 DOI: 10.1109/REAL.1999.818844
G. Mauer, C. Fernando
{"title":"Remote controlled mobile imaging in a high temperature tunnel environment","authors":"G. Mauer, C. Fernando","doi":"10.1109/REAL.1999.818844","DOIUrl":"https://doi.org/10.1109/REAL.1999.818844","url":null,"abstract":"A custom remote controlled vehicle was developed and tested for imaging data acquisition in high-temperature environments (up to 300/spl deg/C.) Through a wireless remote control system, an operator can position the cameras to visually inspect and measure temperature distributions on any surface area of a 50 meter long underground tunnel. Feedback to the operator is provided through three wireless video channels, whose images are displayed live on the console. Alternatively, an automatically running program can record optical and thermal images over the entire tunnel. The imaging apparatus consists of a remote section equipped with cameras, pan unit and wireless communication units, all of which must operate in an environment with temperatures up to 300/spl deg/C for the duration of the image acquisition period (approximately 1.0 hours). The remote unit is controlled from a computer system located outside the high-temperature zone. Application software with a graphical user interface (GUI) was developed for real time remote control and for the monitoring of the measurement and observation process.","PeriodicalId":160347,"journal":{"name":"Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115128551","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
IP security impact on system performance in a distributed real-time environment 分布式实时环境下，IP安全对系统性能的影响
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) Pub Date : 1999-12-01 DOI: 10.1109/REAL.1999.818846
B. L. Chappell, D. Marlow, IV PhilipM.Irey, K. O'Donoghue
{"title":"IP security impact on system performance in a distributed real-time environment","authors":"B. L. Chappell, D. Marlow, IV PhilipM.Irey, K. O'Donoghue","doi":"10.1109/REAL.1999.818846","DOIUrl":"https://doi.org/10.1109/REAL.1999.818846","url":null,"abstract":"Information security in Naval shipboard platforms is becoming increasingly important with the move towards distributed computing, increased automation, and Commercial Off The Shelf (COTS) systems. Additionally, there are hard real-time requirements that must be met in a combat system, which is a critical component of the total shipboard platform. Information security services and real-time services are sometimes required simultaneously. However the real-time requirements and the security requirements conflict with one another. NSWC-DD has initiated testing of a security enhancement for the Internet Protocol, IP Security (IPSEC) in a distributed real-time environment. This paper provides a brief overview how IPSEC may be used in the platform of interest and the impact of implementing IPSEC within the kernel of the workstation operating system.","PeriodicalId":160347,"journal":{"name":"Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132208739","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
On the use of formal techniques for analyzing dependable real-time protocols 使用形式化技术分析可靠的实时协议
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) Pub Date : 1999-12-01 DOI: 10.1109/REAL.1999.818834
Purnendu Sinha, N. Suri
{"title":"On the use of formal techniques for analyzing dependable real-time protocols","authors":"Purnendu Sinha, N. Suri","doi":"10.1109/REAL.1999.818834","DOIUrl":"https://doi.org/10.1109/REAL.1999.818834","url":null,"abstract":"The effective design of composite dependable and real time protocols entails demonstrating their proof of correctness and, in practice, the efficient delivery of services. We focus on these aspects of correctness and efficiency, specifically considering the real time aspects where the need is to ensure satisfaction of stringent timing and operational constraints. We establish the use of mathematically rigorous techniques such as formal methods (FMs) in not only providing for their traditional usage in establishing correctness checks, but also for their capability of assessing and analyzing timing requirements in dependable real time protocols. We present our perspectives in utilizing FMs in developing exact case analyses of fault tolerant and real time protocols. We discuss the insights obtained and flaws identified in the hand analysis over the process of formally analyzing and verifying the correctness of an existing fault tolerant real time scheduling protocol.","PeriodicalId":160347,"journal":{"name":"Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116204014","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}
引用次数: 15
A fixed-priority-driven open environment for real-time applications 用于实时应用程序的固定优先级驱动的开放环境
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) Pub Date : 1999-12-01 DOI: 10.1109/REAL.1999.818851
Tei-Wei Kuo, Ching-Hui Li
{"title":"A fixed-priority-driven open environment for real-time applications","authors":"Tei-Wei Kuo, Ching-Hui Li","doi":"10.1109/REAL.1999.818851","DOIUrl":"https://doi.org/10.1109/REAL.1999.818851","url":null,"abstract":"This paper extends the useful concept of open systems proposed by W.S. Liu, et al. (1997) in scheduling real-time applications and non-real-time applications, where the schedulability of each real-time application can be validated independently of other applications in the system. We replace the underlying earliest-deadline-first OS scheduler of the open system architecture by W.S. Liu, et al. (1997) with a rate-monotonic OS scheduler. The motivation behind this work is that many existing operating systems may not support the earliest deadline first scheduling very well. We propose to use the idea of sporadic servers to preserve CPU cycles for applications. We also develop schedulability tests for real-time applications which adopt the rate monotonic scheduling algorithm, the earliest deadline first scheduling algorithm, the priority ceiling protocol, and the stack resource policy. We allow tasks in each application to share local and global non-preemptable resources. A global resource synchronization mechanism is proposed. This paper provides a fixed-priority-based alternative for the important open system architecture.","PeriodicalId":160347,"journal":{"name":"Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133751589","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}
引用次数: 189
Time based Linux for real-time NOWs and MPI/RT 基于时间的Linux用于实时now和MPI/RT
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) Pub Date : 1999-12-01 DOI: 10.1109/REAL.1999.818847
Manoj Apte, S. Chakravarthi, Anand Pillai, A. Skjellum, Xin Zan
{"title":"Time based Linux for real-time NOWs and MPI/RT","authors":"Manoj Apte, S. Chakravarthi, Anand Pillai, A. Skjellum, Xin Zan","doi":"10.1109/REAL.1999.818847","DOIUrl":"https://doi.org/10.1109/REAL.1999.818847","url":null,"abstract":"The Real-Time Message Passing Interface (MPI/RT) is a communication layer middleware standard that is aimed at providing guaranteed Quality of Service for data transfers on high performance networks. It poses \"middleout\" requirements both on applications and on the operating system. In this paper, we consider the \"middledown\" issues by modifying a POSIX compliant operating system in order to support hard real time scheduling, a feature needed for efficient MPI/RT on real-time Networks of Workstations (NOWs). This paper describes the evolution of Turtle, a variant of RT-Linux, that will later support a prototype implementation of time-driven MPI/RT. Analysis, design approach and results for Turtle are discussed.","PeriodicalId":160347,"journal":{"name":"Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122221773","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}
引用次数: 7
System-level issues for software thread integration: guest triggering and host selection 软件线程集成的系统级问题:客户机触发和主机选择
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) Pub Date : 1999-12-01 DOI: 10.1109/REAL.1999.818849
A. Dean, John Paul Shen
{"title":"System-level issues for software thread integration: guest triggering and host selection","authors":"A. Dean, John Paul Shen","doi":"10.1109/REAL.1999.818849","DOIUrl":"https://doi.org/10.1109/REAL.1999.818849","url":null,"abstract":"Software thread integration provides low-cost concurrency on general-purpose processors by automatically interleaving multiple threads of control into one. This simplifies hardware to software migration and can help embedded system designers meet design constraints. Previous work describes how to efficiently integrate threads. In this paper we demonstrate how to link trigger events with guest thread execution and how to analyze an application to determine which threads to integrate. The analysis involves timing measurement and prediction to identify the amount of easily accessible temporally deterministic code within each function. This information is used to predict quantitatively the impact of design decisions on system efficiency and help guide integration. To illustrate this process we evaluate an application predicted for the year 2005, when $20 buys a 2000 MIPS embedded processor-a software-based high-resolution MPEG video player.","PeriodicalId":160347,"journal":{"name":"Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125909254","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}
引用次数: 13
Towards systematic testing of distributed real-time systems 面向分布式实时系统的系统测试
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) Pub Date : 1999-12-01 DOI: 10.1109/REAL.1999.818863
Henrik Thane, H. Hansson
{"title":"Towards systematic testing of distributed real-time systems","authors":"Henrik Thane, H. Hansson","doi":"10.1109/REAL.1999.818863","DOIUrl":"https://doi.org/10.1109/REAL.1999.818863","url":null,"abstract":"Reproducible and deterministic testing of sequential programs can in most cases be achieved by controlling the sequence of inputs to the program. The behavior of a distributed real-time system, on the other hand not only depends on the inputs but also on the order and timing of the concurrent tasks that execute and communicate with each other and the environment. Hence, sequential test techniques are not directly applicable, since they disregard the significance of order and timing of the tasks. In this paper we present a method for identifying all possible orderings of task starts, preemptions and completions for tasks executing in a distributed real-time system. Together with an accompanying testing strategy, this method allows test methods for sequential programs to be applied, since each identified ordering can be regarded as a sequential program. In the presented analysis and testing strategy, we consider task sets with recurring release patterns, and take into account the effects of clock synchronization and variations in start and execution times of the involved tasks.","PeriodicalId":160347,"journal":{"name":"Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129547986","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}
引用次数: 46
Specification and analysis of soft real-time systems: quantity and quality 软实时系统的规格与分析:数量与质量
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) Pub Date : 1999-12-01 DOI: 10.1109/REAL.1999.818832
P. D’Argenio, J. Katoen, E. Brinksma
{"title":"Specification and analysis of soft real-time systems: quantity and quality","authors":"P. D’Argenio, J. Katoen, E. Brinksma","doi":"10.1109/REAL.1999.818832","DOIUrl":"https://doi.org/10.1109/REAL.1999.818832","url":null,"abstract":"This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arbitrary probability distributions to express delays of activities. The semantics of this process algebra is given in terms of stochastic automata, a variant of timed automata where clocks are initialised randomly and run backwards. To analyse quantitative properties, an algorithm is presented for the on-the-fly generation of a discrete-event simulation model from a process algebra specification. On the qualitative side, a symbolic technique for classical reachability analysis of stochastic automata is presented. As a result a unifying framework for the specification and analysis of quantitative and qualitative properties is obtained. We discuss an implementation of both analytic methods and specify and analyse a fault-tolerant multi-processor system.","PeriodicalId":160347,"journal":{"name":"Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123358052","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}
引用次数: 23
A framework for scheduler synthesis 调度程序合成的框架
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) Pub Date : 1999-12-01 DOI: 10.1109/REAL.1999.818838
K. Altisen, Gregor Gössler, A. Pnueli, J. Sifakis, S. Tripakis, S. Yovine
{"title":"A framework for scheduler synthesis","authors":"K. Altisen, Gregor Gössler, A. Pnueli, J. Sifakis, S. Tripakis, S. Yovine","doi":"10.1109/REAL.1999.818838","DOIUrl":"https://doi.org/10.1109/REAL.1999.818838","url":null,"abstract":"We present a framework integrating specification and scheduler generation for real time systems. In a first step, the system, which can include arbitrarily designed tasks (cyclic or sporadic, with or without precedence constraints, any number of resources and CPUs) is specified as a timed Petri net. In a second step, our tool generates the most general non preemptive online scheduler for the specification, using a controller synthesis technique.","PeriodicalId":160347,"journal":{"name":"Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123026758","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}
引用次数: 126
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信