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

Proceedings Sixth Euromicro Workshop on Real-Time Systems最新文献

筛选
英文 中文
Enhancing real-time object-oriented analysis methods 增强实时面向对象的分析方法
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336857
C. Pereira
{"title":"Enhancing real-time object-oriented analysis methods","authors":"C. Pereira","doi":"10.1109/EMWRTS.1994.336857","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336857","url":null,"abstract":"Discusses the application of object-oriented concepts to the development of real-time systems, focusing mainly on the requirements engineering phase. Shortcomings of existing real-time specification methods are identified. A proposal to overcome these shortcomings is presented. Our approach enhances existing object-oriented analysis (OOA) methods concerning a high-level description and consistency checking of timing requirements. As an example, the integration of the approach with Shlaer and Mellor's (1992) OOA method is shown.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123592352","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}
引用次数: 6
Simple and robust: fuzzy for antislip 简单稳健:模糊防滑
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336836
K. Känsälä, Jörg-Michael Hasemann
{"title":"Simple and robust: fuzzy for antislip","authors":"K. Känsälä, Jörg-Michael Hasemann","doi":"10.1109/EMWRTS.1994.336836","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336836","url":null,"abstract":"The authors present the design of an intelligent control for industrial off road vehicles with hydrostatic power transmission to prevent wheel slippage. Timing and robustness were of particular interest. The authors employed a system of interconnected wheel processors, which house a two level local/global fuzzy control algorithm.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117161963","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
Scheduling in a hard real-time system with shared resources 具有共享资源的硬实时系统调度
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336837
P. Martineau, M. Chetto
{"title":"Scheduling in a hard real-time system with shared resources","authors":"P. Martineau, M. Chetto","doi":"10.1109/EMWRTS.1994.336837","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336837","url":null,"abstract":"Hard real-time systems are those systems in which correctness depends on logical results of the computations as well as the times at which these results are produced. In a real-time context, concurrency control protocols for shared resources (as databases) must not only maintain the consistency constraints but also satisfy timing requirements of transactions. So, several protocols have been proposed to prevent priority inversion. All these protocols, including the Priority Ceiling Protocol and the Stack-Based Resource Allocation Policy were initially designed to be used with the Rate Monotonic algorithm. We have implemented these protocols with their original scheduler, Rate Monotonic, and their dynamic version with the Earliest Deadline based scheduler, in order to compare their behaviour.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132314265","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
Formal specification and verification of a real-time kernel 实时内核的正式规范和验证
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336841
J. Górski, Andrzej Wardzinski
{"title":"Formal specification and verification of a real-time kernel","authors":"J. Górski, Andrzej Wardzinski","doi":"10.1109/EMWRTS.1994.336841","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336841","url":null,"abstract":"The paper presents a case study of application of the VDM formal method to specification and verification of a simple real-time kernel. Specifications of selected external services of the kernel are presented. Then the verification methodology is introduced by demonstrating its basic steps in relation to verification of a selected function-a process waiting for a signal on a condition variable. The experience from the study is discussed.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116344645","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
IRTC: integration of knowledge engineering with real-time control IRTC:知识工程与实时控制的集成
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336848
Tapio Taipale, Doug Foxvog
{"title":"IRTC: integration of knowledge engineering with real-time control","authors":"Tapio Taipale, Doug Foxvog","doi":"10.1109/EMWRTS.1994.336848","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336848","url":null,"abstract":"Integration of knowledge engineering into a control system introduces problems. These are caused by the fact that timing information for a knowledge engineering task is usually not well known. The indeterminate timing causes problems for real-time scheduling. A new approach is presented to solve this problem. The approach includes, among other things, usage of multiple versions for tasks, selection of versions dynamically according to the available time, and classifying of tasks into mandatory and optional tasks to ensure proper operation for critical operations. The approach is result of the ongoing EUREKA project called IRTC.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125157957","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
A software architecture for complex real-time systems 用于复杂实时系统的软件体系结构
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336856
Erik Gyllenswärd, C. Eriksson
{"title":"A software architecture for complex real-time systems","authors":"Erik Gyllenswärd, C. Eriksson","doi":"10.1109/EMWRTS.1994.336856","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336856","url":null,"abstract":"The increasing use of computer-based control systems in complex applications requires modelling techniques which make it easier to develop and maintain these systems. One promising approach is to use object-orientation. The difficulty is that a traditional object-oriented programming language is most suitable for use in small projects and therefore is not directly scalable to a heterogeneous and distributed environment. Even if the ability to handle distribution is added to such a language, there are features missing which are of importance for a computer-based industrial control system. Examples of missing features include the ability to define and generate object events and the ability to subscribe to large amounts of data in an efficient way. This paper presents an extended object model which is an extension of a traditional object model and provide the means to manage events and subscription. This extended model also includes support for the specification of both client and server interfaces of an object. Relations defined in the client interface can be used to describe relations between objects. These relations can be used to model the real world expressively. As temporal requirements can be described as parts of the interfaces, it is possible to utilize this information in performing a timing analysis of soft services in the system. The paper also describes the evolution of software architectures during recent years and, finally, presents an architecture which supports both hard and soft real-time requirements.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"331 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127161099","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
Can production systems be applied to hard real-time applications? 生产系统可以应用于硬实时应用程序吗?
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336847
F. Barachini, Gilles Verteneul
{"title":"Can production systems be applied to hard real-time applications?","authors":"F. Barachini, Gilles Verteneul","doi":"10.1109/EMWRTS.1994.336847","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336847","url":null,"abstract":"Efficient match algorithms have influenced the acceptance of production systems in the industrial world. However, in embedded control systems they have not been applied intensively because of their non-deterministic run-time behavior. Until recently no method was known yielding rigorous upper bounds for run-time on match algorithms. Although the already published MLR (Micro Level Reasoner) method yields very good run-time estimations for basic actions in the RETE match algorithm it can only be applied to soft real-time problems. We present the UB (Upper Bound) and EUB (Extended Upper Bound) methods which in contrast to MLR guarantee accurate upper bounds for basic actions in RETE or TREAT match algorithms. Hence, both algorithms can be applied to solving hard real-time problem in a limited way.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121927206","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
Semantic-based concurrency control for object-oriented database systems supporting real-time applications 支持实时应用的面向对象数据库系统的基于语义的并发控制
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336849
Juhnyoung Lee, S. Son
{"title":"Semantic-based concurrency control for object-oriented database systems supporting real-time applications","authors":"Juhnyoung Lee, S. Son","doi":"10.1109/EMWRTS.1994.336849","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336849","url":null,"abstract":"Recently object-oriented database technology has started to gain the attention of researchers in real-time database systems. This paper investigates major issues in designing semantic-based concurrency control for object-orient database systems supporting real-time applications, and describes an approach to solving those problems in an efficient way. This approach depends on the notion of affected-set of operations to determine operation compatibilities, and employs concurrency control algorithms augmented with priority-based conflict resolution schemes. With this method, it is impossible to manoeuvre the trade-off between logical and temporal consistency constraints in determining operation compatibilities, because the method deals with the two separately in different dimensions. However, this approach significantly lessens the complexity of the compatibility relation construction process, and can easily apply results from previous research on semantic-based concurrency control for object-oriented databases and on priority-based concurrency control for real-time database systems.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131529929","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
首页 上一页
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学术官方微信