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

Proceedings. EUROMICRO `91 Workshop on Real-Time Systems最新文献

筛选
英文 中文
KSE: a real-time expert system to diagnose nuclear power plant failures KSE:用于核电厂故障诊断的实时专家系统
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144082
J. Ancelin, F. Cheriaux, J. Gaussot, D. Pichot, G. Sancerni, G. Voisin
{"title":"KSE: a real-time expert system to diagnose nuclear power plant failures","authors":"J. Ancelin, F. Cheriaux, J. Gaussot, D. Pichot, G. Sancerni, G. Voisin","doi":"10.1109/EMWRT.1991.144082","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144082","url":null,"abstract":"KSE is an expert system developed as an operator aid at EDF, that monitors all aspects of the electric power supply in a 900 MW PWR nuclear power plant (Bugey unit 2). KSE is mainly used as a continuous and real-time aid for diagnosing electrically induced failures and as a non real-time aid. Its architecture is based on a two-level design/application structure. The GENSIA I and GENSIA II inference engines and Bull SPS7/25 (DPX 2000) computers.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130796868","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
Dynamic planning based control of autonomous machine 基于动态规划的自主机器控制
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144093
Tapio Taipale, S. Pieskä, J. Riekki
{"title":"Dynamic planning based control of autonomous machine","authors":"Tapio Taipale, S. Pieskä, J. Riekki","doi":"10.1109/EMWRT.1991.144093","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144093","url":null,"abstract":"Demand for more intelligent machines will increase in the future. One field of application will be environments dangerous for human workers. This requires intelligent machines capable of autonomously operating in unstructured environments, such as mines and construction sites. Problems related to control of autonomous machines are addressed with dynamic planning based control. The heart of the control scheme, hierarchically organized Planning-Executing-Monitoring-cycles, is presented as well as its implementation with a rule-based expert system.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128672788","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
Embedding time granularity in logical specifications of real-time systems 在实时系统的逻辑规范中嵌入时间粒度
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144087
A. Montanari, E. Ratto, E. Corsetti, A. Morzenti
{"title":"Embedding time granularity in logical specifications of real-time systems","authors":"A. Montanari, E. Ratto, E. Corsetti, A. Morzenti","doi":"10.1109/EMWRT.1991.144087","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144087","url":null,"abstract":"The paper extends the TRIO logical specification formalism with the notion of time granularity. Such an extension provides the specifier with the ability of dealing with different time granularities within a single specification. It allows one to maintain the description of the dynamics of processes that evolve according to different time constants as separate as possible. It also makes it possible to model the dynamics of a given process with respect to different time scales. The paper first introduces time granularity in a completely general way, that is, it defines the weakest semantics of time granularity. Then a number of possible specializations of such a semantics taking into account both common-sense and domain-specific knowledge are identified. They result in a taxonomic classification of predicates that makes the formalism more expressive and easier to use.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128829354","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
Remote procedure call protocols for real-time systems 实时系统的远程过程调用协议
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144109
Marina Dao, Kwei-Jay Lin
{"title":"Remote procedure call protocols for real-time systems","authors":"Marina Dao, Kwei-Jay Lin","doi":"10.1109/EMWRT.1991.144109","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144109","url":null,"abstract":"Like all real-time services, the correctness of a real-time remote procedure call depends on the processing time of the calling algorithm, the traffic on the network and eventual failures of the communication network. If the deadline of an RPC cannot be met due to these problems, the result produced by the server will be of little or no use. The authors investigate three different protocols for real-time remote procedure calls and compare their performances. The protocols are designed for, respectively, hard-deadline requests with early guarantees, without guarantees, and soft deadline requests. They compare the performances of the three protocols by simulations.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126367649","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
Static and dynamic scheduling of sporadic tasks for single-processor systems 单处理器系统中零星任务的静态和动态调度
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144089
Sanjoy Baruah, L. Rosier, D. Varvel
{"title":"Static and dynamic scheduling of sporadic tasks for single-processor systems","authors":"Sanjoy Baruah, L. Rosier, D. Varvel","doi":"10.1109/EMWRT.1991.144089","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144089","url":null,"abstract":"Sporadic tasks in hard-real-time systems, as defined by Mok (1983, 1988, 1989), are characterized by triples (e,d,p), 1<or=e<or=d, e<or=p. Two successive requests by the same task will be separated by at least p time units, and the task must be scheduled e time units within d time units of a request. A scheduling algorithm is said to be static if it does not depend on the sequence of requests; otherwise it is dynamic. The authors present three major results. The first is that no static algorithm can be optimal. The second is that, modulo certain assumptions that imply scalability, no dynamic algorithm can take less than O(n) online time per slot scheduled. The third result is a fast scheduling algorithm based on pinwheel scheduling.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116084258","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
A complexity control strategy for large system models 大型系统模型的复杂性控制策略
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144071
P. Ward
{"title":"A complexity control strategy for large system models","authors":"P. Ward","doi":"10.1109/EMWRT.1991.144071","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144071","url":null,"abstract":"Abstract system models organized as functional hierarchies have complexity control problems due to the distribution of functions and state variables within the model. A model organization that employs object partitioning, the embedding of cooperating concurrent state machines, and domain separation can improve complexity control characteristics.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"234 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114544019","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}
引用次数: 0
Fastchart-a fast time deterministic CPU and hardware based real-time-kernel fastchart—基于CPU和硬件的快速时间确定性实时内核
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144077
L. Lindh
{"title":"Fastchart-a fast time deterministic CPU and hardware based real-time-kernel","authors":"L. Lindh","doi":"10.1109/EMWRT.1991.144077","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144077","url":null,"abstract":"The designer of hard realtime systems requires deterministic behaviour of the system. Today there are problems because of the hardware and the real-time kernel. So one gets only statistic statements regarding timing. The article describes a new hardware structure that is deterministic, fast and includes a real-time kernel in hardware. But this structure is limited to small real-time systems.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"95 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133391554","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}
引用次数: 55
RTDB: a real-time database manager for time-critical applications RTDB:用于时间关键型应用程序的实时数据库管理器
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144107
S. Son, C. C. Iannacone, Marc S. Poris
{"title":"RTDB: a real-time database manager for time-critical applications","authors":"S. Son, C. C. Iannacone, Marc S. Poris","doi":"10.1109/EMWRT.1991.144107","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144107","url":null,"abstract":"Compared with traditional databases, database systems for time-critical applications have the distinct feature that they must satisfy timing constraints associated with transactions. Transactions in real-time database systems should be scheduled considering both data consistency and timing constraints. Since a database system must operate in the context of available operating system services, an environment for database systems development must provide facilities to support operating system functions and integrate them with database systems for experimentation. The authors chose the ARTS real-time operating system kernel. They present their experience in integrating a relational database manager with a real-time operating system kernel, and their attempts at providing flexible control for concurrent transaction management. On-going research issues involving the development of a programming interface and the authors' efforts in using these techniques in implementing a specific experimental application (DOSE, distributed operating system experiment) are also discussed.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127059918","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
An operating environment for control systems on transputer networks 计算机网络上控制系统的一种操作环境
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144106
H. Tillema, A. Schoute, K. Wijbrans
{"title":"An operating environment for control systems on transputer networks","authors":"H. Tillema, A. Schoute, K. Wijbrans","doi":"10.1109/EMWRT.1991.144106","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144106","url":null,"abstract":"The article describes an operating environment for control systems. The environment contains the basic layers of a distributed operating system. The design of this operating environment is based on the requirements demanded by controllers which can be found in complex control systems. Due to the nature of real-time control systems, special attention has to be payed to an efficient implementation of the basic communication protocol and buffering method. The operating environment has been implemented and performance measurements have been carried out for several different strategies. The described operating environment which is used for robot control, will be embedded in a larger high level transputer operating system.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128017545","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}
引用次数: 0
Real-time system validation by model checking in TRIO 在TRIO中通过模型检查进行实时系统验证
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144074
M. Felder, A. Morzenti
{"title":"Real-time system validation by model checking in TRIO","authors":"M. Felder, A. Morzenti","doi":"10.1109/EMWRT.1991.144074","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144074","url":null,"abstract":"The authors discuss the importance of formal, executable specifications in supporting validation and early prototyping of real-time systems. TRIO is a first-order temporal logic language which allows the description of quantitative aspects of time like distance in time between events and length of time intervals. They summarise the language syntax and its model-theoretic semantics. Then they present two algorithms which, under suitable conditions, decide the satisfiability of TRIO formulas and perform model checking. A tool for testing TRIO specifications, based on an efficient implementation of the model-checking algorithm, is introduced, and its main features are described, together with sample testing sessions.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129378160","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
首页 上一页 下一页 尾页
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学术官方微信