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

筛选
英文 中文
UltraSMART: a scalable multiprocessor architecture for real time UltraSMART:一个可扩展的实时多处理器架构
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336855
A. Boxer, D. Malek
{"title":"UltraSMART: a scalable multiprocessor architecture for real time","authors":"A. Boxer, D. Malek","doi":"10.1109/EMWRTS.1994.336855","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336855","url":null,"abstract":"Concurrent Computer Corporation's UltraSMART (scalable multiprocessor architecture for real time) architecture is a busless distributed shared memory multiprocessor architecture that enables higher levels of performance and better real-time behavior than can be obtained with bus-based global shared memory multiprocessors. The paper describes UltraSMART, the UltraSMART-based MAXION multiprocessor system, and the UltraSMART enhancements to the RTU operating system.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"62 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":"115390858","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
On using epsilon serializable locking protocol for concurrency control in real-time databases 在实时数据库中使用epsilon可序列化锁协议进行并发控制
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336850
K. Lam, S. Hung
{"title":"On using epsilon serializable locking protocol for concurrency control in real-time databases","authors":"K. Lam, S. Hung","doi":"10.1109/EMWRTS.1994.336850","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336850","url":null,"abstract":"New non-serializable protocols based on incorporating epsilon serializability (ESR) into the real-time concurrency control protocol, Hybrid Two Phase Locking (Hb2PL) are proposed. The protocols try to maximize the values of the transactions by making a compromise between meeting transaction deadlines and maintaining consistent transaction view. Two different ways of incorporating ESR into Hb2PL are suggested. One is called Partial ESR Hb2PL and the other is called Full ESR Hb2PL. Performance studies with simulation models indicate that their performance is much better than the SR based protocols, High Priority 2PL (H2PL) (R. Abbott and H. Garcia-Molina, 1992).<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"39 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":"129498432","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
Implementing real-time applications with concurrent objects 使用并发对象实现实时应用程序
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336859
G. Caal, A. Divin
{"title":"Implementing real-time applications with concurrent objects","authors":"G. Caal, A. Divin","doi":"10.1109/EMWRTS.1994.336859","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336859","url":null,"abstract":"Presents a novel extension to the C++ programming language, allowing powerful expression of concurrency and synchronization in an object-oriented environment. The principal advantages of this extension over existing alternatives are its powerful, yet simple expression, its ease of use, and the strict parsimony of additions made to the C++ syntax. The concurrent and object-oriented capabilities of our approach make it particularly useful for facilitating the construction of complex software systems, such as communication layered protocols, control systems, graphical user interfaces, multimedia and other real-time applications.<<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":"131149815","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
On-line sporadic task scheduling in hard real-time systems 硬实时系统中的在线零星任务调度
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336844
S. Vieira, M. Magalhães
{"title":"On-line sporadic task scheduling in hard real-time systems","authors":"S. Vieira, M. Magalhães","doi":"10.1109/EMWRTS.1994.336844","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336844","url":null,"abstract":"We propose a set of scheduling procedures for dealing with the sporadic task scheduling in a dynamic periodic system. For this we mean a system in which periodic tasks change their parameters dynamically (at run-time), in an unpredictable way. So, the off-line periodic task set will be different from the current periodic task set. It means that the task schedulability tests in such systems have to be made on-line. On the other hand, on-line evaluations in hard real-time systems must be done in a fast way, once the overhead incurred in these evaluations may jeopardize the tasks timing requirements. As it is common that exact tests, providing necessary and sufficient conditions for validating the schedule, are intractable algorithms (EXPTIME), they can not support on-line decisions. Then, our goal is to provide a sufficient condition for on-line scheduling tests which is fast (PTIME) and can be reasonably useful compared to the exact condition. We present a series of simulation runs that confirm the usefulness of our approach.<<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":"133091082","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
A resynchronization method for real-time supervision 一种实时监控的再同步方法
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336863
R. Iorgulescu, R. Seviora
{"title":"A resynchronization method for real-time supervision","authors":"R. Iorgulescu, R. Seviora","doi":"10.1109/EMWRTS.1994.336863","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336863","url":null,"abstract":"Real-time supervision is one technique used to improve the perceived reliability of software systems. A real-time supervisor observes the inputs and outputs of the system and reports failures that occur. The approach presented in this paper uses the specification of external behavior of the system to detect failures. Failures are reported in real-time. In addition, the approach permits the assessment of the erroneous states of the system. Following a failure, the supervisor makes an assumption of the (system) erroneous state. Consequences of the same fault are not reported repeatedly. The supervisor accommodates the nondeterminism permissible under some specification formalism. The formalism considered in this paper is the CCITT SDL.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"9 5 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":"133328664","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
Object-oriented enhancement of real-time software using a heterogeneous re-engineering approach 使用异构再工程方法的实时软件的面向对象增强
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336858
R. Savola, T. Ihme, M. Heikkinen, M. Salmela, P. Pulli
{"title":"Object-oriented enhancement of real-time software using a heterogeneous re-engineering approach","authors":"R. Savola, T. Ihme, M. Heikkinen, M. Salmela, P. Pulli","doi":"10.1109/EMWRTS.1994.336858","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336858","url":null,"abstract":"A technique for incremental modernisation and enhancement of an existing procedural real-time software to an object-oriented one is presented. The incremental enhancement enables the real-time system designer to make use of the advantages of object-oriented paradigm: the resulting re-engineered software is more maintainable, reusable and configurable. In this approach, the object structure and additional new features can be validated interactively and iteratively using heterogeneous graphical animation. Different parts of the system may present different modelling levels during the enhancement, thus making the incremental process of software partitioning, object derivation and object design easier to manage.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"145 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":"114561267","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
The modular multimicroprocessor system architecture for the power turbine control 动力汽轮机控制的模块化多微处理器系统架构
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336854
M. Fragin, S. Gorbachev, M. B. Ignatiev, S. U. Pomelov, Y. Sheinin
{"title":"The modular multimicroprocessor system architecture for the power turbine control","authors":"M. Fragin, S. Gorbachev, M. B. Ignatiev, S. U. Pomelov, Y. Sheinin","doi":"10.1109/EMWRTS.1994.336854","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336854","url":null,"abstract":"The modular multimicroprocessor control system (MMCS) architecture for turbine control is presented. The turbine features which are produced by \"Metalicheskiy Zavod\" plc (St.-Petersburg) are considered. The multilayered MMCS system organization for these turbines is described. The architecture of distributed modular multimicroprocessor control system (MMCS) for turbo-unit technological process control is based on the modern concepts of modular multiprocessor systems with distributed architecture. The MMCS provides an integral computing entity with transparent multiprocessor organization for application programs. The MMCS has a two-layer hierarchical system architecture. The upper layer implements the high-rate and low-rate control loop tasks, the regulation system diagnostics, automatic turbine startup, etc. The lower layer realizes the local control and sensor functions and pre-processing in the distributed set of turbine points of control and measurement.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"79 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":"126730181","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
Determining the worst-case blocking sequences for distributed real-time programs 分布式实时程序最坏阻塞序列的确定
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336873
H. Wedde, B. Korel
{"title":"Determining the worst-case blocking sequences for distributed real-time programs","authors":"H. Wedde, B. Korel","doi":"10.1109/EMWRTS.1994.336873","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336873","url":null,"abstract":"For detecting timing errors in a distributed real-time program (distributed real-time debugging) it is essential to know all combinations of execution paths where a given path experiences a worst-case blocking time through communication (server calls) among the subprograms. In this paper we deal with the subproblem of blocking sequences of server call pairs between 2 paths. For determining their worst-case blocking time a polynomial algorithm had been found recently by D. Huizinga. We build on this result for constructing an efficient algorithm that computes all worst-case blocking sequences. Its correctness and practicality for distributed real-time debugging are discussed. Its extension to the general case of n+1 paths is outlined.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"28 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":"121041115","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
Application objects and modularity in real time graphical modelling 实时图形化建模中的应用对象和模块化
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336872
M. Maranzana, J. Schwarz, J. Skubich, P. Szwed
{"title":"Application objects and modularity in real time graphical modelling","authors":"M. Maranzana, J. Schwarz, J. Skubich, P. Szwed","doi":"10.1109/EMWRTS.1994.336872","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336872","url":null,"abstract":"LACATRE is a graphical language intended to help in the design of applications requiring the use of multitasking real time executives. Within the software life cycle, LACATRE covers both preliminary and detailed design. After a brief description of the LACATRE basic objects, this paper presents the use of the application objects (or high level objects) such as agency and process, associated to the import/export features. These components allow modularity and a structured design of real time applications and promote the creation of process libraries. Thus, it increases programme reusability.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"134 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113987860","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 software architecture for telerobotics 远程机器人的软件架构
Proceedings Sixth Euromicro Workshop on Real-Time Systems Pub Date : 1994-06-15 DOI: 10.1109/EMWRTS.1994.336860
E. L. Rest, L. Marcé
{"title":"A software architecture for telerobotics","authors":"E. L. Rest, L. Marcé","doi":"10.1109/EMWRTS.1994.336860","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336860","url":null,"abstract":"Describes a currently developed software architecture for telerobotics, based on a high-level and interpreted language, PILOT (Programming and Interpreted Language Of actions for Telerobotics), allowing one to plan the actions of a robot. Such a language allows the operator to modify a mission during its execution. A software architecture is developed for this language, and is composed of four modules which manage different aspects of plan execution.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"3 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":"121759345","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学术官方微信