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

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

筛选
英文 中文
MMS and time 彩信和时间
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514302
J. Akazan, Z. Mammeri
{"title":"MMS and time","authors":"J. Akazan, Z. Mammeri","doi":"10.1109/EMWRTS.1995.514302","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514302","url":null,"abstract":"This paper addresses MMS and real time issues. The requirements for real time systems are introduced. The paper also presents briefly MAP, and in particular, the MMS standard in real time environments, emphasising its weaknesses and goes on to show our approach to making MMS more suitable for a real time context. The approach consists of modifying the existing objects, services and protocol to satisfy real time requirements.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129680230","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
A synchronous real-time knowledge-based system 同步实时的基于知识的系统
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514313
Celso A. A. Kaestner, J. Farines
{"title":"A synchronous real-time knowledge-based system","authors":"Celso A. A. Kaestner, J. Farines","doi":"10.1109/EMWRTS.1995.514313","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514313","url":null,"abstract":"We propose a framework for the construction of real-time knowledge-based systems, under the production system paradigm and following the synchronous approach. This approach assumes that the inputs and outputs of a system are synchronous events, i.e. zero-time reaction systems. The proposed formalism which is used in this paper is based on a paraconsistent prepositional temporal logic, extended by a set of temporal operators represented by finite automata. We also present the agreement of the logical model theory with the input/output relation of a reactive production system, and show how the temporal conditions are expressed and temporal properties are verified. Finally, we discuss the use of this proposal for the effective construction of rule-based production systems for reactive and real-time applications.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116466555","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
Scheduling algorithms for improving the response in intelligent real-time environments 提高智能实时环境响应的调度算法
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514298
H. Hassan, A. Crespo, A. García-Fornes
{"title":"Scheduling algorithms for improving the response in intelligent real-time environments","authors":"H. Hassan, A. Crespo, A. García-Fornes","doi":"10.1109/EMWRTS.1995.514298","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514298","url":null,"abstract":"Over the last few years, the usefulness and maturity of artificial intelligence technologies, and in particular of knowledge-based systems, have been demonstrated by the ever growing number of commercial applications using them. In the domain of real-time control systems (process control, avionics, robotics, ...), these techniques have been considered with a renewed interest, as they appear as a promising approach to cope with the increasing complexity of the systems to be controlled. The integration of nonpredictable methods in real time systems is one of the crucial points. A task model allowing the representation of activities with optional parts and several scheduling algorithms to incorporate them into real time systems is described.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121751392","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
Meeting hard-real-time constraints using a client-server model of interaction 使用客户机-服务器交互模型满足硬实时约束
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514323
J. Coello, M. Magalhães, K. Ramamritham
{"title":"Meeting hard-real-time constraints using a client-server model of interaction","authors":"J. Coello, M. Magalhães, K. Ramamritham","doi":"10.1109/EMWRTS.1995.514323","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514323","url":null,"abstract":"The Ster environment integrates programming languages with scheduling strategies to support the development of flexible and predictable distributed systems. Ster application objects can establish a client-server relationship, and clients may specify sequences of services that should be treated as atomic multiservice accesses. The core of Ster's scheduling strategy is an offline scheduler that searches for a schedule that guarantees application's allocation, timing, precedence and resource constraint and tries to balance the schedule in the space and temporal domains. The experimental evaluation of the offline scheduling algorithm discussed, shows that the simple heuristics and mechanisms it implements are very effective in finding well balanced schedules.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"227 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122140856","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}
引用次数: 4
A dedicated digital unit for event recognition and centroiding in photon counting intensified CCDs 光子计数增强型ccd中用于事件识别和质心定位的专用数字单元
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514295
Paolo Achdjian, S. D'Angelo, E. Quadrini, G. Sechi, E. G. Tanzi
{"title":"A dedicated digital unit for event recognition and centroiding in photon counting intensified CCDs","authors":"Paolo Achdjian, S. D'Angelo, E. Quadrini, G. Sechi, E. G. Tanzi","doi":"10.1109/EMWRTS.1995.514295","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514295","url":null,"abstract":"A dedicated digital electronic system for real time acquisition and processing of data arrays with input rate as high as 20 MHz is presented. The system identifies and determines the center coordinates, to sub-pixel accuracy of events produced by a photon counting intensified CCD. Each photon event is represented, on the CCD matrix, by a charge distribution of approximately Gaussian profile. Identification is performed by a morphological analysis of the event profile. A number of characteristics of the expected profile is checked by dedicated units, operating in parallel, with an internal pipeline architecture that renders it possible to produce a result every 50 ns. System operation is managed by a microprogrammable control unit. The system prototype has been implemented by means of field programmable gate arrays (FPGA).","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122540657","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}
引用次数: 4
Property decomposition to speed up analysis 属性分解，以加快分析
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514305
F. Calzolari, M. Pezzè
{"title":"Property decomposition to speed up analysis","authors":"F. Calzolari, M. Pezzè","doi":"10.1109/EMWRTS.1995.514305","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514305","url":null,"abstract":"The complexity and criticity of many real time systems suggest that the temporal reachability analysis technique can find a role in the industrial development of such systems. Unfortunately, the costs of time reachability analysis inhibits the systematic application of this kind of analysis in the early stages of development, when long verification sessions slow down the development process. Moreover, the large reachability space built for proving temporal properties reduces the size of specification for which temporal reachability analysis can be applied. We show how some easily accessible information about the system to be developed and the required properties can largely reduce in many interesting cases the size of the reachability space to be explored. In this way temporal reachability analysis can be used for verifying fairly large specifications and can be applied at the early stages of development without excessively slowing down the development process. In this last case, the time spent for verification at the early stages of development is paid back by the time later saved for correcting errors otherwise uncaught.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122713182","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}
引用次数: 4
Using ObjectCharts to specify and design electronic systems 使用对象图来指定和设计电子系统
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514308
J. Ernst, Y. Tanurhan, K. Müller-Glaser
{"title":"Using ObjectCharts to specify and design electronic systems","authors":"J. Ernst, Y. Tanurhan, K. Müller-Glaser","doi":"10.1109/EMWRTS.1995.514308","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514308","url":null,"abstract":"A novel object-oriented description formalism is described which covers both time-discrete and time-continuous behavior. It can be used to describe hardware/software systems on various levels of abstraction. Allowing users to model their own virtual machine supports development on several abstraction levels at the same time. So different implementation configurations can easily be considered and a systematic tradeoff between different implementation choices can be made.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123111288","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
An environment to ease the use of MMS 一个环境，以方便使用彩信
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514303
Z. Mammeri, J. Akazan
{"title":"An environment to ease the use of MMS","authors":"Z. Mammeri, J. Akazan","doi":"10.1109/EMWRTS.1995.514303","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514303","url":null,"abstract":"The paper presents a development environment to ease the use of MMS. MMS is briefly introduced as well as its weaknesses. Given a distributed real time application specified in our higher level language, our tool automatically generates useful MMS objects for the implementation of the application by means of MMS services.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"560-561 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116913647","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
IDERS: an integrated environment for the development of hard real-time systems 用于开发硬实时系统的集成环境
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514285
A. Alonso, Hanne Christensen, L. Baresi, M. Heikkinen
{"title":"IDERS: an integrated environment for the development of hard real-time systems","authors":"A. Alonso, Hanne Christensen, L. Baresi, M. Heikkinen","doi":"10.1109/EMWRTS.1995.514285","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514285","url":null,"abstract":"IDERS is a new generation environment for developing real time critical systems. It integrates specification, design and code within a single framework, provides support for incremental prototyping and allows early validation through testing and animation. The system is based on a kernel that eliminates ambiguities and supplies dynamic semantic checks. Customization facilities allow one to tailor the environment to specific notations, preserving the benefits of the formal kernel. The software process is modeled by a process centered software engineering environment that guarantees the complete visibility of both the development process and the evolving products. The IDERS project supplies a specific process model inspired by B. Boehm's spiral life cycle model (1988).","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123038128","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}
引用次数: 10
A layered architecture for real time applications 用于实时应用程序的分层体系结构
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514286
Peter Loborg, Anders Törne
{"title":"A layered architecture for real time applications","authors":"Peter Loborg, Anders Törne","doi":"10.1109/EMWRTS.1995.514286","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514286","url":null,"abstract":"The paper argues that real time control systems should be structured in abstraction layers in provide adequate instruction formalisms for both task specification and for low level control, and that the design information used when specifying the system should be included in the encoding of the abstraction barrier. When this design information is available, describing the semantics of the abstraction, the problems with interdependencies between real time control and task level operation can be handled. An example of a system encompassing this principle-Aramis-is presented. The paper discusses how this principle can be utilised to analyse the system and for error recovery support.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"21 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123413044","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学术文献互助群
群 号：481959085
Book学术官方微信