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

Dependability Engineering最新文献

筛选
英文 中文
Introductory Chapter: Introduction to Dependability Engineering 导论章:可靠性工程简介
Dependability Engineering Pub Date : 2018-06-06 DOI: 10.5772/INTECHOPEN.77013
F. Márquez, M. Papaelias
{"title":"Introductory Chapter: Introduction to Dependability Engineering","authors":"F. Márquez, M. Papaelias","doi":"10.5772/INTECHOPEN.77013","DOIUrl":"https://doi.org/10.5772/INTECHOPEN.77013","url":null,"abstract":"Cloud computing presents some challenges that are needed to be overcome, such as planning infrastructures that maintain availability when failure events and repair activities occur [1]. Cloud infrastructure planning, which addresses the dependability aspects, is an essential activity because it ensures business continuity and client satisfaction. Redundancy mechanisms cold standby, warm standby, and hot standby can be allocated to components of the cloud infrastructure to maintain the availability levels agreed in SLAs. Mathematical formalisms based on state space, such as stochastic Petri nets and based on combinatorial as reliability block diagrams [2], can be adopted to evaluate the dependability of cloud infrastructures considering the allocation of different redundancy mechanisms to its components [3]. Chapter 1 shows the adoption of the mathematical formalisms’ stochastic Petri nets and reliability block diagrams to dependability evaluation of cloud infrastructures with different redundancy mechanisms.","PeriodicalId":337221,"journal":{"name":"Dependability Engineering","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123411695","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
Time Series and Renewable Energy Forecasting 时间序列与可再生能源预测
Dependability Engineering Pub Date : 2018-06-06 DOI: 10.5772/INTECHOPEN.70845
M. Ghofrani, Musaad Alolayan
{"title":"Time Series and Renewable Energy Forecasting","authors":"M. Ghofrani, Musaad Alolayan","doi":"10.5772/INTECHOPEN.70845","DOIUrl":"https://doi.org/10.5772/INTECHOPEN.70845","url":null,"abstract":"Renewable energy generation has been constantly increasing during recent years. Wind and solar have had the most significant growths among all renewable resources. Wind and solar resources are highly intermittent and dependent on meteorological parameters and climatic conditions. The power output of wind turbines is subject to various meteorological parameters, such as wind speed, wind direction, air tempera- ture, relative humidity, etc., among which the wind speed is the most direct and influential factor in wind power generation. Solar photovoltaic (PV) power is a func- tion of solar radiation. Wind speed and solar radiation time series data exhibit unique features which complicate their prediction. This makes wind and solar power fore- casting challenging. Accurate wind and solar forecasting enhances the value of renewable energy by improving the reliability and economic feasibility of these resources. It also supports integrating solar and wind power into electric grids by reducing the integration and operation costs associated with these intermittent generation sources. This chapter provides an overview of the time series methods that can be used for more accurate wind and solar forecasting. show the developed method based on support regression is more accurate than the persistence and","PeriodicalId":337221,"journal":{"name":"Dependability Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130987874","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}
引用次数: 25
Use of Renewable Energy for Electrification of Rural Community to Stop Migration of Youth from Rural Area to Urban: A Case Study of Tanzania 利用可再生能源促进农村社区电气化，阻止青年从农村向城市迁移:以坦桑尼亚为例
Dependability Engineering Pub Date : 2018-06-06 DOI: 10.5772/INTECHOPEN.74956
Urbanus F. Melkior, J. Tlustý, Z. Muller
{"title":"Use of Renewable Energy for Electrification of Rural Community to Stop Migration of Youth from Rural Area to Urban: A Case Study of Tanzania","authors":"Urbanus F. Melkior, J. Tlustý, Z. Muller","doi":"10.5772/INTECHOPEN.74956","DOIUrl":"https://doi.org/10.5772/INTECHOPEN.74956","url":null,"abstract":"Rural electrification is the key in developing countries to encourage youth and skilled personnel to stay in rural for production activities. Lack of grid network in Tanzania currently discourages youth and skilled personnel to live in rural areas. Tanzania has diverse renewable energy which needs to be developed for electricity generation. Most of these sources are found in rural areas but they are not developed and grid network are not extended because of low population density. The government has put in place policy which encourages small power producers to develop renewable energy resources. Energy produced would be sold to the community directly or to the government owned company for grid integration. This paper discussed three major renewable energy sources such as wind, solar and hydro power. Electrifying rural areas will encourage youth to reside in their communities and engaging themselves in production activities like farming and livestock keeping. Also communication among communities and networks between rural urban would be improved. Establishment of small industries would lead more farm products and earn more money. Therefore, the strong links between rural urban communities would be strengthened; hence youth migration would be stopped naturally.","PeriodicalId":337221,"journal":{"name":"Dependability Engineering","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121178327","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
Modeling Strategies to Improve the Dependability of Cloud Infrastructures 提高云基础设施可靠性的建模策略
Dependability Engineering Pub Date : 2018-06-06 DOI: 10.5772/INTECHOPEN.71498
E. Sousa, F. Lins
{"title":"Modeling Strategies to Improve the Dependability of Cloud Infrastructures","authors":"E. Sousa, F. Lins","doi":"10.5772/INTECHOPEN.71498","DOIUrl":"https://doi.org/10.5772/INTECHOPEN.71498","url":null,"abstract":"Cloud computing presents some challenges that need to be overcome, such as planning infrastructures that maintain availability when failure events and repair activities occur. Cloud infrastructure planning that addresses the dependability aspects is an essential activity because it ensures business continuityand client satisfaction. Redundancy mechanisms cold standby, warm standby and hot standby can be allocated to components of the cloud infrastructure to maintain the availability levels agreed in service level agree-ment (SLAs). Mathematical formalisms based on state space such as stochastic Petri nets and based on combinatorial as reliability block diagrams can be adopted to evaluate the dependability of cloud infrastructures considering the allocation of different redundancy mechanisms to its components. This chapter shows the adoption of the mathematical formalisms stochastic Petri nets and reliability block diagrams to dependability evalua- tion of cloud infrastructures with different redundancy mechanisms.","PeriodicalId":337221,"journal":{"name":"Dependability Engineering","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132264936","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
Stochastic Reward Net-based Modeling Approach for Availability Quantification of Data Center Systems 基于随机奖励网的数据中心系统可用性量化建模方法
Dependability Engineering Pub Date : 2018-04-03 DOI: 10.5772/INTECHOPEN.74306
T. Nguyen, D. Min, Eunmi Choi
{"title":"Stochastic Reward Net-based Modeling Approach for Availability Quantification of Data Center Systems","authors":"T. Nguyen, D. Min, Eunmi Choi","doi":"10.5772/INTECHOPEN.74306","DOIUrl":"https://doi.org/10.5772/INTECHOPEN.74306","url":null,"abstract":"Availability quantification and prediction of IT infrastructure in data centers are of para- mount importance for online business enterprises. In this chapter, we present comprehensive availability models for practical case studies in order to demonstrate a state-space stochastic reward net model for typical data center systems for quantitative assessment of system availability. We present stochastic reward net models of a virtualized server sys- tem, a data center network based on DCell topology, and a conceptual data center for disaster tolerance. The systems are then evaluated against various metrics of interest, including steady state availability, downtime and downtime cost, and sensitivity analysis.","PeriodicalId":337221,"journal":{"name":"Dependability Engineering","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115318471","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
Advances in Engineering Software for Multicore Systems 多核系统工程软件研究进展
Dependability Engineering Pub Date : 2018-02-07 DOI: 10.5772/INTECHOPEN.72784
A. Jannesari
{"title":"Advances in Engineering Software for Multicore Systems","authors":"A. Jannesari","doi":"10.5772/INTECHOPEN.72784","DOIUrl":"https://doi.org/10.5772/INTECHOPEN.72784","url":null,"abstract":"The vast amounts of data to be processed by today’s applications demand higher computational power. To meet application requirements and achieve reasonable application performance, it becomes increasingly profitable, or even necessary, to exploit any available hardware parallelism. For both new and legacy applications, successful parallelization is often subject to high cost and price. This chapter proposes a set of methods that employ an optimistic semi-automatic approach, which enables programmers to exploit parallelism on modern hardware architectures. It provides a set of methods, including an LLVM-based tool, to help programmers identify the most promising parallelization targets and understand the key types of parallelism. The approach reduces the manual effort needed for parallelization. A contribution of this work is an efficient profiling method to determine the control and data dependences for performing parallelism discovery or other types of code analysis. Another contribution is a method for detecting code sections where parallel design patterns might be applicable and suggesting relevant code transformations. Our approach efficiently reports detailed runtime data dependences. It accurately identifies opportunities for parallelism and the appropriate type of parallelism to use as task-based or loop-based.","PeriodicalId":337221,"journal":{"name":"Dependability Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129671436","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
Reliability and Aging Analysis on SRAMs Within Microprocessor Systems 微处理器系统中sram的可靠性和老化分析
Dependability Engineering Pub Date : 2017-12-22 DOI: 10.5772/INTECHOPEN.72779
Liu Taizhi, Chang-Chih Chen, Milor Linda
{"title":"Reliability and Aging Analysis on SRAMs Within Microprocessor Systems","authors":"Liu Taizhi, Chang-Chih Chen, Milor Linda","doi":"10.5772/INTECHOPEN.72779","DOIUrl":"https://doi.org/10.5772/INTECHOPEN.72779","url":null,"abstract":"The majority of transistors in a modern microprocessor are used to implement static random access memories (SRAM). Therefore, it is important to analyze the reliability of SRAM blocks. During the SRAM design, it is important to build in design margins to achieve an adequate lifetime. The two main wearout mechanisms that increase a transistor’s threshold voltage are bias temperature instability (BTI) and hot carrier injections (HCI). BTI and HCI can degrade transistors’ driving strength and further weaken circuit performance. In a microprocessor, first-level (L1) caches are frequently accessed, which make it especially vulnerable to BTI and HCI. In this chapter, the cache lifetimes due to BTI and HCI are studied for different cache configurations, namely, cache size, associativity, cache line size, and replacement algorithm. To give a case study, the failure probability (reliability) and the hit rate (performance) of the L1 cache in a LEON3 microprocessor are analyzed, while the microprocessor is running a set of benchmarks. Essential insights can be provided from our results to give better performance-reliability tradeoffs for cache designers.","PeriodicalId":337221,"journal":{"name":"Dependability Engineering","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126836444","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
Modeling Quality of Service Techniques for Packet-Switched Networks 分组交换网络的服务质量建模技术
Dependability Engineering Pub Date : 2017-12-20 DOI: 10.5772/INTECHOPEN.71499
W. M. Zuberek, D. Strzeciwilk
{"title":"Modeling Quality of Service Techniques for Packet-Switched Networks","authors":"W. M. Zuberek, D. Strzeciwilk","doi":"10.5772/INTECHOPEN.71499","DOIUrl":"https://doi.org/10.5772/INTECHOPEN.71499","url":null,"abstract":"Quality of service is the ability to provide different priorities to different applications, users or dataflows, or to guarantee a certain level of performance to a dataflow. The chapter uses timed Petri nets to model techniques that provide the quality of service in packet-switched networks and illustrates the behavior of developed models by performance characteristics of simple examples. These performance characteristics are obtained by discrete-event simu- lation of analyzed models.","PeriodicalId":337221,"journal":{"name":"Dependability Engineering","volume":"8 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126040391","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}
引用次数: 4
Software Fault Injection: A Practical Perspective 软件故障注入:一个实用的视角
Dependability Engineering Pub Date : 2017-12-20 DOI: 10.5772/INTECHOPEN.70427
Lena Feinbube, Lukas Pirl, A. Polze
{"title":"Software Fault Injection: A Practical Perspective","authors":"Lena Feinbube, Lukas Pirl, A. Polze","doi":"10.5772/INTECHOPEN.70427","DOIUrl":"https://doi.org/10.5772/INTECHOPEN.70427","url":null,"abstract":"Software fault injection (SFI) is an acknowledged method for assessing the dependability of software systems. After reviewing the state-of-the-art of SFI, we address the challenge of integrating it deeper into software development practice. We present a well-defined development methodology incorporating SFI—fault injection driven development (FIDD)—which begins by systematically constructing a dependability and failure cause model, from which relevant injection techniques, points, and campaigns are derived. We discuss possibilities and challenges for the end-to-end automation of such campaigns. The suggested approach can substantially improve the accessibility of dependability assessment in everyday software engineering practice. the SimianArmy resiliency testing tool suite, targets applications built upon AWS by making single-node instances unavailable. The approach of","PeriodicalId":337221,"journal":{"name":"Dependability Engineering","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126109644","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
Continuous Anything for Distributed Research Projects 分布式研究项目的连续性
Dependability Engineering Pub Date : 2017-12-20 DOI: 10.5772/INTECHOPEN.72045
Simon Volpert, F. Griesinger, Jörg Domaschka
{"title":"Continuous Anything for Distributed Research Projects","authors":"Simon Volpert, F. Griesinger, Jörg Domaschka","doi":"10.5772/INTECHOPEN.72045","DOIUrl":"https://doi.org/10.5772/INTECHOPEN.72045","url":null,"abstract":"","PeriodicalId":337221,"journal":{"name":"Dependability Engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129044703","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
下一页 尾页
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学术官方微信
小红书