Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000)最新文献

An algorithm for tolerating crash failures in distributed systems 一种在分布式系统中容忍崩溃故障的算法

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000) Pub Date : 2016-01-16 DOI: 10.1109/ECBS.2000.839856

V. D. Florio, Geert Deconinck, R. Lauwereins

{"title":"An algorithm for tolerating crash failures in distributed systems","authors":"V. D. Florio, Geert Deconinck, R. Lauwereins","doi":"10.1109/ECBS.2000.839856","DOIUrl":"https://doi.org/10.1109/ECBS.2000.839856","url":null,"abstract":"In the framework of the ESPRIT project 28620 \"TIRAN\" (tailorable fault tolerance frameworks for embedded applications), a toolset of error detection, isolation, and recovery components is being designed to serve as a basic means for orchestrating application-level fault tolerance. These tools will be used either as stand-alone components or as the peripheral components of a distributed application, that we call \"the backbone\". The backbone is to run in the background of the user application. Its objectives include (1) gathering and maintaining error detection information produced by TIRAN components like watchdog timers, trap handlers, or by external detection services working at kernel or driver level, and (2) using this information at error recovery time. In particular those TIRAN tools related to error detection and fault masking will forward their deductions to the backbone that, in turn, will make use of this information to orchestrate error recovery, requesting recovery and reconfiguration actions to those tools related to error isolation and recovery. Clearly a key point in this approach is guaranteeing that the backbone itself tolerates internal and external faults. In this article we describe one of the means that are used within the TIRAN backbone to fulfill this goal: a distributed algorithm for tolerating crash failures triggered by faults affecting at most all but one of the components of the backbone or at most all but one of the nodes of the system. We call this the algorithm of mutual suspicion.","PeriodicalId":252108,"journal":{"name":"Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126922878","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}

引用次数: 23

A component-based architecture for software communication systems 软件通信系统的基于组件的体系结构

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000) Pub Date : 2000-04-03 DOI: 10.1109/ECBS.2000.839859

M. Jung

引用次数: 22

IEEE ECBS'99 TC Architecture working group (AWG) report IEEE ECBS'99 TC架构工作组(AWG)报告

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000) Pub Date : 2000-04-03 DOI: 10.1109/ECBS.2000.839900

T. O'Neill, J. Leaney, David Rowe, H. Simpson, M. Rangarajan, Jurgen Weiss, Z. Papp, T. Bapty, B. Purves, Gábor Horváth, E. Jong

引用次数: 4

Multimedia systems: on the ergonomic design and evaluation of user interfaces and system structures

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000) Pub Date : 2000-04-03 DOI: 10.1109/ECBS.2000.839884

Gabriele Schade

引用次数: 0

Application of factorial design to validation of system performance 因子设计在系统性能验证中的应用

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000) Pub Date : 2000-04-03 DOI: 10.1109/ECBS.2000.839891

T. Berling, P. Runeson

引用次数: 14

On the design of ORBIT 关于ORBIT的设计

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000) Pub Date : 2000-04-03 DOI: 10.1109/ECBS.2000.839868

M. Rangarajan, Iqbal Mutabanna, Darryl D. Dieckman, B. Farooqi, A. Rajkhowa, S. Doumit, Arun Venkataraman, Cindy Kong, R. Kamath, P. Alexander, N. Abu-Ghazaleh

{"title":"On the design of ORBIT","authors":"M. Rangarajan, Iqbal Mutabanna, Darryl D. Dieckman, B. Farooqi, A. Rajkhowa, S. Doumit, Arun Venkataraman, Cindy Kong, R. Kamath, P. Alexander, N. Abu-Ghazaleh","doi":"10.1109/ECBS.2000.839868","DOIUrl":"https://doi.org/10.1109/ECBS.2000.839868","url":null,"abstract":"Design of highly complex systems relies on effective utilization of multiple tools. The tools vary with the aspect of the design the user is currently interested in. Also, the approaches used to verify the correctness of the design are different for different domains. Because of the importance of verifying the correctness of the design, there is considerable interest in utilizing the different approaches and tools in a complementary manner to provide higher degrees of assurance. Unfortunately, due to constraints on the model representations and incompatibilities among the various tools, heterogeneous design and analysis is not feasible. The ORBIT project was envisaged to address this problem. ORBIT is an heterogeneous, component-based design and analysis environment. This paper presents the original requirements of this environment, details the various design decisions taken towards satisfying the requirements, and presents an overview of the implementation. In particular it discusses the generic framework used (GRAVITY), the integration of simulation and formal verification within the design process, automatic generation of proof obligations for checking designs, verification of constraints in the designs and work on re-usability using persistent storage.","PeriodicalId":252108,"journal":{"name":"Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114235240","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

ECBS Education and Training Working Group Report 欧洲央行教育和培训工作组报告

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000) Pub Date : 2000-04-03 DOI: 10.1109/ECBS.2000.839903

J. Z. Lavi

引用次数: 0

Truly distributed control systems using fieldbus technology 真正采用现场总线技术的分布式控制系统

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000) Pub Date : 2000-04-03 DOI: 10.1109/ECBS.2000.839874

A. Scott, W. Buchanan

引用次数: 25

Architecture-based performance analysis of the COLLINS class submarine open system extension (COSE) concept demonstrator (CD) 基于体系结构的COLLINS级潜艇开放系统扩展(COSE)概念验证器(CD)性能分析

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000) Pub Date : 2000-04-03 DOI: 10.1109/ECBS.2000.839858

T. O'Neill, J. Leaney, Philip Martyn

{"title":"Architecture-based performance analysis of the COLLINS class submarine open system extension (COSE) concept demonstrator (CD)","authors":"T. O'Neill, J. Leaney, Philip Martyn","doi":"10.1109/ECBS.2000.839858","DOIUrl":"https://doi.org/10.1109/ECBS.2000.839858","url":null,"abstract":"Being able to predict the overall performance of a computer based system, prior to building it, is one of the greatest challenges facing system engineers today. The emerging discipline of system architecture, by defining a high level abstraction of the overall structure of the system, hopes to provide the foundation for this reasoning. The authors demonstrate an architecture-based performance analysis technique on the COLLINS class submarine Open System Extension (COSE) Concept Demonstrator (CD) system. The layered architectural design of the COSE CD system, together with it's normally probabilistic, repeatable and predictable nature for varying loads, makes it suitable to an architecture-based approach to performance analysis. An architectural model of the system is developed and populated and then used to predict the performance characteristics of service time, waiting time, response time and device utilisation. These predictions are then verified against theoretical performance predictions and validated against a preliminary implementation of the system.","PeriodicalId":252108,"journal":{"name":"Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115582091","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

Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling 用于嵌入式系统建模的离散事件系统规范(DEVS)和StateMate StateCharts等价

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000) Pub Date : 2000-04-03 DOI: 10.1109/ECBS.2000.839890

Quan Long, Zongyan Qiu, Shengchao Qin

引用次数: 34