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

Proceedings of 2nd IEEE Workshop on Real-Time Applications最新文献

筛选
英文 中文
Expression and validation of timing constraints and integration in software specification methods 软件规范方法中时间约束和集成的表达和验证
Proceedings of 2nd IEEE Workshop on Real-Time Applications Pub Date : 1994-07-21 DOI: 10.1109/RTA.1994.316143
D. Delfieu, A. Sahraoui
{"title":"Expression and validation of timing constraints and integration in software specification methods","authors":"D. Delfieu, A. Sahraoui","doi":"10.1109/RTA.1994.316143","DOIUrl":"https://doi.org/10.1109/RTA.1994.316143","url":null,"abstract":"The specification of temporal properties covers two issues: the expression and the validation in a machine-independent way. Common sense associates real-time to fast computing. Real-time contains two aspects: the problem of the coherence of temporal constraints between themselves and the performance constraints of the system. We propose a method that makes that distinction in order to decrease the complexity of the real-time application and replaces each problem at the best step of the life cycle of the application. The originality of this specification method is to express temporal properties in a formal manner that handles time in a qualitative and pseudo-quantitative way.<<ETX>>","PeriodicalId":399167,"journal":{"name":"Proceedings of 2nd IEEE Workshop on Real-Time Applications","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122896181","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
Strong P-fairness: a scheduling strategy for real-time applications 强p -公平性:实时应用程序的调度策略
Proceedings of 2nd IEEE Workshop on Real-Time Applications Pub Date : 1994-07-21 DOI: 10.1109/RTA.1994.316134
Sanjoy Baruah
{"title":"Strong P-fairness: a scheduling strategy for real-time applications","authors":"Sanjoy Baruah","doi":"10.1109/RTA.1994.316134","DOIUrl":"https://doi.org/10.1109/RTA.1994.316134","url":null,"abstract":"Many real-time multimedia applications consume data at a steady rate over an extended period of time. This data often needs to be retrieved from storage servers, or captured at remote locations and transported over communication networks to the application. We describe a new approach to the design of such systems. We formalize a model of data usage, define a measure of temporal fairness, and present results which illustrate both the scope and the limitations of our approach.<<ETX>>","PeriodicalId":399167,"journal":{"name":"Proceedings of 2nd IEEE Workshop on Real-Time Applications","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125611652","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
An object-oriented method for real-time systems 面向对象的实时系统方法
Proceedings of 2nd IEEE Workshop on Real-Time Applications Pub Date : 1994-07-21 DOI: 10.1109/RTA.1994.316140
M. Ramachandran
{"title":"An object-oriented method for real-time systems","authors":"M. Ramachandran","doi":"10.1109/RTA.1994.316140","DOIUrl":"https://doi.org/10.1109/RTA.1994.316140","url":null,"abstract":"Software quality is the key to real-time computing. This paper proposes an object-oriented model for large real-time systems. In this model we emphasize component assessment as one of the important process in a development, which is done based on checking each components against a set of criteria for reuse and quality. This paper identifies, in detail, Ada language (chosen for study) structures for concurrent real-time applications whose effective use affects component reusability. These criteria are partially automated by a prototype tool called ARCA (The Ada Reuse Concurrent Assessor) which generates reusable components for concurrent real-time applications and provides reuse advice and analysis.<<ETX>>","PeriodicalId":399167,"journal":{"name":"Proceedings of 2nd IEEE Workshop on Real-Time Applications","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128192350","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
RT-OMT: a real-time object modeling technique for designing real-time database applications RT-OMT:用于设计实时数据库应用程序的实时对象建模技术
Proceedings of 2nd IEEE Workshop on Real-Time Applications Pub Date : 1994-07-21 DOI: 10.1109/RTA.1994.316157
B. Thuraisingham, A. Schafer
{"title":"RT-OMT: a real-time object modeling technique for designing real-time database applications","authors":"B. Thuraisingham, A. Schafer","doi":"10.1109/RTA.1994.316157","DOIUrl":"https://doi.org/10.1109/RTA.1994.316157","url":null,"abstract":"This paper describes a methodology called RT-OMT (Real-time Object Modeling Technique) for designing real-time database applications. RT-OMT adapts the OMT (Object Modeling Technique) methodology for this purpose. OMT is one of the more popular object-oriented methodologies for designing applications for complex information systems. These include database systems, executive/enterprise information systems, collaborative computing systems, medical information systems, and hypermedia systems. This paper proposes an enhanced real-time OMT, by defining a real-time object model, a real-time dynamic model, and a real-time functional model for modeling and analysis of real-time database applications.<<ETX>>","PeriodicalId":399167,"journal":{"name":"Proceedings of 2nd IEEE Workshop on Real-Time Applications","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127368570","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
Off-line temporal analysis of hard real-time applications 硬实时应用的离线时间分析
Proceedings of 2nd IEEE Workshop on Real-Time Applications Pub Date : 1994-07-21 DOI: 10.1109/RTA.1994.316137
F. Cottet, J.-Ph. Babau
{"title":"Off-line temporal analysis of hard real-time applications","authors":"F. Cottet, J.-Ph. Babau","doi":"10.1109/RTA.1994.316137","DOIUrl":"https://doi.org/10.1109/RTA.1994.316137","url":null,"abstract":"The most critical part in the development of hard real-time applications is the priority mapping carried out with nonformal methods. Our approach is based on the view that if the real-time application software is transformed into a set of tasks modeled by proper temporal characteristics, then the schedule analysis is easier to be determined. We propose simple environment models (language and real-time kernel) and a methodology of temporal modeling of the application starting from initial task configuration and going through to a set of periodic tasks sharing critical resources. This configuration allows us to make off-line timing proofs by using well-known scheduling algorithms based either on static priority like rate monotonic or on dynamic priority like earliest deadline. The resource requirements of tasks are performed with the priority ceiling scheduling protocol. The proposed temporal analysis permits us to evaluate different temporal properties of the real-time application.<<ETX>>","PeriodicalId":399167,"journal":{"name":"Proceedings of 2nd IEEE Workshop on Real-Time Applications","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114882161","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
Formally specifying real-time Ada software 正式指定实时Ada软件
Proceedings of 2nd IEEE Workshop on Real-Time Applications Pub Date : 1994-07-21 DOI: 10.1109/RTA.1994.316139
M. Hinchey
{"title":"Formally specifying real-time Ada software","authors":"M. Hinchey","doi":"10.1109/RTA.1994.316139","DOIUrl":"https://doi.org/10.1109/RTA.1994.316139","url":null,"abstract":"A formal design method, based on an extended version of Receptive Process Theory, which is suitable for use in the design of real-time systems is described. The method is particularly appropriate for use with Ada software, as it can fully exploit Ada's advanced features such as tasking, multiple entry-points, exception handling, etc., and also supports asynchronous communication.<<ETX>>","PeriodicalId":399167,"journal":{"name":"Proceedings of 2nd IEEE Workshop on Real-Time Applications","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120997135","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
Scalable temporally predictable memory structures 可伸缩的、暂时可预测的内存结构
Proceedings of 2nd IEEE Workshop on Real-Time Applications Pub Date : 1994-07-21 DOI: 10.1109/RTA.1994.316153
S. Moore
{"title":"Scalable temporally predictable memory structures","authors":"S. Moore","doi":"10.1109/RTA.1994.316153","DOIUrl":"https://doi.org/10.1109/RTA.1994.316153","url":null,"abstract":"Faster processors are used to tackle larger problems which typically require a larger memory. Unfortunately this prohibits memory access latency from scaling with processor speed, Consequently, multiple levels of caching are employed which utilise temporal and spatial locality of reference to bridge the performance gap. However, cache performance is difficult to predict which is problematic for hard real-time systems. A tree memory structure, whose access frequency, rather than latency, can scale with processor speed, is proposed, together with a scalable memory module base virtual addressing mechanism and page based memory protection using capabilities. It is concluded that a multi-threaded processor would be desirable to utilise the concurrency of hard real-time applications to tolerate the latency of the memory tree.<<ETX>>","PeriodicalId":399167,"journal":{"name":"Proceedings of 2nd IEEE Workshop on Real-Time Applications","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133488155","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
Using RMA for evaluating design decisions 使用RMA来评估设计决策
Proceedings of 2nd IEEE Workshop on Real-Time Applications Pub Date : 1994-07-21 DOI: 10.1109/RTA.1994.316146
R. Nord, B. Cheng
{"title":"Using RMA for evaluating design decisions","authors":"R. Nord, B. Cheng","doi":"10.1109/RTA.1994.316146","DOIUrl":"https://doi.org/10.1109/RTA.1994.316146","url":null,"abstract":"Software architecture plays a central role in large, complex software systems with real-time or safety-critical requirements. We are investigating design methods based on software architecture, and techniques to specify, represent, and analyze them. As a practical matter we have decided to focus our architectural research on system structure, communication behavior and specific non-functional properties such as performance, synchronization, architectural integrity, dependency analysis and control. In this paper we show how software architecture can provide support for early performance and schedulability analysis, and how the resulting analysis can also provide feedback to evaluate the design decisions made at the architecture level.<<ETX>>","PeriodicalId":399167,"journal":{"name":"Proceedings of 2nd IEEE Workshop on Real-Time Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126998827","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
Rate monotonic analysis of a large, distributed system 大型分布式系统的速率单调分析
Proceedings of 2nd IEEE Workshop on Real-Time Applications Pub Date : 1994-07-21 DOI: 10.1109/RTA.1994.316131
M. Hecht, J. B. Hammer, C. D. Locke, Jonathan Dehn, R. Bohlmann
{"title":"Rate monotonic analysis of a large, distributed system","authors":"M. Hecht, J. B. Hammer, C. D. Locke, Jonathan Dehn, R. Bohlmann","doi":"10.1109/RTA.1994.316131","DOIUrl":"https://doi.org/10.1109/RTA.1994.316131","url":null,"abstract":"Considers some scale-up problems and issues in applying a rate monotonic analysis (RMA) to a large, distributed air traffic control system: the Federal Aviation Administration's Advanced Automation System (AAS). The preliminary results of this analysis have been very positive, and have identified a number of potential performance issues early in its life cycle that could be easily corrected long before the system is to be used for air traffic control.<<ETX>>","PeriodicalId":399167,"journal":{"name":"Proceedings of 2nd IEEE Workshop on Real-Time Applications","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133159548","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学术文献互助群
群 号：481959085
Book学术官方微信