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

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

筛选
英文 中文
Hard real-time prototyping of SA/RT specifications SA/RT规范的硬实时原型
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144086
P. Pulli, M. Salmela
{"title":"Hard real-time prototyping of SA/RT specifications","authors":"P. Pulli, M. Salmela","doi":"10.1109/EMWRT.1991.144086","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144086","url":null,"abstract":"Preliminary results with an experimental prototyping toolset are reported. The Espex toolset is designed for graphics-based animation and real-time execution of Ward & Mellor Structured Analysis for Real-Time Systems (SA/RT) specifications. The computational model underlying the toolset is based on mapping SA/RT modeling elements to high level Petri nets. For execution of these SA/RT models a variety of scheduling algorithms have been developed. The authors focus their attention on experiments with deadline-based scheduling. They have built two tools for execution of SA/RT models: a graphical animator and a hard real-time prototyper tool. The graphical animator tool is used for building the model, for logically validating the model, and for attaching physical attributes to the model. The hard real-time prototyper tool is used for execution of the model at real-time speeds with either a real or a simulated environment.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"6 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":"121912641","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}
引用次数: 3
The Space Shuttle launch computer control system at NASA Kennedy Space Center 美国宇航局肯尼迪航天中心的航天飞机发射计算机控制系统
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144103
B. Furht, R. Luken
{"title":"The Space Shuttle launch computer control system at NASA Kennedy Space Center","authors":"B. Furht, R. Luken","doi":"10.1109/EMWRT.1991.144103","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144103","url":null,"abstract":"This paper illustrates how a complex application, the data acquisition and Space Shuttle Launch Control System at NASA Kennedy Space Center, which requires both intensive communications and high processing power, can be mapped into an advanced open system architecture. This is achieved by employing a symmetric, tightly-coupled multiprocessor system which includes a high bandwidth common memory bus, an efficient interrupt distribution scheme, dedicated high-performance I/O processors, and runs a multiprocessor real-time UNIX operating system. The authors concentrate on the Data Acquisition System. First, the communication and processing requirements for the system is specified. Then, on the basis of the model of the system, the multiprocessor architecture is defined to meet these requirements.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"2 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":"132878907","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
KOS: a knowledge-based operating system for real-time onboard applications of artificial intelligence KOS:一个基于知识的操作系统，用于实时机载人工智能应用
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144096
J. Heudin
{"title":"KOS: a knowledge-based operating system for real-time onboard applications of artificial intelligence","authors":"J. Heudin","doi":"10.1109/EMWRT.1991.144096","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144096","url":null,"abstract":"The paper lays out the fundamental requirements for complex real-time applications. Then, it gives an overview of the KOS (Knowledge-based Operating System) real-time executive designed to meet these requirements. KOS is the first software combining modern real-time programming and artificial intelligence. Finally, the paper proposes a definition of real-time before concluding by describing the 'Copilote Electronique' project under development in cooperation with Dassault Aviation.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"11 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":"123568414","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
Extracting lines, circular segments and clusters from radar pictures in real time for an autonomous mobile robot 为自主移动机器人实时提取雷达图像中的线、圆段和簇
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144094
T. Knieriemen, E. Puttkamer, J. Roth
{"title":"Extracting lines, circular segments and clusters from radar pictures in real time for an autonomous mobile robot","authors":"T. Knieriemen, E. Puttkamer, J. Roth","doi":"10.1109/EMWRT.1991.144094","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144094","url":null,"abstract":"Autonomous mobile systems have to convert their sensor data in real time into meaningful data structures to navigate with their help through their environment. The authors show how to extract a description of the environment from a radar picture in real time with help of a curvature function. The mobile system MOBOT III has as its environment an office like indoor environment and obstacles detected by a laser radar are described as lines, circle segments and clusters as building blocks of maps. The line extracting algorithm is compared to other line fitting algorithms and the time needed measured from a number of different scenes. The algorithm allows to process laser radar data with 250 ms/picture.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"2 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":"133309902","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
The design of DARTS: a dynamic debugger for multiprocessor real-time applications 多处理器实时应用动态调试器的设计
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144098
F. Gielen, M. Timmerman
{"title":"The design of DARTS: a dynamic debugger for multiprocessor real-time applications","authors":"F. Gielen, M. Timmerman","doi":"10.1109/EMWRT.1991.144098","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144098","url":null,"abstract":"The correctness of execution of a real-time application depends upon the timing properties of the system. The DARTS (debug add on for real-time systems) functions implement a set of debugging functions which have a minimum and predictable influence on the temporal logic of the application. They provide the programmer with crucial information on the temporal logic of the system (direct control flow), they perform watch functions on variables and control the invariant relations which may exist between application and system level objects (indirect dataflow). The workstation is a host target cross development system. Both host and target are single board computers on a VME-bus. The host system runs Unix System V while the targets run MTOS-UX, a multiprocessor real-time operating system.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"164 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":"129565001","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
Survey of real-time and on-line diagnostic expert systems 实时和在线诊断专家系统综述
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144081
Douglas Foxvog, M. Kurki
{"title":"Survey of real-time and on-line diagnostic expert systems","authors":"Douglas Foxvog, M. Kurki","doi":"10.1109/EMWRT.1991.144081","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144081","url":null,"abstract":"The paper reviews the published work on on-line and real-time diagnostic systems embedded in other processes which have advanced past the prototype stage and are in routine use. The basic differences between real-time, on-line, and off-line systems are discussed with the range of current applications being indicated. First generation expert systems used rules, event trees, and/or fault dictionaries to implement their expertise. Second generation expert systems, on the other hand, start with a model of the system and descriptions of how components of the model operate. The benefits and problems of both techniques are discussed. The use of different reasoning methods (e.g. 'shallow' vs. 'deep') is compared. The range of interaction between diagnostic systems and the monitored system, as well as between the diagnostic system and the user, are examined. Difficulties and other issues that arise in these systems are discussed. Finally, a proposal for the design of future diagnostic expert systems is presented.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"53 2 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":"126628011","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
A task scheduling scheme for real-time multi-robotics systems 实时多机器人系统的任务调度方案
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144091
G. Alijani, H. Wedde
{"title":"A task scheduling scheme for real-time multi-robotics systems","authors":"G. Alijani, H. Wedde","doi":"10.1109/EMWRT.1991.144091","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144091","url":null,"abstract":"In hard real-time systems, the importance of meeting a task execution deadline is a central issue for correctness and reliability of such systems. The focus of this research is to design and implement a real-time system which utilizes a set of mobile robots that are performing individual and common critical tasks. Specifically, a scheduling scheme consists of local and global schedulers is developed to schedule critical tasks using a transputer-based machine. To guarantee execution of critical tasks within the requested time frame, each task is provided with a Safety Time Factor (STF) based on its worst-case computation time. This STF can be added to the execution time of a newly arrived task if its deadline and the status of scheduled tasks allow. The local scheduler takes the advantages of accumulated safety times and provides alternatives for scheduling sporadic critical tasks. The performance of the model is evaluated in terms of the number of critical tasks that are guaranteed and executed by local processors.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"140 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":"127509009","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
Reactions: an activation scheme specification language 反应:一种激活方案规范语言
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144100
V. Gafni
{"title":"Reactions: an activation scheme specification language","authors":"V. Gafni","doi":"10.1109/EMWRT.1991.144100","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144100","url":null,"abstract":"It is widely recognized that the special properties characterizing a reactive system especially affect its activation requirements. Therefore, the authors propose a specification language, called Reactions, specifically designed to express the activation scheme of a reactive system. The language is of a declarative form and associated with a formal semantics providing for its practical use as a programming language. In addition, a Reactions specification has a natural representation as a set of interval temporal logics formulae, thus enabling a formal analysis of a specification written in the language.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"2672 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":"123817319","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
Distributed time-management in transputer networks 计算机网络中的分布式时间管理
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144110
W. Vervoort, R. West, A. Schoute, J. Hofstede
{"title":"Distributed time-management in transputer networks","authors":"W. Vervoort, R. West, A. Schoute, J. Hofstede","doi":"10.1109/EMWRT.1991.144110","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144110","url":null,"abstract":"For real-time applications in a distributed system a common notion of time is indispensable. Clocks are used for time measurement, determination of causality, process synchronization and generating unique identifications. All this is only possible if there is a time reference of specified accuracy. Since the local clocks in a distributed system tend to drift away from each other, they need to be adjusted periodically. If the application allows an accuracy that can be met by software, this may be achieved by a distributed clock synchronization algorithm, which creates and maintains a global time reference for all nodes of the network. The design and simulation of such an algorithm for a distributed system consisting of transputers is described. It is based on second order filtered adjustment of the clock rates rather than updating the clock values at once.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"48 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":"128228423","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
Allocating SMART cache segments for schedulability 为可调度性分配SMART缓存段
Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Pub Date : 1991-06-12 DOI: 10.1109/EMWRT.1991.144078
D. Kirk, J. Strosnider, J. Sasinowski
{"title":"Allocating SMART cache segments for schedulability","authors":"D. Kirk, J. Strosnider, J. Sasinowski","doi":"10.1109/EMWRT.1991.144078","DOIUrl":"https://doi.org/10.1109/EMWRT.1991.144078","url":null,"abstract":"Since they were first introduced in the IBM 360/85 in 1969, cache designs have been optimized for average case performance, which has opened a wide gap between average case performance and the worst case performance that is critical to real-time computing community. The SMART (Strategic Memory Allocation for Real-Time) cache design narrows this gap. This paper focuses on an analytical approach to cache allocation. An overview of the SMART caching strategy is presented, as well as a dynamic programming algorithm which finds an allocation of cache segments to a set of periodic tasks that both minimizes the utilization of the task set and guaranteeing that the task set remains schedulable using rate monotonic scheduling. Results which show SMART caches narrowing the gap between average and worst case performance to less than 10% are then presented.<<ETX>>","PeriodicalId":215427,"journal":{"name":"Proceedings. EUROMICRO `91 Workshop on Real-Time Systems","volume":"208 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":"115744219","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}
引用次数: 21
下一页 尾页
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学术官方微信