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

[1989] Proceedings. Real-Time Systems Symposium最新文献

筛选
英文 中文
Priority inversions in real-time communication 实时通信中的优先级反转
[1989] Proceedings. Real-Time Systems Symposium Pub Date : 1989-12-05 DOI: 10.1109/REAL.1989.63587
H. Tokuda, C. W. Mercer, Y. Ishikawa, T. E. Marchok
{"title":"Priority inversions in real-time communication","authors":"H. Tokuda, C. W. Mercer, Y. Ishikawa, T. E. Marchok","doi":"10.1109/REAL.1989.63587","DOIUrl":"https://doi.org/10.1109/REAL.1989.63587","url":null,"abstract":"The priority-inversion problems in real-time communication are addressed, and solutions developed for the ARTS distributed real-time operating system are presented. The performance results of the multi-thread-based protocol implementation are compared with those of other implementation schemes, and the schedulability is analyzed. Experimental results indicate that the multi-thread-based protocol implementation could eliminate potential priority-inversion problems and also demonstrate the same schedulability as the softint implementation scheme in spite of about 10% additional implementation overhead.<<ETX>>","PeriodicalId":324709,"journal":{"name":"[1989] Proceedings. Real-Time Systems Symposium","volume":"71 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124808690","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}
引用次数: 52
A fault-tolerant microcomputer for advanced control: architecture and performability analysis 高级控制用容错微机:结构与性能分析
[1989] Proceedings. Real-Time Systems Symposium Pub Date : 1989-12-05 DOI: 10.1109/REAL.1989.63573
C. Constantinescu, C. Sandovici
{"title":"A fault-tolerant microcomputer for advanced control: architecture and performability analysis","authors":"C. Constantinescu, C. Sandovici","doi":"10.1109/REAL.1989.63573","DOIUrl":"https://doi.org/10.1109/REAL.1989.63573","url":null,"abstract":"The hardware and software architecture of a fault-tolerant microcomputer for advanced control is presented. Use is made of performability as a performance and reliability measure. It is computed by means of the aggregation/decomposition technique with the aid of a numerical algorithm. An analysis is made of the influence of certain types of faults (i.e. permanent, intermittent, and transient) on the system performability. Different reward structures are compared and the effects of global and local repair actions are pointed out. An illustration is given of the influence of spare processing elements.<<ETX>>","PeriodicalId":324709,"journal":{"name":"[1989] Proceedings. Real-Time Systems Symposium","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126040396","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
Communicating shared resources: a model for distributed real-time systems 通信共享资源:分布式实时系统的模型
[1989] Proceedings. Real-Time Systems Symposium Pub Date : 1989-12-05 DOI: 10.1109/real.1989.63558
R. Gerber, Insup Lee
{"title":"Communicating shared resources: a model for distributed real-time systems","authors":"R. Gerber, Insup Lee","doi":"10.1109/real.1989.63558","DOIUrl":"https://doi.org/10.1109/real.1989.63558","url":null,"abstract":"A real-time formalism called communicating shared resources (CSR) is presented. CSR consists of a programming language that allows the explicit expression of timing constraints and resources, and a computation model that resolves resource contention based on event priority. A full denotational semantics is provided for the programming language, grounded in a resource-based computation model. To illustrate CSR, a distributed robot system consisting of a robot arm and a sensor is presented.<<ETX>>","PeriodicalId":324709,"journal":{"name":"[1989] Proceedings. Real-Time Systems Symposium","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123852043","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}
引用次数: 58
Time bounds for real-time process control in the presence of timing uncertainty 存在时间不确定性的实时过程控制的时间界限
[1989] Proceedings. Real-Time Systems Symposium Pub Date : 1989-12-05 DOI: 10.1109/REAL.1989.63580
H. Attiya, N. Lynch
{"title":"Time bounds for real-time process control in the presence of timing uncertainty","authors":"H. Attiya, N. Lynch","doi":"10.1109/REAL.1989.63580","DOIUrl":"https://doi.org/10.1109/REAL.1989.63580","url":null,"abstract":"A timing-based variant of the mutual-exclusion problem is considered. In this variant, only an upper bound on the time it takes to release the resource is known, and no explicit signal is sent when the resource is released; furthermore, the only mechanism to measure real time is an inaccurate clock, whose tick intervals take time between two constants. A new technique involving shifting and shrinking executions is combined with a careful analysis of the best allocation policy to prove a corresponding lower bound when control is distributed among processes connected by communication lines with an upper bound for message delivery time. These combinatorial results shed some light on modeling and verification issues related to real-time systems.<<ETX>>","PeriodicalId":324709,"journal":{"name":"[1989] Proceedings. Real-Time Systems Symposium","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115733283","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
A transformational method for verifying safety properties in real-time systems 实时系统安全特性验证的转换方法
[1989] Proceedings. Real-Time Systems Symposium Pub Date : 1989-12-05 DOI: 10.1109/REAL.1989.63562
M. Franklin, A. Gabrielian
{"title":"A transformational method for verifying safety properties in real-time systems","authors":"M. Franklin, A. Gabrielian","doi":"10.1109/REAL.1989.63562","DOIUrl":"https://doi.org/10.1109/REAL.1989.63562","url":null,"abstract":"A two-step method is presented for verifying that safety properties are not violated by an HMS (hierarchical multistate) specification of a system. In the first step, the question of safety verification is recast as a reachability problem in an extension of the HMS machine. In the second step, reachability is determined by the use of correctness-preserving and partial correctness-preserving transformations. The method is shown to be complete, and it is illustrated by verifying that a safety property holds for a simple railroad-crossing system if all of its deadlines are met.<<ETX>>","PeriodicalId":324709,"journal":{"name":"[1989] Proceedings. Real-Time Systems Symposium","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123560224","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}
引用次数: 26
A framework for reasoning about time and reliability 对时间和可靠性进行推理的框架
[1989] Proceedings. Real-Time Systems Symposium Pub Date : 1989-12-05 DOI: 10.1109/REAL.1989.63561
H. Hansson, B. Jonsson
{"title":"A framework for reasoning about time and reliability","authors":"H. Hansson, B. Jonsson","doi":"10.1109/REAL.1989.63561","DOIUrl":"https://doi.org/10.1109/REAL.1989.63561","url":null,"abstract":"A logic is presented for stating properties such as 'after a request for service there is at least a 98% probability that the service will be carried out within 2 s'. The logic extends the temporal logic CTL by E.A. Emerson et al. (1983) with time and probabilities. Formulas are interpreted over discrete time Markov chains. Algorithms are provided for checking that a given Markov chain satisfies a formula in the logic. An example is included to illustrate the algorithms.<<ETX>>","PeriodicalId":324709,"journal":{"name":"[1989] Proceedings. Real-Time Systems Symposium","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126126796","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}
引用次数: 121
A distributed fault tolerant architecture for nuclear reactor control and safety functions 核反应堆控制和安全功能的分布式容错体系结构
[1989] Proceedings. Real-Time Systems Symposium Pub Date : 1989-12-05 DOI: 10.1109/REAL.1989.63572
M. Hecht, J. Agron, S. Hochhauser
{"title":"A distributed fault tolerant architecture for nuclear reactor control and safety functions","authors":"M. Hecht, J. Agron, S. Hochhauser","doi":"10.1109/REAL.1989.63572","DOIUrl":"https://doi.org/10.1109/REAL.1989.63572","url":null,"abstract":"A fault-tolerant architecture that provides tolerance to a broad scope of hardware, software, and communications faults is being developed. This architecture relies on widely available commercial operating systems, local area networks, and software standards. Thus development time is significantly shortened, and modularity allows for continuous and inexpensive system enhancement throughout the expected 20-year life. The fault-containment and parallel-processing capabilities of computers are exploited to provide a high-performance, high-availability network capable of tolerating a broad scope of hardware, software, and operating system faults. The system can tolerate all but one known (and avoidable) single fault, two known and avoidable dual faults, and it will detect all higher-order fault sequences and provide diagnostics to allow for rapid manual recovery.<<ETX>>","PeriodicalId":324709,"journal":{"name":"[1989] Proceedings. Real-Time Systems Symposium","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117169854","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}
引用次数: 22
A decomposition approach to non-preemptive scheduling in hard real-time systems 硬实时系统中非抢占调度的分解方法
[1989] Proceedings. Real-Time Systems Symposium Pub Date : 1989-12-05 DOI: 10.1109/REAL.1989.63577
X. Yuan, A. Agrawala
{"title":"A decomposition approach to non-preemptive scheduling in hard real-time systems","authors":"X. Yuan, A. Agrawala","doi":"10.1109/REAL.1989.63577","DOIUrl":"https://doi.org/10.1109/REAL.1989.63577","url":null,"abstract":"It is well known that the optimal nonpreemptive scheduling of n tasks on a single processor requires a number of operations proportional to the factorial of the number of tasks. It is proposed that tasks be scheduled in two steps. In the first step a sequence for the tasks is generated, and in the second step the tasks are bounded in time according to the selected sequence by assigning a start time for each task. In the general case the proposed decomposition scheduling scheme divides the n tasks into m subsets, and the tasks are scheduled within each subset. The complexity of the approach is determined when the tasks in a subset are scheduled using exhaustive search procedures.<<ETX>>","PeriodicalId":324709,"journal":{"name":"[1989] Proceedings. Real-Time Systems Symposium","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125814808","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
Events: a structuring mechanism for a real-time runtime system 事件:实时运行时系统的结构化机制
[1989] Proceedings. Real-Time Systems Symposium Pub Date : 1989-12-05 DOI: 10.1109/REAL.1989.63553
Marc D. Donner, D. Jameson, W. Moran
{"title":"Events: a structuring mechanism for a real-time runtime system","authors":"Marc D. Donner, D. Jameson, W. Moran","doi":"10.1109/REAL.1989.63553","DOIUrl":"https://doi.org/10.1109/REAL.1989.63553","url":null,"abstract":"Recent progress in the implementation of the ORE real-time programming language is reported. A summary of the important features of the language is included. Progress in designing a runtime system for the language is reported. The design issues are discussed. A model of ORE processes is described. The set of operations defined on events, strips, and processes is described. Examples of the implementation of specific ORE features using this mechanism are illustrated.<<ETX>>","PeriodicalId":324709,"journal":{"name":"[1989] Proceedings. Real-Time Systems Symposium","volume":"163 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122286126","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
Algorithm-based error detection for signal processing applications on a hypercube multiprocessor 基于算法的超立方体多处理器信号处理应用错误检测
[1989] Proceedings. Real-Time Systems Symposium Pub Date : 1989-12-05 DOI: 10.1109/REAL.1989.63564
V. Balasubramanian, P. Banerjee
{"title":"Algorithm-based error detection for signal processing applications on a hypercube multiprocessor","authors":"V. Balasubramanian, P. Banerjee","doi":"10.1109/REAL.1989.63564","DOIUrl":"https://doi.org/10.1109/REAL.1989.63564","url":null,"abstract":"In many cases, it may be possible to redesign parallel algorithms so as to provide a low-cost online scheme for hardware error detection without any hardware modifications. This approach is called algorithm-based error detection. Two useful computations in signal processing are analyzed: QR factorization and singular-value decomposition. For each of these applications, numerous ways of applying algorithm-based error detection using different system-level encoding strategies are investigated. Different schemes have been observed to result in varying error coverages and time overheads. The results of studies performed on a 16-processor Intel iPSC-2/D4/MX hypercube multiprocessor are reported.<<ETX>>","PeriodicalId":324709,"journal":{"name":"[1989] Proceedings. Real-Time Systems Symposium","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116367052","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
下一页 尾页
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学术官方微信
小红书