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

筛选
英文 中文
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
A new method for optimization of allocation and scheduling in real time applications 一种实时应用中优化分配和调度的新方法
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514320
M. Coli, P. Palazzari
{"title":"A new method for optimization of allocation and scheduling in real time applications","authors":"M. Coli, P. Palazzari","doi":"10.1109/EMWRTS.1995.514320","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514320","url":null,"abstract":"Performance improvements achievable through parallel processing are useful in real time (RT) environments. The paper describes a method to map (i.e. allocate and schedule) a program with some RT constraints into a parallel system. We formulate the mapping problem as a minimization problem, defining a new cost function whose minimization leads to the optimal mapping of the program into the parallel system. The searching space over which the minimization must be carried out is defined; this space encloses all the feasible allocation and scheduling modalities for the program in the parallel system. The minimization is carried out through a simulated annealing algorithm, so we define an adjacency criterion on the searching space. Some examples illustrating the capabilities of the proposed method are presented.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"24 6 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":"124109230","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}
引用次数: 18
Hard real-time preemptively scheduling with high context switch cost 具有高上下文切换代价的硬实时抢占调度
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514310
J. Echagüe, I. Ripoll, A. Crespo
{"title":"Hard real-time preemptively scheduling with high context switch cost","authors":"J. Echagüe, I. Ripoll, A. Crespo","doi":"10.1109/EMWRTS.1995.514310","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514310","url":null,"abstract":"One of the most important aspects in the development of real-time systems is the scheduling policy to guarantee the response time of a task with timing constraints. Some real-time scheduling techniques use the advantage of stack scheduler properties to bound the number of context switches. In general purpose real-time systems, the context switch does not introduce a significant overhead in the system execution, so their importance in the analysis is not relevant. However, in some applications such as multimedia where the tasks exhibit a very high context switch cost, their importance could be crucial. In this case, the context switch is mainly due to the latency time of the I/O devices. In this paper, an analytic model is presented to calculate off-line the number of preemptions which a set of periodic tasks suffer, scheduled by a static (Rate Monotonic, Deadline Monotonic) and a dynamic (Earliest Deadline First) scheduler. Moreover, the necessary and sufficient conditions to construct a task set in which a subset will never be preempted being scheduled under the scheduling policies described is shown. Finally, an evaluation and comparison of both approaches is developed.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"77 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":"122567632","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}
引用次数: 25
Transforming designs towards implementations 将设计转化为实现
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514312
M. Kaaramees
{"title":"Transforming designs towards implementations","authors":"M. Kaaramees","doi":"10.1109/EMWRTS.1995.514312","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514312","url":null,"abstract":"We are interested in constructing safety-critical systems from their requirements specification. Our approach is the following: we start with requirements formalized in Duration Calculus (DC). These requirements are transformed to another form in DC, expressing the design of the system. The design is then transformed to a joint action system expressed in DisCo language. The specifications in DC emphasize properties the system must have, whereas the joint action system is closer to description how the system must be implemented. The philosophy is that all the involved transformations must be proven correct. This paper focuses on the transformation from a design in DC to a joint action system in DisCo.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"42 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":"124026646","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
A scheduling problem language 调度问题语言
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514292
Mikko Levanto
{"title":"A scheduling problem language","authors":"Mikko Levanto","doi":"10.1109/EMWRTS.1995.514292","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514292","url":null,"abstract":"A language for specification of the details of a scheduling problem is presented. First experiments indicate that the language can be used to express actual scheduling problems. Some deficiencies were detected but they can be fixed while keeping the general structure of the language.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"6 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":"130401264","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
Measuring the real-time operating system performance 测量操作系统的实时性能
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514289
K. Sacha
{"title":"Measuring the real-time operating system performance","authors":"K. Sacha","doi":"10.1109/EMWRTS.1995.514289","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514289","url":null,"abstract":"Tests for measuring the real time operating system performance belong to the software technology. They give quantitative measures for the most important characteristics and allow the implementer to compare the efficiency of various operating systems. The paper presents a set of simple tests for measuring the real time operating system characteristics. The tests require no specialized hardware, and are based on direct measuring of the duration of execution of sequences of system functions. All tests described in the paper have been applied to measure the efficiency of a distributed operating system QNX. The measurements include the speed of intertask communication through messages, proxies and signals, and the speed of task switching and timer interrupt handling. The results are presented in a series of easily readable tables.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"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":"130555770","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}
引用次数: 31
A Q-model approach to decomposition and aggregation of specifications of real-time systems 实时系统规范分解与聚合的q模型方法
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514314
R. Paluoja
{"title":"A Q-model approach to decomposition and aggregation of specifications of real-time systems","authors":"R. Paluoja","doi":"10.1109/EMWRTS.1995.514314","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514314","url":null,"abstract":"New application areas and the increasing complexity of problems to be solved with real-time systems have led to a corresponding decrease in the probability of designing a correct solution. In this paper a Q-model approach to the problem of dealing with complexity of the specification process, specifically some aspects of decomposition and aggregation, is discussed. The evolutionary development of a specification is recorded in the form of a heredity tree. The heredity tree is built up by decomposing, or aggregating, processes in the specification. To guarantee the correct data interfaces, and the equivalence of dynamic properties between specifications at different levels of detail (especially, when all timing parameters are not yet completely specified), dummy processes, to represent different time parameters and perform specific functions, are introduced.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"34 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":"131201429","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
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学术官方微信
小红书