Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems最新文献_第2页

General framework for fault tolerance from ISO/ITU Reference Model for Open Distributed Processing (RM-ODP) ISO/ITU开放分布式处理参考模型(RM-ODP)容错通用框架

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-11-18 DOI: 10.1109/WORDSF.1999.842341

J. Putman

引用次数: 27

Object-based precedency of messages in object-based systems 基于对象的系统中消息的基于对象的优先级

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-11-18 DOI: 10.1109/WORDSF.1999.842345

Y. Timura, Katsuya Tanaka, M. Takizawa

引用次数: 0

On the coordination of autonomous systems 论自治系统的协调

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-11-18 DOI: 10.1109/WORDSF.1999.842326

M. Mock, E. Nett

引用次数: 6

Requirements specification of an automotive system with hybrid sequence charts 带有混合顺序图的汽车系统需求规范

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-11-18 DOI: 10.1109/WORDSF.1999.842346

R. Grosu, Ingolf Krüger, T. Stauner

引用次数: 6

An experiment with adaptive fault tolerance in highly-constrained systems 高约束系统自适应容错实验

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-11-18 DOI: 10.1109/WORDSF.1999.842342

E. Shokri, P. Beltas

引用次数: 2

On framing object relationships to improve QoS in distributed systems 构建对象关系以提高分布式系统的QoS

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-11-18 DOI: 10.1109/WORDSF.1999.842337

M. Mortazavi

引用次数: 0

Applying a scalable CORBA event service to large-scale distributed interactive simulations 将可伸缩CORBA事件服务应用于大规模分布式交互模拟

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-11-18 DOI: 10.1109/WORDSF.1999.842335

C. O'Ryan, D. Levine, D. Schmidt, J. Noseworthy

{"title":"Applying a scalable CORBA event service to large-scale distributed interactive simulations","authors":"C. O'Ryan, D. Levine, D. Schmidt, J. Noseworthy","doi":"10.1109/WORDSF.1999.842335","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842335","url":null,"abstract":"Next-generation distributed interactive simulations (DISs) will have stringent quality of service (QoS) requirements for throughput, latency and scalability, as well as requirements for a flexible communication infrastructure to reduce software lifecycle costs. The CORBA event service provides a flexible model for asynchronous communication among distributed and collocated objects. However, the standard CORBA event service specification lacks important features and QoS optimizations required by DIS systems. This paper makes five contributions to the design, implementation and performance measurement of DIS systems. First, it describes how the CORBA event service can be implemented to support key QoS features. Second, it illustrates how to extend the CORBA event service so that it is better suited for DISs. Third, it describes how to develop efficient event dispatching and scheduling mechanisms that can sustain high throughput. Fourth, it describes how to use multicast protocols to reduce network traffic transparently and to improve system scalability. Finally, it illustrates how an event service framework can be strategized to support configurations that facilitate high throughput, predictable bounded latency, or some combination of each.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"203 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132701717","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}

引用次数: 49

A CORBA service enabling programmer-friendly object-oriented real-time distributed computing 支持程序员友好的面向对象的实时分布式计算的CORBA服务

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-11-18 DOI: 10.1109/WORDSF.1999.842340

K. Kim, D. Beck, J. Q. Liu, H. Miyazaki, E. Shokri

引用次数: 7

Process algebraic approach to the parametric analysis of object scheduling in real-time systems 实时系统中目标调度参数分析的过程代数方法

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-11-18 DOI: 10.1109/WORDSF.1999.842344

Hee-Hwan Kwak, Insup Lee

{"title":"Process algebraic approach to the parametric analysis of object scheduling in real-time systems","authors":"Hee-Hwan Kwak, Insup Lee","doi":"10.1109/WORDSF.1999.842344","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842344","url":null,"abstract":"Describes an approach to the specification and analysis of scheduling problems of real-time systems. The method is based on ACSR-VP (Algebra of Communicating Shared Resources with Value Passing), which is an extension of ACSR, a real-time process algebra, with value-passing capabilities and parameterized processes. A scheduling problem is described in ACSR-VP terms with unknown parameters. H.-H. Kwak et al. (1998) performed the analysis based on the notion of bisimulation, and the outcome of the analysis was a set of predicate equations with free variables. In this paper, we introduce a new approach based on reachability analysis which produces a set of predicate equations with free variables from a specification modeled in ACSR-VP terms. Our approach produce smaller number of predicate equations than the approach based on symbolic weak bisimulation proposed by Kwak et al. The solution to predicate equations identifies under what values of the unknown parameters the system becomes schedulable. Finally, we present as an example a priority assignment problem with multiprocessors in an end-to-end system.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130495346","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

Batching earliest deadline first scheduling 分批最早截止日期优先调度

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-11-18 DOI: 10.1109/WORDSF.1999.842329

Maryam Moghaddas, B. Hamidzadeh

引用次数: 4