1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems最新文献_第3页

A 2-phase N-modular redundancy algorithm 两相n模冗余算法

1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-01-27 DOI: 10.1109/WORDS.1999.806582

I. Yen, Hitesh Kapoor

{"title":"A 2-phase N-modular redundancy algorithm","authors":"I. Yen, Hitesh Kapoor","doi":"10.1109/WORDS.1999.806582","DOIUrl":"https://doi.org/10.1109/WORDS.1999.806582","url":null,"abstract":"N-modular redundancy (NMR) approach has been widely used to uniformly tolerate many types of failures. Various NMR implementations include FTMP, SIFT, C.vmp, MAFT, FTP, and Delta-4. Some of these only require loose synchronization and, hence, can be applied to general-purpose distributed systems. However, loosely synchronized systems generally incur a higher overhead. Thus, many of these approaches sacrifice parallelism to achieve a better performance. As computers are used increasingly in complex, critical systems, providing parallel processing is inevitable. We consider a system model that multiple processor groups execute tasks in parallel and concurrently access a logically shared address space (shared storage). We discuss a two-phase NMR (2P-NMR) algorithm that incurs relatively low overhead for shared storage accesses. An executor-verifier approach is used in 2P-NMR to reduce the communication cost and the two phase scheme is used to assure that the single executor does not corrupt the system state. The 2P-NMR approach is also adaptive. It achieves peak performance during failure free periods and gracefully degrades to regular NMR protocol when failures occur.","PeriodicalId":302179,"journal":{"name":"1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123453403","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

Task graphs for mobile code-an introduction to ITGS 移动代码的任务图- ITGS的介绍

1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-01-27 DOI: 10.1109/WORDS.1999.806595

A. Silberman, A. Stoyen

引用次数: 2

Dynamic modeling of replicated objects for dependable soft real-time distributed object systems 可靠软实时分布式对象系统中复制对象的动态建模

1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-01-27 DOI: 10.1109/WORDS.1999.806561

V. Kalogeraki, L. Moser, P. Melliar-Smith

引用次数: 10

A rate-based message scheduling paradigm 基于速率的消息调度范例

1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-01-27 DOI: 10.1109/WORDS.1999.806584

Hung-Ying Tyan, J. Hou

{"title":"A rate-based message scheduling paradigm","authors":"Hung-Ying Tyan, J. Hou","doi":"10.1109/WORDS.1999.806584","DOIUrl":"https://doi.org/10.1109/WORDS.1999.806584","url":null,"abstract":"We propose a generic rate-based scheduling paradigm that can serve as a vehicle either for implementing existing well-known rate-based message scheduling algorithms, or for designing new rate-based message scheduling algorithms. The proposed scheduling paradigm is general enough to encompass a wide spectrum of rate-based scheduling algorithms and is flexible enough to allow realization of several desirable features, e.g., rate enforcement, capability of handling overbooking, and capability of providing rate parameters for traffic monitoring. Its modular design also facilitates realization of multiple scheduling algorithms in an uniform framework. Different levels of QoS can be provided to applications by invoking appropriate message schedulers implemented in the same framework. We demonstrate the use of the proposed scheduling paradigm by implementing the following two well-known families of message scheduling algorithms: (1) Virtual-Clock and its variations Self-Clocked Pair Queuing and Leap Forward Virtual Clock, and (2) Generalized Processor Sharing (or Weighted Fair Queuing) and its realistic implementations Packet-by-Packet Generalized Processor Sharing and Worst-case Fair Weighted Fair Queuing. We also design a simple message scheduling algorithm, called FIFO-r, using the paradigm, and derive analytically both the actual service rate and the end-to-end delay under FIFO-r.","PeriodicalId":302179,"journal":{"name":"1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129394145","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

Dependability of on-line optimization techniques in real-time applications 在线优化技术在实时应用中的可靠性

1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-01-27 DOI: 10.1109/WORDS.1999.806576

B. Hamidzadeh, S. Shekhar

引用次数: 1

Measuring OS support for real-time CORBA ORBs 测量操作系统对实时CORBA orb的支持

1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-01-27 DOI: 10.1109/WORDS.1999.806555

D. Levine, Sergio Flores-Gaitan, C. Gill, D. Schmidt

引用次数: 17

Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java 分布式数据并行:在笛卡尔中指定，并在SequenceL和Java中编程

1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-01-27 DOI: 10.1109/WORDS.1999.806568

J. E. Urban, D. Cooke

引用次数: 1

Workshop summary discussions WORDS 99 研讨会总结讨论

1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-01-27 DOI: 10.1109/WORDS.1999.806603

B. Thuraisingham

引用次数: 0

Two CORBA services enabling TMO network programming 支持TMO网络编程的两个CORBA服务

1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-01-27 DOI: 10.1109/WORDS.1999.806557

K. Kim, E. Shokri

{"title":"Two CORBA services enabling TMO network programming","authors":"K. Kim, E. Shokri","doi":"10.1109/WORDS.1999.806557","DOIUrl":"https://doi.org/10.1109/WORDS.1999.806557","url":null,"abstract":"In facilitating efficient construction of real time distributed computing applications composed of CORBA-compliant components, there are practical advantages in keeping the core component of the CORBA standards, i.e., ORB and interface definition language (IDL), unchanged or minimally changed. This means to bring new mechanisms and capabilities for real time computing support in the form of CORBA services. The paper discusses how this \"minimal-extension\" strategy can be realized. We focus on the design and implementation of a middleware providing execution support for the time-triggered message-triggered object (TMO) structured CORBA applications. The TMO structuring scheme is a syntactically simple and natural but semantically powerful extension of the conventional object structuring approaches. The strategy discussed is to provide the additional capabilities for executing and connecting TMO-structured CORBA-compliant components via two CORBA services: TMO Execution Support (TMOES) and Cooperating Network Configuration Management (CNCM). Both services can be implemented in the form of distributed computing middleware consisting of CORBA-compliant objects.","PeriodicalId":302179,"journal":{"name":"1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130101512","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}

引用次数: 16

System engineering encapsulation of reliability techniques 可靠性技术的系统工程封装

1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-01-27 DOI: 10.1109/WORDS.1999.806572

Yusen Lin, S. Bhattacharya

{"title":"System engineering encapsulation of reliability techniques","authors":"Yusen Lin, S. Bhattacharya","doi":"10.1109/WORDS.1999.806572","DOIUrl":"https://doi.org/10.1109/WORDS.1999.806572","url":null,"abstract":"Development of an end-to-end software system requires comprehensive reliability-driven treatment. Therefore, all phases of the system engineering life-cycle require adequate treatment from the reliability perspective. Research in software engineering also indicates that early removal of faults is critical to the success of a reliable software system. A combined treatment of reliability engineering and software life-cycle can provide the capability of reliability estimation to designers to help them clarify, analyze and verify the reliability requirement in the early phases of the life-cycle. The broad goal of our research is to provide a computer aided reliability engineering (CARE) tool that can be used across the software development life-cycle. We present a reliability based software development process and an end-to-end reliability estimation of a multi-module software system. The end-to-end reliability estimation analyzes the reliability parameters of each module (or components) as well as the data and control flows among them to provide accurate reliability parameters of the software system. The reliability information can be used in high level design phases as well as in testing. We propose a multi-module based reliability estimation approach that, by using a resolution function, can model the fault propagation amongst the modules and links. This approach includes both data and control flow structure of the program, as well as provisions for looping structure in the program. Implementation issues of this approach to the CARE tool is discussed.","PeriodicalId":302179,"journal":{"name":"1999 Proceedings. Fourth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"168 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134499622","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