Littérature scientifique sur le sujet « Dependability analysi »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Dependability analysi ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Dependability analysi"
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 (10 septembre 2020) : 145–51. http://dx.doi.org/10.52022/jikm.v12i3.102.
Texte intégralZhang, Da Jian, Min Yan Lu et Xing Yu Zhao. « A Dependability Case Construction Approach Based on Dependability Deviation Analysis ». Applied Mechanics and Materials 543-547 (mars 2014) : 3682–87. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.3682.
Texte intégralTrivedi, Kishor S., Jogesh K. Muppala, Steven P. Woolet et Boudewijn R. Haverkort. « Composite performance and dependability analysis ». Performance Evaluation 14, no 3-4 (février 1992) : 197–215. http://dx.doi.org/10.1016/0166-5316(92)90004-z.
Texte intégralRotshtein, A. Р. « Fuzzy cognitive maps in the dependability analysis of systems ». Dependability 19, no 4 (17 décembre 2019) : 24–31. http://dx.doi.org/10.21683/1729-2646-2019-19-4-24-31.
Texte intégralVorontsov, M. A., A. S. Grachiov, A. O. Grachiova, M. A. Kirkin et 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 (25 mars 2022) : 44–51. http://dx.doi.org/10.21683/1729-2646-2022-22-1-44-51.
Texte intégralBarreau, Mihaela, Alexis Todoskoff, Jean-Yves Morel, Fabrice Guerin et Alin Mihalache. « Dependability analysis of complex mechatronic systems ». IFAC Proceedings Volumes 36, no 5 (juin 2003) : 63–68. http://dx.doi.org/10.1016/s1474-6670(17)36471-6.
Texte intégralLimnios, Nikolaos. « Dependability analysis of semi-Markov systems ». Reliability Engineering & ; System Safety 55, no 3 (mars 1997) : 203–7. http://dx.doi.org/10.1016/s0951-8320(96)00121-4.
Texte intégralAlemayehu, Temesgen Seyoum, et Jai‐Hoon Kim. « Dependability analysis of cyber physical systems ». IET Computers & ; Digital Techniques 11, no 6 (24 octobre 2017) : 231–36. http://dx.doi.org/10.1049/iet-cdt.2016.0164.
Texte intégralBouissou, M., et 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.
Texte intégralPokhabov, Yu P. « Problems of dependability and possible solutions in the context of unique highly vital systems design ». Dependability 19, no 1 (13 mars 2019) : 10–17. http://dx.doi.org/10.21683/1729-2646-2019-19-1-10-17.
Texte intégralThèses sur le sujet "Dependability analysi"
Looker, Nik. « Dependability analysis of Web services ». Thesis, Durham University, 2006. http://etheses.dur.ac.uk/2888/.
Texte intégralYang, 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/.
Texte intégralXu, Changyi. « Operational dependability model generation ». Thesis, Lyon, 2020. http://www.theses.fr/2020LYSEI129.
Texte intégralAssessing 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
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.
Texte intégralKabir, Sohag. « Compositional dependability analysis of dynamic systems with uncertainty ». Thesis, University of Hull, 2016. http://hydra.hull.ac.uk/resources/hull:13595.
Texte intégralRajagopalan, 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.
Texte intégralDas, 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.
Texte intégralDas, Olivia Carleton University Dissertation Engineering Systems and Computer. « Performance and dependability analysis of fault-tolerant layered distributed systems ». Ottawa, 1998.
Trouver le texte intégralMandak, 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.
Texte intégralThesis advisors, LuQi, Man-Tak Shing, John S. Osmundson, Richard Riehle. Includes bibliographical references (p. 79-81). Also available online.
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.
Texte intégralCataloged 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.
Livres sur le sujet "Dependability analysi"
Jacek, Mazurkiewicz. Dependability in complex system modelling. Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2012.
Trouver le texte intégralUnited States. National Aeronautics and Space Administration., dir. 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.
Trouver le texte intégralTung, Tʻang, et United States. National Aeronautics and Space Administration., dir. 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.
Trouver le texte intégralUnited States. National Aeronautics and Space Administration., dir. Experimental study of software dependability. Urbana, Ill : Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, 1994.
Trouver le texte intégralKanoun, Karama. Dependability Benchmarking for Computer Systems. New York : John Wiley & Sons, Ltd., 2008.
Trouver le texte intégralK, Iyer Ravishankar, et United States. National Aeronautics and Space Administration., dir. 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.
Trouver le texte intégralK, Iyer Ravishankar, et United States. National Aeronautics and Space Administration., dir. 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.
Trouver le texte intégralUnited States. National Aeronautics and Space Administration., dir. 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.
Trouver le texte intégralK, Iyer Ravishankar, et United States. National Aeronautics and Space Administration., dir. 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.
Trouver le texte intégralRemke, Anne, et Mariëlle Stoelinga, dir. 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.
Texte intégralChapitres de livres sur le sujet "Dependability analysi"
Bernardi, Simona, José Merseguer et Dorina Corina Petriu. « Dependability Analysis Techniques ». Dans 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.
Texte intégralCho, Beoungil, Hyunsang Youn et Eunseok Lee. « Software Dependability Analysis Methodology ». Dans 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.
Texte intégralBobbio, A., D. Codetta Raiteri, M. De Pierro et G. Franceschinis. « System-level Dependability Analysis ». Dans 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.
Texte intégralRubino, Gerardo, et Bruno Tuffin. « Markovian Models for Dependability Analysis ». Dans Rare Event Simulation using Monte Carlo Methods, 125–43. Chichester, UK : John Wiley & Sons, Ltd, 2009. http://dx.doi.org/10.1002/9780470745403.ch6.
Texte intégralBernardi, Simona, José Merseguer et Dorina Corina Petriu. « Dependability Modeling and Analysis Profile ». Dans 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.
Texte intégralMarsden, Eric, Nicolas Perrot, Jean-Charles Fabre et Jean Arlat. « Dependability Characterization of Middleware Services ». Dans 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.
Texte intégralBalakrishnan, Nikhil. « Failure Modes and Effects Analysis ». Dans Dependability in Medicine and Neurology, 113–43. Cham : Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-14968-4_4.
Texte intégralZarras, Apostolos, Panos Vassiliadis et Valérie Issarny. « Model-Driven Dependability Analysis of WebServices ». Dans 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.
Texte intégralMarkopoulos, Thomas, et Agapios N. Platis. « Dependability Analysis of Ship Propulsion Systems ». Dans 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.
Texte intégralMuthukumar, C. T., Sergio B. Guarro et George E. Apostolakis. « Dependability Analysis of Embedded Software Systems ». Dans 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.
Texte intégralActes de conférences sur le sujet "Dependability analysi"
Zyla, Michal, et Dariusz Caban. « Dependability Analysis of SOA Systems ». Dans 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX. IEEE, 2008. http://dx.doi.org/10.1109/depcos-relcomex.2008.20.
Texte intégralGawkowski, Piotr, et Marcin Dzieżyc. « Dependability analysis of WRT54GL router ». Dans Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2016, sous la direction de Ryszard S. Romaniuk. SPIE, 2016. http://dx.doi.org/10.1117/12.2248857.
Texte intégralBaarir, Souheib, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre et Denis Poitrenaud. « Complementary Formal Approaches for Dependability Analysis ». Dans 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.
Texte intégralKrekora, Przemyslaw, et Dariusz Caban. « Dependability analysis of reconfigurable information systems ». Dans 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07). IEEE, 2007. http://dx.doi.org/10.1109/depcos-relcomex.2007.15.
Texte intégralMiron, Emanuel, João P. M. A. Silva, José Machado, Dumitru Olaru et Gheorghe Prisacaru. « Using ICT techniques for improving mechatronic systems' dependability ». Dans 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013 : ICNAAM 2013. AIP, 2013. http://dx.doi.org/10.1063/1.4825681.
Texte intégralGuan, Qiang, Chi-Chen Chiu et Song Fu. « CDA : A Cloud Dependability Analysis Framework for Characterizing System Dependability in Cloud Computing Infrastructures ». Dans 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2012. http://dx.doi.org/10.1109/prdc.2012.10.
Texte intégralBarabadi, Abbas, Masoud Naseri et R. M. Chandima Ratnayake. « Design for Arctic Conditions : Safety and Performance Issues ». Dans 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.
Texte intégralGergely, E. I., H. Madsen, Fl Popentiu-Vladicescu, V. Spoiala et Z. T. Nagy. « Dependability analysis of PLC I/O modules ». Dans 2009 3rd International Workshop on Soft Computing Applications (SOFA). IEEE, 2009. http://dx.doi.org/10.1109/sofa.2009.5254854.
Texte intégralChen, Geng, Lei Luo, Rong Gong et Shenglin Gui. « Dependability Analysis for AADL Models by PVS ». Dans 2009 International Conference on Dependable, Autonomic and Secure Computing (DASC). IEEE, 2009. http://dx.doi.org/10.1109/dasc.2009.45.
Texte intégralMechhoud, El-Arkam, et Mounira Rouainia. « Automated dependability analysis of a HDPE reactor ». Dans 2014 International Carnahan Conference on Security Technology (ICCST). IEEE, 2014. http://dx.doi.org/10.1109/ccst.2014.6987050.
Texte intégralRapports d'organisations sur le sujet "Dependability analysi"
Rosenblum, David S., et Fokion Zervoudakis. Enhancing the Dependability of Complex Missions Through Automated Analysis. Fort Belvoir, VA : Defense Technical Information Center, septembre 2013. http://dx.doi.org/10.21236/ada590643.
Texte intégral