发布求助
文献互助 智能选刊 最新文献

Proceedings. International Conference on Dependable Systems and Networks最新文献

筛选
英文 中文
Detection of invalid routing announcement in the Internet 检测Internet中无效的路由公告
Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028887
Xiaoliang Zhao, Dan Pei, Lan Wang, D. Massey, A. Mankin, S. F. Wu, Lixia Zhang
{"title":"Detection of invalid routing announcement in the Internet","authors":"Xiaoliang Zhao, Dan Pei, Lan Wang, D. Massey, A. Mankin, S. F. Wu, Lixia Zhang","doi":"10.1109/DSN.2002.1028887","DOIUrl":"https://doi.org/10.1109/DSN.2002.1028887","url":null,"abstract":"Network measurement has shown that a specific IP address prefix may be announced by more than one autonomous system (AS), a phenomenon commonly referred to as Multiple Origin AS, or MOAS. MOAS can be due to either operational need to support multi-homing, or false route announcements due to configuration or implementation errors, or even by intentional attacks. Packets following such bogus routes will be either dropped or in the case of an intentional attack, delivered to a machine of the attacker's choosing. The paper presents a protocol enhancement to BGP which enables BGP to detect bogus route announcements from false origins. Rather than imposing cryptography-based authentication and encryption to secure routing message exchanges, our solution makes use of the rich connectivity among ASs that exists in the Internet. Simulation results show that this simple solution can effectively detect false routing announcements even in the presence of multiple compromised routers, become more robust in larger topologies, and can substantially reduce the impact of false routing announcements even with a partial deployment.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"16 1","pages":"59-68"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88040749","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}
引用次数: 99
MAFALDA-RT: a tool for dependability assessment of real-time systems MAFALDA-RT:实时系统可靠性评估工具
Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028909
Manuel Rodríguez, A. Albinet, J. Arlat
{"title":"MAFALDA-RT: a tool for dependability assessment of real-time systems","authors":"Manuel Rodríguez, A. Albinet, J. Arlat","doi":"10.1109/DSN.2002.1028909","DOIUrl":"https://doi.org/10.1109/DSN.2002.1028909","url":null,"abstract":"This paper presents a new prototype tool called MAFALDA-RT (Microkernel Assessment by Fault injection AnaLysis and Design Aid for Real Time systems) that is aimed at the dependability assessment of real-time systems. The tool proposes a novel method to cope with the problem of temporal intrusiveness caused by the use of SWIFI. In addition to typical failure modes (e.g., application hang, system hang, exception, etc), the observation capabilities of MAFALDA-RT extend to temporal measurements characterizing both the executive and application layers (e.g., task processing, task synchronization, context-switch, system calls, etc.). The usefulness of the tool is illustrated by a set of results of a significant case study, based on a real time system consisting of the Chorus microkernel and a mine drainage control application.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"40 1","pages":"267-272"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86996884","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}
引用次数: 47
A compositional approach to monitoring distributed systems 监视分布式系统的组合方法
Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1029022
Mohammad Zulkernine, R. Seviora
{"title":"A compositional approach to monitoring distributed systems","authors":"Mohammad Zulkernine, R. Seviora","doi":"10.1109/DSN.2002.1029022","DOIUrl":"https://doi.org/10.1109/DSN.2002.1029022","url":null,"abstract":"This paper proposes a specification-based monitoring approach for automatic run-time detection of software errors and failures of distributed systems. The specification is assumed to be expressed in communicating finite state machines based formalism. The monitor observes the external I/O and partial state information of the target distributed system and uses them to interpret the specification. The approach is compositional as it achieves global monitoring by combining the component-level monitoring. The core of the paper describes the architecture and operations of the monitor The monitor includes several independent mechanisms, each tailored to detecting specific kinds of errors or failures. Their operations are described in detail using illustrative examples. Techniques for dealing with nondeterminism and concurrency issues in monitoring a distributed system are also discussed with respect to the considered model and specification. A case study describing the application of the prototype monitor to an embedded system is presented.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"27 1","pages":"763-772"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85671708","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}
引用次数: 27
Reducing recovery time in a small recursively restartable system 减少小型递归可重启系统的恢复时间
Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1029006
George Candea, J. Cutler, A. Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda
{"title":"Reducing recovery time in a small recursively restartable system","authors":"George Candea, J. Cutler, A. Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda","doi":"10.1109/DSN.2002.1029006","DOIUrl":"https://doi.org/10.1109/DSN.2002.1029006","url":null,"abstract":"We present ideas on how to structure software systems for high availability by considering MTTR/MTTF characteristics of components in addition to the traditional criteria, such as functionality or state sharing. Recursive restartability (RR), a recently proposed technique for achieving high availability, exploits partial restarts at various levels within complex software infrastructures to recover from transient failures and rejuvenate software components. Here we refine the original proposal and apply the RR philosophy to Mercury, a COTS-based satellite ground station that has been in operation for over 2 years. We develop three techniques for transforming component group boundaries such that time-to-recover is reduced, hence increasing system availability. We also further RR by defining the notions of an oracle, restart group and restart policy, while showing how to reason about system properties in terms of restart groups. From our experience with applying RR to Mercury, we draw design guidelines and lessons for the systematic application of recursive restartability to other software systems amenable to RR.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"20 1","pages":"605-614"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79992928","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}
引用次数: 78
Impact of fault management server and its failure-related parameters on high-availability communication systems 故障管理服务器及其故障相关参数对高可用性通信系统的影响
Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1029013
Hairong Sun, James J. Han, I. Levendel
{"title":"Impact of fault management server and its failure-related parameters on high-availability communication systems","authors":"Hairong Sun, James J. Han, I. Levendel","doi":"10.1109/DSN.2002.1029013","DOIUrl":"https://doi.org/10.1109/DSN.2002.1029013","url":null,"abstract":"In this paper, we investigate the impact of a fault management server and its failure-related parameters on high-availability communication systems. The key point is that, to achieve high overall availability of a communication system, the availability of the fault management server itself is not as important as its fail-safe ratio and fault coverage. In other words, in building fault management servers, more attention should be paid to improving the server's ability of detecting faults in functional units and its own isolation under failure from the functional units. Tradeoffs can be made between the availability of the fault management server, the fail-safe ratio and the fault coverage ratio to optimize system availability. A cost-effective design for the fault management server is proposed in this paper.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"4 1","pages":"679-686"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89639087","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
Implementation and performance evaluation of an adaptable failure detector 自适应故障检测器的实现与性能评估
Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028920
M. Bertier, O. Marin, Pierre Sens
{"title":"Implementation and performance evaluation of an adaptable failure detector","authors":"M. Bertier, O. Marin, Pierre Sens","doi":"10.1109/DSN.2002.1028920","DOIUrl":"https://doi.org/10.1109/DSN.2002.1028920","url":null,"abstract":"Chandra and Toueg (1996) introduced the concept of unreliable failure detectors, They showed how, by adding these detectors to an asynchronous system, it is possible to solve the Consensus problem. In this paper, we propose a new implementation of a failure detector. This implementation is a variant of the heartbeat failure detector which is adaptable and can support scalable applications. In this implementation we dissociate two aspects: a basic estimation of the expected arrival date to provide a short detection time, and an adaptation of the quality of service according to application needs. The latter is based on two principles: an adaptation layer and a heuristic to adapt the sending period of \"I am alive\" messages.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"6 1","pages":"354-363"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75134061","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}
引用次数: 246
Validation and evaluation of a software solution for fault tolerant distributed synchronization 一种容错分布式同步软件解决方案的验证与评估
Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1029023
Paolo Ballarini, Simona Bernardi, S. Donatelli
{"title":"Validation and evaluation of a software solution for fault tolerant distributed synchronization","authors":"Paolo Ballarini, Simona Bernardi, S. Donatelli","doi":"10.1109/DSN.2002.1029023","DOIUrl":"https://doi.org/10.1109/DSN.2002.1029023","url":null,"abstract":"This paper presents a case study on the combined use of different tools and techniques for the validation and evaluation, from, the early stages of the design, of a fault tolerant software mechanism named distributed synchronization. The mechanism has been specified using UML state charts and sequence diagrams. A number of stochastic well-formed nets (SWN) models have been derived from the specifications: they have been composed using the tool algebra, and the resulting model has been model-checked using the PROD tool for temporal logic properties, thanks to a GreatSPN-to-PROD translator. The quantitative analysis has been performed using the SWN solvers of the Great-SPN tool.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"30 1","pages":"773-782"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74208161","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
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator 夏普2002:符号层次自动化可靠性和性能评估器
Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028975
Kishor S. Trivedi
{"title":"SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator","authors":"Kishor S. Trivedi","doi":"10.1109/DSN.2002.1028975","DOIUrl":"https://doi.org/10.1109/DSN.2002.1028975","url":null,"abstract":"Discusses SHARPE, a well known package in the field of reliability and performability, used in universities as well as in companies. A modeler who is familiar with many different kinds of models, can easily choose models that best suit a particular system and the kind of measure that is needed at each stage of the design. It is also possible to use different kinds of models hierarchically for different physical or abstract levels of the system and to use different kinds of models to validate each other's results. Steady-state and transient computations are available in the tool.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"23 1","pages":"544-"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85246007","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}
引用次数: 94
A validation of the pseudo self-similar traffic model 伪自相似流量模型的验证
Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1029018
R. Khayari, R. Sadre, B. Haverkort
{"title":"A validation of the pseudo self-similar traffic model","authors":"R. Khayari, R. Sadre, B. Haverkort","doi":"10.1109/DSN.2002.1029018","DOIUrl":"https://doi.org/10.1109/DSN.2002.1029018","url":null,"abstract":"Since the early 1990s, a variety of studies has shown that network traffic, both for local- and wide-area networks, has self-similarity properties. This has led to new approaches in network traffic modelling. Instead of developing completely new traffic models, a number of researchers have proposed to adapt traditional traffic modelling approaches to incorporate aspects of self-similarity. The motivation for doing so is the hope to be able to reuse techniques and tools that have been developed in the past and with which experience has been gained. One such an approach for a traffic model that incorporates aspects of self-similarity is the so-called pseudo self-similar traffic model. This model is appealing, as it is easy, to understand and easily embedded in Markovian performance evaluation studies. In applying this model in a number of cases, we have perceived various problems which we initially, thought were particular to these specific cases. We briefly review the pseudo self-similar traffic model and discuss its fundamental shortcomings.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"37 1","pages":"727-734"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78337663","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}
引用次数: 14
Edge-based fault detection in a DiffServ network DiffServ组网中基于边缘的故障检测
Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028889
A. Striegel, G. Manimaran
{"title":"Edge-based fault detection in a DiffServ network","authors":"A. Striegel, G. Manimaran","doi":"10.1109/DSN.2002.1028889","DOIUrl":"https://doi.org/10.1109/DSN.2002.1028889","url":null,"abstract":"The phenomenal growth of QoS-aware applications over the Internet has accelerated the development of key technologies such as differentiated services (DiffServ). Although QoS is provided through class-based service differentiation, the aspect of fault tolerance is not addressed in the DiffServ architecture. For traditional IP networks, the underlying link state protocol provides fault detection and recovery. However for QoS sensitive flows, the recovery times of such protocols may not be adequate. Although such a problem may be solved through fine grain HELLO timers, the underlying core routers may not be able to tolerate the additional CPU and bandwidth burden. The edge-based intelligence of the DiffServ domain represents a unique opportunity to improve the fault detection capability of the link state protocol. We propose a hybrid scheme whereby heartbeat packets are used to detect possible faults coupled with a temporary fine grain HELLO interval for fault location and possible recovery. We analyze our scheme through extensive simulation studies and we examine the tradeoffs and benefits of our scheme.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"14 1","pages":"79-88"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78366954","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}
引用次数: 6
首页 上一页 下一页 尾页
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学术官方微信