Relevant bibliographies by topics / Dependability analysi

Academic literature on the topic 'Dependability analysi'

Author: Grafiati
Published: 10 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Dependability analysi.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Dependability analysi"

1

Mekarisce, Arnild Augina. "Teknik Pemeriksaan Keabsahan Data pada Penelitian Kualitatif di Bidang Kesehatan Masyarakat." JURNAL ILMIAH KESEHATAN MASYARAKAT : Media Komunikasi Komunitas Kesehatan Masyarakat 12, no. 3 (September 10, 2020): 145–51. http://dx.doi.org/10.52022/jikm.v12i3.102.

Full text
Abstract:
Pendahuluan: Secara umum metode penelitian didefinisikan sebagai suatu kegiatan ilmiah yang terencana, terstruktur, sistematis, dan memiliki tujuan tertentu baik praktis maupun teoritis. Dikatakan terstruktur karena kegiatan ini berlangsung mengikuti suatu proses dan tahapan-tahapan tertentu. Salah satu tahapannya adalah tahapan dalam pengumpulan data. Data merupakan hal yang sangat krusial dalam penelitian, sehingga dalam perjalanannya, data yang dikumpulkan harus memenuhi syarat pada pemeriksaan keabsahan data, termasuk dalam penelitian kualitatif. Metode: Metode yang digunakan adalah literature review, yaitu literatur dikumpulkan dari berbagai sumber seperti buku, jurnal, artikel ilmiah yang saling terkait. Hasil dan Pembahasan: Pemeriksaan terhadap keabsahan data merupakan sebagai unsur yang tidak terpisahkan dari tubuh pengetahuan penelitian kualitatif. Teknik pemeriksaan keabsahan data dalam penelitian kualitatif meliputi uji kredibilitas (perpanjangan pengamatan, meningkatkan ketekunan, triangulasi, analisis kasus negatif, menggunakan bahan referensi, atau mengadakan membercheck), transferabilitas, dependabilitas, maupun konfirmabilitas. Kesimpulan: Teknik pemeriksaan keabsahan data yang dapat dilakukan pada penelitian kualitatif yaitu dengan melakukan uji kredibilitas, transferabilitas, dependabilitas, maupun konfirmabilitas. Kata kunci: kredibilitas, transferabilitas, triangulasi, dependabilitas, konfirmabilitas Data Validity Check Techniques in Qualitative Research in Public Health Introduction: In general, the research method is defined as a scientific activity that is planned, structured, systematic, and has specific objectives both practical and theoretical, both in quantitative and qualitative research. It is said to be structured because this activity takes place following a certain process and stages. One of the stages is the stage in data collection. Data is very crucial in the research, so that in its journey, the data collected must meet the requirements on the validity of the data. This study aims to explain the theory about the data validity check techniques in qualitative research in public health. Method: The method used is literature review, which is literature collected from various sources such as books, journals, scientific articles that are interrelated. Result: Data Validity Check Techniques is an inseparable element of the body of qualitative research knowledge in the field of public health. Data validity checking techniques in this qualitative study include credibility tests (extended observations, increasing perseverance, triangulation, negative case analysis, using reference material, or holding a member check), transferability, dependability, and confirmability. Conclusion: Data validity checking techniques that can be carried out in qualitative research in the field of public health are by conducting tests of credibility, transferability, dependability, and confirmability. Keywords: credibility, transferability, triangulation, dependability, confirmability
APA, Harvard, Vancouver, ISO, and other styles
2

Zhang, Da Jian, Min Yan Lu, and Xing Yu Zhao. "A Dependability Case Construction Approach Based on Dependability Deviation Analysis." Applied Mechanics and Materials 543-547 (March 2014): 3682–87. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.3682.

Full text
Abstract:
As computer-based systems play an important role in our daily life, dependability assessment of these systems is of great significance. Simply combining the result of each dependability attribute could not reflect system dependability faithfully. Therefore, holistic methods to assess dependability are necessary. As a new and promising method which focused on demonstrating the dependability of product-specific system, structured assurance case model receives growing attention. Build a dependability case systematically and effectively is challenging work, particularly for systems which involves multi-contractor who have different responsibilities. In this paper, we proposed a new dependability case construction method to address the ownership problem of system dependability case which involves multiple contractors. Our method extends the existing Dependability Deviation Analysis with contractors analysis and elicitation and integrates the contractors information into the whole dependability argument architecture. We illustrate our contributions by application to a Train Control and Monitor System which preliminarily shows the effectiveness of our method.
APA, Harvard, Vancouver, ISO, and other styles
3

Trivedi, Kishor S., Jogesh K. Muppala, Steven P. Woolet, and Boudewijn R. Haverkort. "Composite performance and dependability analysis." Performance Evaluation 14, no. 3-4 (February 1992): 197–215. http://dx.doi.org/10.1016/0166-5316(92)90004-z.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Rotshtein, A. Р. "Fuzzy cognitive maps in the dependability analysis of systems." Dependability 19, no. 4 (December 17, 2019): 24–31. http://dx.doi.org/10.21683/1729-2646-2019-19-4-24-31.

Full text
Abstract:
Aim. Dependability simulation of a complex system starts with its structuring, i.e. partitioning into components (blocks, units, elements), for which probabilities of failure are known. The classical dependability theory uses the concept of structural function that allows ranking elements by their importance, which is required for optimal distribution of the resources allocated to ensuring system dependability. Man-machine systems are structured using an algorithmic description of discrete processes of operation, where the presence of clear boundaries between individual operations allows collecting statistical data on the probabilities of error that is required for modeling. Algorithmization is complicated in case of man-machine systems with continuous human activity, where the absence of clear boundaries between operations prevents the correct assessment of the probability of their correct performance. For that reason, the process of operation has to be considered as a single operation, whose correct performance depends on heterogeneous and interconnected human-machine system-related, technical, software-specific, managerial and other factors. The simulated system becomes a “black box” with unknown structure (output is dependability, inputs are contributing factors), while the problem of element ranking typical to the dependability theory comes down to the problem of factor ranking. Regression analysis is one of the most popular means of multifactor dependability simulation of man-machine systems. It requires a large quantity of experimental data and is not compatible with qualitative factors that are measured by expert methods. The “if – then” fuzzy rule is a convenient tool for expert information processing. However, regression analysis and fuzzy rules have a common limitation: they require independent input variables, i.e. contributing factors. Fuzzy cognitive maps do not have this restriction. They are a new simulation tool that is not yet widely used in the dependability theory. The Aim of the paper is to raise awareness of dependability simulation with fuzzy cognitive maps.Method. It is proposed – based on the theory of fuzzy cognitive maps – to rank factors that affect system dependability. The method is based on the formalization of causal relationships between the contributing factors and the dependability in the form of a fuzzy cognitive map, i.e. directed graph, whose node correspond to the system’s dependability and contributing factors, while the weighted edges indicate the magnitude of the factors’ effect on each other and the system’s dependability. The rank of a factor is defined as an equivalent of the element’s importance index per Birnbaum, which, in the probabilistic dependability theory is calculated based on the structure function.Results. Models and algorithms are proposed for calculation of the importance indexes of single factors and respective effects that affect system dependability represented with a fuzzy cognitive map. The method is exemplified by the dependability and safety of an automobile in the “driver-automobile-road” system subject to the driver’s qualification, traffic situation, unit costs of operation, operating conditions, maintenance scheduling, quality of maintenance and repair, quality of automobile design, quality of operational materials and spare parts, as well as storage conditions.Conclusions. The advantages of the method include: a) use of available expert information with no collection and processing statistical data; b) capability to take into account any quantitative and qualitative factors associated with people, technology, software, quality of service, operating conditions, etc.; c) ease of expansion of the number of considered factors through the introduction of additional nodes and edges of the cognitive map graph. The method can be applied to complex systems with fuzzy structures, whose dependability strongly depends on interrelated factors that are measured by means of expert methods.
APA, Harvard, Vancouver, ISO, and other styles
5

Vorontsov, M. A., A. S. Grachiov, A. O. Grachiova, M. A. Kirkin, and A. V. Melnikova. "Analysis of the functional dependability of underground gas storage compressor stations in cases when actual performance indicators deviate from the design values." Dependability 22, no. 1 (March 25, 2022): 44–51. http://dx.doi.org/10.21683/1729-2646-2022-22-1-44-51.

Full text
Abstract:
Aim. The paper examined the matter of assessment of the functional dependability of compressor stations (CS) of underground gas storage (UGS) facilities. A definition of CS functional dependability and guidelines for its assessment were proposed. Methods. Design calculation of compressor stations, scenario analysis. Results. The paper presents: a) a definition, indicators of CS functional dependability and guidelines for its assessment; b) an example of the guidelines application for UGS CS; c) a comparative analysis of UGS CS functional dependability in a number of various versions: use of single-unit and two-unit centrifugal compressors as part of gas turbine gas pumping units for two-stage compression with intercooling. Conclusion. The paper shows the requirement to analyse the functional dependability of various versions of UGS CS for the purpose of identifying the most rational option that ensures unconditional performance of the key UGS CS function under uncertain initial design data.
APA, Harvard, Vancouver, ISO, and other styles
6

Barreau, Mihaela, Alexis Todoskoff, Jean-Yves Morel, Fabrice Guerin, and Alin Mihalache. "Dependability analysis of complex mechatronic systems." IFAC Proceedings Volumes 36, no. 5 (June 2003): 63–68. http://dx.doi.org/10.1016/s1474-6670(17)36471-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Limnios, Nikolaos. "Dependability analysis of semi-Markov systems." Reliability Engineering & System Safety 55, no. 3 (March 1997): 203–7. http://dx.doi.org/10.1016/s0951-8320(96)00121-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Alemayehu, Temesgen Seyoum, and Jai‐Hoon Kim. "Dependability analysis of cyber physical systems." IET Computers & Digital Techniques 11, no. 6 (October 24, 2017): 231–36. http://dx.doi.org/10.1049/iet-cdt.2016.0164.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bouissou, M., and X. de Bossoreille. "From Modelica models to dependability analysis." IFAC-PapersOnLine 48, no. 7 (2015): 37–43. http://dx.doi.org/10.1016/j.ifacol.2015.06.470.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Pokhabov, Yu P. "Problems of dependability and possible solutions in the context of unique highly vital systems design." Dependability 19, no. 1 (March 13, 2019): 10–17. http://dx.doi.org/10.21683/1729-2646-2019-19-1-10-17.

Full text
Abstract:
Aim. The paper examines the problems caused by the conventional interpretation of dependability that prevent the practical use of dependability analysis (assessment) as a tool for engineers involved in the creation of unique highly vital systems and substantiates proposals for their resolution. Methods. The paper analyzes the problem of quantitative estimation of the dependability of unique highly vital systems without the use of probability statistical models. The view of dependability as a physical property of a product (as a result of changes in its internal state) allows at the physical level ensuring lasting capability to fulfil the required functions and quantitatively estimating the criteria of the required functions’ performance, that can be defined by, for instance, specifying a set of parameters for each function that characterize the capability to perform, as well as the permissible limits of such parameters’ variation. Such approach causes the requirement to take the origin of dependability into consideration and examine the causes of unlikely failures that are to be identified by means of additional analysis in parallel with calculations and experiments performed to support dependability. The solution to the problems of fuzzy terminology allows revealing the interrelation between the quality and the dependability, thus enabling using the single information basis of design and process engineering solutions the analysis, synthesis and assessment of the dependability of unique highly vital systems based on performance parameters without the use of probabilistic statistical models. Results. The solution of the above dependability-related problems allows ensuring dependability based on the physicality (causal connections) and physical necessity (consistency with the laws of nature) of the causes of failures. The dependability of unique highly vital systems must be ensured from the very early lifecycle stages based on consecutive execution of certain design, process engineering and manufacturing procedures, as well as application of engineering and design analysis of dependability, which also allows solving problems indirectly related to dependability, e.g. improving the quality and reducing the cost of the manufactured products. Conciusions. The paper shows that the application of design engineering methods for the dependability analysis (assessment) allows within the framework of existing views, yet with certain corrections solving dependability-related problems without the use of the mathematics of the classic dependability theory. High dependability can be achieved by the same ways as undependability comes about, i.e. through design and process engineering solutions. The analysis, substantiation of engineering solutions and specification of necessary and sufficient requirements for the manufacturing process allows achieving the target dependability by engineering means through higher quality of design and process engineering. If we regard dependability as a multiparametric property, parametric models of products can be developed that enable the evaluation of the temporal stability of parameter values using methods of individual design dependability and/or design engineering analysis of dependability. The principles of unity of the design concept and its implementation in manufacture enables the development of products and assessment of their dependability based on a single foundation, i.e. the design and process engineering solutions directly associated with the capabilities of a specific manufacturing facility.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Dependability analysi"

1

Looker, Nik. "Dependability analysis of Web services." Thesis, Durham University, 2006. http://etheses.dur.ac.uk/2888/.

Full text
Abstract:
Web Services form the basis of the web based eCommerce eScience applications so it is vital that robust services are developed. Traditional validation and verification techniques are centred around the concept of removing all faults to guarantee correct operation whereas Dependability gives an assessment of how dependably a system can deliver the required functionality by assessing attributes, and by eliminating threats via means attempts to improve dependability. Fault injection is a well-proven dependability assessment method. Although much work has been done in the area of fault injection and distributed systems in general, there appears to have been little research carried out on applying this to middleware systems and Web Services in particular. There are additional problems associated with applying existing fault injection technologies to Web Services running in a virtual machine environment since most are either invasive or work at a machine level. The Fault Injection Technology (FIT) method has been devised to address these problems for middleware systems. The Web Service-Fault Injection Technology (WS-FIT) implementation applies the FIT method, based on network level fault injection, to Web Services to create a non-invasive dependability assessment method. It allows targeted perturbation of Web Service RFC parameters as well as more traditional network level fault injection operations. The WS-FIT tool includes taxonomies that define a system under test, fault models to apply and failure modes to be detected, and uses these taxonomies to generate fault injection campaigns. WS-FIT has been applied to a number of case studies and has successfully demonstrated its effectiveness. It has also been successfully applied to a third-party system to evaluate dependability means. It performed this dependability assessment as well as allowing debugging of the means to be undertaken uncovering unknown faults.
APA, Harvard, Vancouver, ISO, and other styles
2

Yang, Joseph Sang-chin. "System dependability analysis and evaluation." Master's thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-03172010-020227/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Xu, Changyi. "Operational dependability model generation." Thesis, Lyon, 2020. http://www.theses.fr/2020LYSEI129.

Full text
Abstract:
L'objectif à long terme des ingénieurs et des chercheurs est d'évaluer la fiabilité des systèmes industriels complexes. Les évaluations de la sécurité fondées sur des modèles effectuées ces dernières années, en particulier les études d'analyse structurelle et de modélisation des composants, fournissent des méthodes pratiques d'évaluation de la fiabilité,Toutefois, l'absence d'un cadre permettant d'évaluer simultanément la structure et les comportements des différents éléments d'un modèle unifié n'a pas permis d'obtenir d'excellentes évaluations. En outre, les opérations du système n'étant pas pris en compte dans le modèle, il n'est pas possible d'évaluer la qualité et la quantité du service en termes de fiabilité du opérations. Cette invention concerne un procédé de génération de modèle formalisé qui permet d 'évaluer la fiabilité du fonctionnement du système en tenant compte de sa structure, de ses divers comportements et de ses opérations. La composition du modèle de composant est introduite pour générer un modèle global du système. Afin de tenir pleinement compte de la structure du système, l 'état total de défaillance du système est déterminé sur la base de l' expression de défaillance obtenue. Sur le plan qualitatif, la fiabilité opérationnelle est encore renforcée par l'application des spécifications de trajectoire.Et, Sur le plan quantitif, il est renforcée par la mise au point d'une technique d'évaluation des coûts appelée arbre de calcul de capacité. Enfin, l'exemple d'un système industriel illustre l'énorme potentiel qu'offre l'étude pour garantir la fiabilité des services fournis par les systèmes industriels complexes
Assessing complex industrial systems to be on dependable service is what the engineers and researchers have long been aiming for. Recent advanced researches in the Model-based safety assessment, especially the Structre Analysis and Component Modeling, provide the practicable methodologies to assess the dependability, yet a lack of the framework which is able to assess both the structure and the various behaviors of the components in one uniformed model retains them to achieve the excellent assessment. Moreover, as the system’s operations are not considerable in the models, the service in the aspect of operational dependability is not able to be assessed both in quality and in quantity. Although several existing assessment tools have already show their potential to model the various behaviors in the form of n-state models or consider the operations as repair priority to be event sequence in the model, fusing ‘structure’, ‘various behaviors’ and ‘operations’ is still a challenge, highlighting a need for one viable framework that bridge the gap among them both by quality or quantity. In this research, a formal model generation approach is studied to bridge this gap, which is able to assess the system operatinal dependability by considering the system structure, various behaviors, and operations. Here, the composition of the component models is introduced in order to generate a global model of the system, the total breakdown states are identified according to the resulted failure expression for the purpose to fully consider the system’s structure, and the operational dependability is further realized by quality by applying the trajectory specifications, while by quantity by developing a cost evaluating technology termed Capacity Calculation Fault Tree. In the end, a demonstration of a miniplant system illustrates the wide potential of this research for guaranteeing the dependable service of complex industrial systems
APA, Harvard, Vancouver, ISO, and other styles
4

Zakucia, Jozef. "Metódy posudzovania spoľahlivosti zložitých elektronických systémov pre kozmické aplikácie." Doctoral thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2015. http://www.nusl.cz/ntk/nusl-234213.

Full text
Abstract:
This thesis deals with a common cause failure analysis (CCF) for space devices. This analysis belongs among dependability analyses, which have not been sufficiently developed in a field of space industry in corresponding technical and normative documents. Therefore, we focused on devising a new procedure of a qualitative and quantitative common cause failure analysis for the space applications herein. This new procedure of the qualitative and quantitative CCF analysis was applied on redundant systems of a special space device microaccelerometer (ACC), which was developed in VZLÚ. Performance of the qualitative CCF analysis can lead to recommendations to change design of the system, making the system less susceptible to the common cause failures. Performance of the quantitative CCF analysis and its inclusion into the computation of the system reliability can lead to a more accurate estimation of the reliability (in most cases it leads to decreasing the system reliability). During the development of the ACC there were not defined any requirements to perform the CCF analysis within general dependability requirements (defined by the customer and by ECSS standards). Hence, we compared computations of the ACC reliability with and without considering the CCFs. When the CCFs were considered, the reliability of the ACC was decreased according to our assumption. On our example of the ACC we showed advantages of the performance of the CCF analysis within the dependability analyses during development of the space devices.
APA, Harvard, Vancouver, ISO, and other styles
5

Kabir, Sohag. "Compositional dependability analysis of dynamic systems with uncertainty." Thesis, University of Hull, 2016. http://hydra.hull.ac.uk/resources/hull:13595.

Full text
Abstract:
Over the past two decades, research has focused on simplifying dependability analysis by looking at how we can synthesise dependability information from system models automatically. This has led to the field of model-based safety assessment (MBSA), which has attracted a significant amount of interest from industry, academia, and government agencies. Different model-based safety analysis methods, such as Hierarchically Performed Hazard Origin & Propagation Studies (HiP-HOPS), are increasingly applied by industry for dependability analysis of safety-critical systems. Such systems may feature multiple modes of operation where the behaviour of the systems and the interactions between system components can change according to what modes of operation the systems are in. MBSA techniques usually combine different classical safety analysis approaches to allow the analysts to perform safety analyses automatically or semi-automatically. For example, HiP-HOPS is a state-of-the-art MBSA approach which enhances an architectural model of a system with logical failure annotations to allow safety studies such as Fault Tree Analysis (FTA) and Failure Modes and Effects Analysis (FMEA). In this way it shows how the failure of a single component or combinations of failures of different components can lead to system failure. As systems are getting more complex and their behaviour becomes more dynamic, capturing this dynamic behaviour and the many possible interactions between the components is necessary to develop an accurate failure model. One of the ways of modelling this dynamic behaviour is with a state-transition diagram. Introducing a dynamic model compatible with the existing architectural information of systems can provide significant benefits in terms of accurate representation and expressiveness when analysing the dynamic behaviour of modern large-scale and complex safety-critical systems. Thus the first key contribution of this thesis is a methodology to enable MBSA techniques to model dynamic behaviour of systems. This thesis demonstrates the use of this methodology using the HiP-HOPS tool as an example, and thus extends HiP-HOPS with state-transition annotations. This extension allows HiP-HOPS to model more complex dynamic scenarios and perform compositional dynamic dependability analysis of complex systems by generating Pandora temporal fault trees (TFTs). As TFTs capture state, the techniques used for solving classical FTs are not suitable to solve them. They require a state space solution for quantification of probability. This thesis therefore proposes two methodologies based on Petri Nets and Bayesian Networks to provide state space solutions to Pandora TFTs. Uncertainty is another important (yet incomplete) area of MBSA: typical MBSA approaches are not capable of performing quantitative analysis under uncertainty. Therefore, in addition to the above contributions, this thesis proposes a fuzzy set theory based methodology to quantify Pandora temporal fault trees with uncertainty in failure data of components. The proposed methodologies are applied to a case study to demonstrate how they can be used in practice. Finally, the overall contributions of the thesis are evaluated by discussing the results produced and from these conclusions about the potential benefits of the new techniques are drawn.
APA, Harvard, Vancouver, ISO, and other styles
6

Rajagopalan, Mohan. "Optimizing System Performance and Dependability Using Compiler Techniques." Diss., Tucson, Arizona : University of Arizona, 2006. http://etd.library.arizona.edu/etd/GetFileServlet?file=file:///data1/pdf/etd/azu%5Fetd%5F1439%5F1%5Fm.pdf&type=application/pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Das, Olivia. "Performance and dependability analysis of fault-tolerant layered distributed systems." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape17/PQDD_0005/MQ32429.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Das, Olivia Carleton University Dissertation Engineering Systems and Computer. "Performance and dependability analysis of fault-tolerant layered distributed systems." Ottawa, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Mandak, Wayne S. Stowell Charles A. "Dynamic Assembly for System Adaptability, Dependability and Assurance (DASADA) project analysis /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2001. http://handle.dtic.mil/100.2/ADA393486.

Full text
Abstract:
Thesis (M.S. in Computer Science) Naval Postgraduate School, June 2001. Wayne S. Mandak. Thesis (M.S. in Information Technology Management) Naval Postgraduate School, June 2001. Charles A. Stowell.
Thesis advisors, LuQi, Man-Tak Shing, John S. Osmundson, Richard Riehle. Includes bibliographical references (p. 79-81). Also available online.
APA, Harvard, Vancouver, ISO, and other styles
10

Kang, Eunsuk. "A Framework for Dependability analysis of software systems with trusted bases." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/58386.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2010.
Cataloged from PDF version of thesis.
Includes bibliographical references (p. 73-76).
A new approach is suggested for arguing that a software system is dependable. The key idea is to structure the system so that highly critical requirements are localized in small subsets of the system called trusted bases. In most systems, the satisfaction of a requirement relies on assumptions about the environment, in addition to the behavior of software. Therefore, establishing a trusted base for a critical property must be carried out as early as the requirements phase. This thesis proposes a new framework to support this activity. A notation is used to construct a dependability argument that explains how the system satisfies critical requirements. The framework provides a set of analysis techniques for checking the soundness of an argument, identifying the members of a trusted base, and illustrating the impact of failures of trusted components. The analysis offers suggestions for redesigning the system so that it becomes more reliable. The thesis demonstrates the effectiveness of this approach with a case study on electronic voting systems.
by Eunsuk Kang.
S.M.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Dependability analysi"

1

Jacek, Mazurkiewicz. Dependability in complex system modelling. Wrocław: Oficyna Wydawnicza Politechniki Wrocławskiej, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

United States. National Aeronautics and Space Administration., ed. Acceleration techniques for dependability simulation. Urbana, Ill: Center for Reliable and High Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Tung, Tʻang, and United States. National Aeronautics and Space Administration., eds. Experimental analysis of computer system dependability. Urbana, Ill: Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

United States. National Aeronautics and Space Administration., ed. Experimental study of software dependability. Urbana, Ill: Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Kanoun, Karama. Dependability Benchmarking for Computer Systems. New York: John Wiley & Sons, Ltd., 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

K, Iyer Ravishankar, and United States. National Aeronautics and Space Administration., eds. DEPEND: A simulation-based environment for system level dependability analysis. [Urbana, IL]: Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

K, Iyer Ravishankar, and United States. National Aeronautics and Space Administration., eds. DEPEND: A simulation-based environment for system level dependability analysis. [Urbana, IL]: Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

United States. National Aeronautics and Space Administration., ed. Dependability analysis of parallel systems using a simulation-based approach. [Urbana-Champaign, Ill.]: Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

K, Iyer Ravishankar, and United States. National Aeronautics and Space Administration., eds. DEPEND: A simulation-based environment for system level dependability analysis. [Urbana, IL]: Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Remke, Anne, and Mariëlle Stoelinga, eds. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-45489-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Dependability analysi"

1

Bernardi, Simona, José Merseguer, and Dorina Corina Petriu. "Dependability Analysis Techniques." In Model-Driven Dependability Assessment of Software Systems, 73–90. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39512-3_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cho, Beoungil, Hyunsang Youn, and Eunseok Lee. "Software Dependability Analysis Methodology." In Computational Science and Its Applications – ICCSA 2009, 580–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02457-3_50.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bobbio, A., D. Codetta Raiteri, M. De Pierro, and G. Franceschinis. "System-level Dependability Analysis." In System-level Test and Validation of Hardware/Software Systems, 151–74. London: Springer London, 2005. http://dx.doi.org/10.1007/1-84628-145-8_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Rubino, Gerardo, and Bruno Tuffin. "Markovian Models for Dependability Analysis." In Rare Event Simulation using Monte Carlo Methods, 125–43. Chichester, UK: John Wiley & Sons, Ltd, 2009. http://dx.doi.org/10.1002/9780470745403.ch6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bernardi, Simona, José Merseguer, and Dorina Corina Petriu. "Dependability Modeling and Analysis Profile." In Model-Driven Dependability Assessment of Software Systems, 51–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39512-3_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Marsden, Eric, Nicolas Perrot, Jean-Charles Fabre, and Jean Arlat. "Dependability Characterization of Middleware Services." In Design and Analysis of Distributed Embedded Systems, 121–30. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-0-387-35599-3_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Balakrishnan, Nikhil. "Failure Modes and Effects Analysis." In Dependability in Medicine and Neurology, 113–43. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-14968-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Zarras, Apostolos, Panos Vassiliadis, and Valérie Issarny. "Model-Driven Dependability Analysis of WebServices." In On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, 1608–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30469-2_48.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Markopoulos, Thomas, and Agapios N. Platis. "Dependability Analysis of Ship Propulsion Systems." In Stochastic Models in Reliability Engineering, 373–90. First edition. | Boca Raton, FL : CRC Press/Taylor & Francis Group, 2020.: CRC Press, 2020. http://dx.doi.org/10.1201/9780429331527-23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Muthukumar, C. T., Sergio B. Guarro, and George E. Apostolakis. "Dependability Analysis of Embedded Software Systems." In Reliability and Safety Assessment of Dynamic Process Systems, 59–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-662-03041-7_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Dependability analysi"

1

Zyla, Michal, and Dariusz Caban. "Dependability Analysis of SOA Systems." In 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX. IEEE, 2008. http://dx.doi.org/10.1109/depcos-relcomex.2008.20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gawkowski, Piotr, and Marcin Dzieżyc. "Dependability analysis of WRT54GL router." In Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2016, edited by Ryszard S. Romaniuk. SPIE, 2016. http://dx.doi.org/10.1117/12.2248857.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Baarir, Souheib, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, and Denis Poitrenaud. "Complementary Formal Approaches for Dependability Analysis." In 2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT). IEEE, 2009. http://dx.doi.org/10.1109/dft.2009.21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Krekora, Przemyslaw, and Dariusz Caban. "Dependability analysis of reconfigurable information systems." In 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07). IEEE, 2007. http://dx.doi.org/10.1109/depcos-relcomex.2007.15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Miron, Emanuel, João P. M. A. Silva, José Machado, Dumitru Olaru, and Gheorghe Prisacaru. "Using ICT techniques for improving mechatronic systems' dependability." In 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013: ICNAAM 2013. AIP, 2013. http://dx.doi.org/10.1063/1.4825681.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Guan, Qiang, Chi-Chen Chiu, and Song Fu. "CDA: A Cloud Dependability Analysis Framework for Characterizing System Dependability in Cloud Computing Infrastructures." In 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2012. http://dx.doi.org/10.1109/prdc.2012.10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Barabadi, Abbas, Masoud Naseri, and R. M. Chandima Ratnayake. "Design for Arctic Conditions: Safety and Performance Issues." In ASME 2013 32nd International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/omae2013-10287.

Full text
Abstract:
The harsh climate conditions and vulnerability of the Arctic wilderness can both heighten the risk related to HSE (human, safety and environment) and limit the effectiveness of any activities which are carried out to control such risks. To manage and control these risks, it is vital to reduce the probability of failure of critical components in the corresponding industrial setting. In order to accomplish the aforementioned, it is essential to have an accurate prediction of failure characteristics (e.g. failure modes, time to failure and failure mechanisms) and the consequence of failure which can be taken into consideration during the design phase. It is possible to gather such information by means of an effective risk and dependability analysis. However, in practice, conducting a dependability and risk analysis is a challenging process for an industrial setting, such as that which is functioning in the Norwegian Arctic. This is mainly due to the lack of historical data about possible activities which are unique to the region. Hence, it is paramount to develop a methodology to facilitate the analysis, using the available data experience and technological solutions which can be retrieved from similar or more challenging situations as a reference to improve the robustness of the current design. This paper reviews the main technical and technological challenges of the operations in the Arctic region. Then, it provides a methodology to take risk and dependability analysis for Arctic conditions into consideration in the design phase. This methodology is demonstrated by a case study for design in the Barents Sea based on the available data collected in the North Sea and the Norwegian Sea.
APA, Harvard, Vancouver, ISO, and other styles
8

Gergely, E. I., H. Madsen, Fl Popentiu-Vladicescu, V. Spoiala, and Z. T. Nagy. "Dependability analysis of PLC I/O modules." In 2009 3rd International Workshop on Soft Computing Applications (SOFA). IEEE, 2009. http://dx.doi.org/10.1109/sofa.2009.5254854.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chen, Geng, Lei Luo, Rong Gong, and Shenglin Gui. "Dependability Analysis for AADL Models by PVS." In 2009 International Conference on Dependable, Autonomic and Secure Computing (DASC). IEEE, 2009. http://dx.doi.org/10.1109/dasc.2009.45.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Mechhoud, El-Arkam, and Mounira Rouainia. "Automated dependability analysis of a HDPE reactor." In 2014 International Carnahan Conference on Security Technology (ICCST). IEEE, 2014. http://dx.doi.org/10.1109/ccst.2014.6987050.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Dependability analysi"

1

Rosenblum, David S., and Fokion Zervoudakis. Enhancing the Dependability of Complex Missions Through Automated Analysis. Fort Belvoir, VA: Defense Technical Information Center, September 2013. http://dx.doi.org/10.21236/ada590643.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Dependability analysi' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography