Littérature scientifique sur le sujet « Operating system dependability »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
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 « Operating system dependability ».
À 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 "Operating system dependability"
Rotshtein, 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égralEgorov, I. V. « Simulation model of dependability of redundant computer systems with recurrent information recovery ». Dependability 18, no 3 (5 septembre 2018) : 10–17. http://dx.doi.org/10.21683/1729-2646-2018-18-3-10-17.
Texte intégralWang, Chao, et Zhongchuan Fu. « Quantitative evaluation of fault propagation in a commercial cloud system ». International Journal of Distributed Sensor Networks 16, no 3 (mars 2020) : 155014772090361. http://dx.doi.org/10.1177/1550147720903613.
Texte intégralBen Hamouda, Marwa, Mohamed Najeh Lakhoua et Lilia El Amraoui. « Dependability Evaluation and Supervision in Thermal Power Plants ». International Journal of Electrical and Computer Engineering (IJECE) 5, no 5 (1 octobre 2015) : 905. http://dx.doi.org/10.11591/ijece.v5i5.pp905-917.
Texte intégralKulba, V. V., S. K. Somov et A. B. Shelkov. « Analysing the effect of information redundancy on the dependability indicators of distributed information systems ». Dependability 22, no 1 (25 mars 2022) : 4–12. http://dx.doi.org/10.21683/1729-2646-2022-22-1-4-12.
Texte intégralS, Santhosh M., et Nagaraja G. S. « A Survey on Different Real Time Operating Systems ». International Journal of Engineering and Advanced Technology 10, no 5 (30 juin 2021) : 221–23. http://dx.doi.org/10.35940/ijeat.e2762.0610521.
Texte intégralDi Giandomenico, Felicita, Antonia Bertolino, Antonello Calabrò et Nicola Nostro. « An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems ». International Journal of Adaptive, Resilient and Autonomic Systems 4, no 1 (janvier 2013) : 1–25. http://dx.doi.org/10.4018/jaras.2013010101.
Texte intégralYu, Li Ming, Shou Qiang Wei, Tian Tian Xing et Hong Liang Liu. « Reliability Analysis of Hybrid Actuation Based on GSPN ». Advanced Materials Research 430-432 (janvier 2012) : 1914–17. http://dx.doi.org/10.4028/www.scientific.net/amr.430-432.1914.
Texte intégralKimura, Shinichi, Yuki Asakura, Hiroaki Doi et Masahiro Nakamura. « Document-Based Programming System for Seamless Linking of Satellite Onboard Software and Ground Operating System ». Journal of Robotics and Mechatronics 29, no 5 (20 octobre 2017) : 801–7. http://dx.doi.org/10.20965/jrm.2017.p0801.
Texte intégralEnders, Shelly J., Jason M. Enders et Sheldon G. Holstad. « Drug-Information Software for Palm Operating System Personal Digital Assistants : Breadth, Clinical Dependability, and Ease of Use ». Pharmacotherapy 22, no 8 (août 2002) : 1036–40. http://dx.doi.org/10.1592/phco.22.12.1036.33601.
Texte intégralThèses sur le sujet "Operating system dependability"
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.
Texte intégralNeto, Antonio Vieira da Silva. « Modelo de predição de falhas baseado em processos estocásticos e filtragem Kalman para suporte à manutenção preditiva de sistemas elétricos, eletrônicos e programáveis ». Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19032015-160659/.
Texte intégralWith the increased use of electrical, electronic and programmable systems in various application fields such as entertainment, financial transactions, power distribution, industrial process control and signaling and control of transportation modes, it is essential for the maintenance policies used in those systems to be able to minimize the costs of any faults that may adversely affect the services provided. Over the past decades, the use of predictive maintenance techniques has shown to be a viable and promising approach to detect faults before they actually occur in systems used in different application fields. Considering that a significant part of the recent scientific research in the area of predictive maintenance usually demands high-cost infrastructure to be installed to support the acquisition of all the data that will be used to calculate the prediction of future faults of a system, the model proposed within this study was designed to allow both dependability levels and future faults of electrical, electronic and programmable systems to be estimated using past faults and maintenance data that may already be available. For this purpose, techniques such as stochastic processes, Kalman filtering and models prescribed within the international standard RIAC-HDBK-217Plus to incorporate history data to dependability calculation were used. As the main conclusion of this study, it is possible to highlight that the main objective of the model proposed, related to its ability to support predictive maintenance of electrical, electronic and programmable systems through the use of pre-existing operating history data, has been reached; nevertheless, limitation of practical use of the model was verified in situations in which not enough operating data is available.
Savard, Christophe. « Amélioration de la disponibilité opérationnelle des systèmes de stockage de l'énergie électrique multicellulaires ». Thesis, Lyon, 2017. http://www.theses.fr/2017LYSEI111/document.
Texte intégralHigh-capacity electrical energy storage system (EESS) are often matrix-organized system with a large number of elementary storage cells. Due to manufactoring tolerances and their individual use, the electrical characteristics of these cells do not evolve in the same way. These imbalances reduce operative dependability, in the short term by contributing to a decrease of the charge-discharge capacity, in the long-term by shortening lifetime. To improve storage performance, redundant cells can be added. It is also possible, in order to increase efficiency of stored energy restitution, to balance electrical characteristics by using energy exchange forced by an adequate configuration. It should therefore be possible to increase long-term operative dependability by reconfiguring internal connections in dynamic mode. Parallel-series (PS) architecture EESS consists of the series association of blocks, made up of several cells connected in parallel. Series-Parallel dual solution (SP) associates strings of cells in parallel. If other architectures are being studied, often requiring several switches per cell to reconfigure the matrix, we propose in this thesis a new architecture, called C3C, satisfying an acceptable level of reliability and distributing current flows. We then compare the classic solutions and the C3C in terms of reliability and the long-term operative dependability and propose a reflection on the possibilities to discrete control aspects to pilot architecture with a suitable control algorithm. The reliability of any structure can be improved by redundancy, with additional cells that will be used either to replace failing cells or temporarily supplemeting the weak ones. The system may also be designed to tolerate the defect of a portion of the cells. We demonstrate by modeling reliability diagrams and Markov chains that the C3C and PS architectures have a much eigher level of reliability than a SP architecture. The sustainability of these structures can also be improved by piloting activating and rest of the available resources according to different strategies in a choice algorithm based on SoC (State of Charge) or SoH (State of Health) of each cell. To do this, we model a cell on Matlab, precisely simulating the aging parameters and their dynamic evolution. It emerges that, whatever the architecture, if it includes a minimal share of redundant cells, an adequate differentiated management of the cells allows an improvement of the long-term operative dependability of nearly 40% on average. In order to study the reconfigurability control of architectures, we propose a model based on Discrete Event Systems through a colored Petri net. Simulation of this model has reinforced the behaviors already identified
Makdessi, Maawad. « Modélisation, vieillissement et surveillance de l'état de santé des condensateurs films utilisés dans des applications avioniques ». Phd thesis, Université Claude Bernard - Lyon I, 2014. http://tel.archives-ouvertes.fr/tel-01058227.
Texte intégralHuang, Chih-Yuan, et 黃致遠. « Improving Operating System Dependability by Reusing Kernel Drivers in User Mode ». Thesis, 2006. http://ndltd.ncl.edu.tw/handle/70578121691050963801.
Texte intégral國立交通大學
資訊科學與工程研究所
94
With the current high reliability on computer system, system availability is increasingly important. Software faults account for a larger portion of system unavailability than hardware failures. Because most of the software relies on the underlying operating systems, how to improve operating system dependability is an important part. According to previous research, device drivers are the most faulty part of an operating system. Device driver faults usually influence operating system dependability. For the reason, we propose a user mode device driver framework. We hope to improve operating system dependability with user mode device driver. Our characteristics includes:(1)By reusing native kernel mode device driver, device drivers can execute in user mode directly;(2) We can achieve zero-loss device driver. While device driver fault, we can mask device driver faults and make applications continue to execute. According to the performance evaluation, the overhead of the user mode device driver is not high and acceptable performance is achieved during the recovery.
Engelbrecht, Gerhard Nieuwoudt. « On quantifying miltary strategy ». Thesis, 2003. http://hdl.handle.net/10500/1527.
Texte intégralQuantitative management
D.Phil.
Livres sur le sujet "Operating system dependability"
Verma, Ajit Kumar. Dependability of Networked Computer-based Systems. London : Springer-Verlag London Limited, 2011.
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égralIrene, Eusgeld, Freiling Felix C et Reussner Ralf, dir. Dependability metrics : Advanced lectures. Berlin : Springer, 2008.
Trouver le texte intégralAubry, Jean François, Nicolae Brinzei et Mohammed-Habib Mazouni. Systems Dependability Assessment : Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.
Trouver le texte intégralAubry, Jean François, Nicolae Brinzei et Mohammed-Habib Mazouni. Systems Dependability Assessment : Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.
Trouver le texte intégralAubry, Jean François, Nicolae Brinzei et Mohammed-Habib Mazouni. Systems Dependability Assessment : Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.
Trouver le texte intégralAubry, Jean François, Nicolae Brinzei et Mohammed-Habib Mazouni. Systems Dependability Assessment : Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.
Trouver le texte intégralAubry, Jean François, et Nicolae Brinzei. Systems Dependability Assessment : Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.
Trouver le texte intégralAubry, Jean François, et Nicolae Brinzei. Systems Dependability Assessment : Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.
Trouver le texte intégralAubry, Jean François, et Nicolae Brinzei. Systems Dependability Assessment : Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.
Trouver le texte intégralChapitres de livres sur le sujet "Operating system dependability"
Schirmeier, Horst, Christoph Borchert, Martin Hoffmann, Christian Dietrich, Arthur Martens, Rüdiger Kapitza, Daniel Lohmann et Olaf Spinczyk. « Dependability Aspects in Configurable Embedded Operating Systems ». Dans Dependable Embedded Systems, 85–116. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-52017-5_4.
Texte intégralMuppala, Jogesh K., Ricardo M. Fricks et Kishor S. Trivedi. « Techniques for System Dependability Evaluation ». Dans International Series in Operations Research & ; Management Science, 445–79. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-4828-4_12.
Texte intégralAndrzejczak, Karol, Marek Młyńczak et Jarosław Selech. « Computerization of Operation Process in Municipal Transport ». Dans Contemporary Complex Systems and Their Dependability, 13–22. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-91446-6_2.
Texte intégralFriedrich, Johannes, Franciszek J. Restel et Łukasz Wolniewicz. « Railway Operation Schedule Evaluation with Respect to the System Robustness ». Dans Contemporary Complex Systems and Their Dependability, 195–208. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-91446-6_19.
Texte intégralKabashkin, Igor. « Dependability of Multichannel Communication System with Maintenance Operations for Air Traffic Management ». Dans Advances in Intelligent Systems and Computing, 256–63. Cham : Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-19501-4_25.
Texte intégralNazem Tahmasebi, Kaveh, et DeJiu Chen. « A Fault Injection Tool for Identifying Faulty Operations of Control Functions in Automated Driving Systems ». Dans New Advances in Dependability of Networks and Systems, 340–49. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-06746-4_33.
Texte intégralBauer, Lars, Hongyan Zhang, Michael A. Kochte, Eric Schneider, Hans-Joachim Wunderlich et Jörg Henkel. « Online Test Strategies and Optimizations for Reliable Reconfigurable Architectures ». Dans Dependable Embedded Systems, 277–302. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-52017-5_12.
Texte intégralDhiman, Vikram, Bhavneet Singh et Sapinderjit Kaur. « Secure BlockChain protocol for IOT Business Applications ». Dans New Frontiers in Communication and Intelligent Systems, 25–35. Soft Computing Research Society, 2021. http://dx.doi.org/10.52458/978-81-95502-00-4-4.
Texte intégralZacharaki, Angeliki, et Ioannis Kostavelis. « Dependability Levels on Autonomous Systems ». Dans Robotic Systems, 1377–90. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-1754-3.ch066.
Texte intégral« D-Script—Support for System Operation based on D-Case Agreements ». Dans Open Systems Dependability, 184–212. CRC Press, 2015. http://dx.doi.org/10.1201/b18544-13.
Texte intégralActes de conférences sur le sujet "Operating system dependability"
Khan, M. A., et H. G. Kerkhoff. « Monitoring operating temperature and supply voltage in achieving high system dependability ». Dans 2013 8th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). IEEE, 2013. http://dx.doi.org/10.1109/dtis.2013.6527788.
Texte intégralVilcu, Adrian, Marius Pislaru et Ion Verzea. « MATHEMATICAL AND NEURAL APPROACHES IN DEPENDABILITY ENGINEERING : STUDY CASE FOR A TECHNICAL SYSTEM ». Dans eLSE 2018. Carol I National Defence University Publishing House, 2018. http://dx.doi.org/10.12753/2066-026x-18-175.
Texte intégralBarbosa, Raul, Johan Karlsson, Qiu Yu et Xiaozhen Mao. « Toward dependability benchmarking of partitioning operating systems ». Dans Networks (DSN). IEEE, 2011. http://dx.doi.org/10.1109/dsn.2011.5958255.
Texte intégralVan Hardeveld, Thomas, et David Kiang. « Achieving Dependability Value for Pipelines and Facilities ». Dans 2012 9th International Pipeline Conference. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/ipc2012-90234.
Texte intégralTheera-Ampornpunt, Nawanol, Saurabh Bagchi, Kaustubh R. Joshi et Rajesh K. Panta. « Using big data for more dependability ». Dans SOSP '13 : ACM SIGOPS 24th Symposium on Operating Systems Principles. New York, NY, USA : ACM, 2013. http://dx.doi.org/10.1145/2524224.2524227.
Texte intégralShi, Ke, Xuan Qin, Qifei Cheng et Yidong Cheng. « Achieving Dependability through Dynamic Reconfiguration in Sensor Operating Systems ». Dans 2009 WRI World Congress on Computer Science and Information Engineering. IEEE, 2009. http://dx.doi.org/10.1109/csie.2009.13.
Texte intégralXu, Xiwei, Liming Zhu, Jim Li, Len Bass, Qinghua Lu et Min Fu. « Modeling and analysing operation processes for dependability ». Dans 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2013. http://dx.doi.org/10.1109/dsn.2013.6575337.
Texte intégralRisdon, Daniel J., et Thomas Van Hardeveld. « Reengineering Maintenance for Dependability ». Dans 1998 2nd International Pipeline Conference. American Society of Mechanical Engineers, 1998. http://dx.doi.org/10.1115/ipc1998-2025.
Texte intégralHerder, Jorrit N., Herbert Bos, Ben Gras, Philip Homburg et Andrew S. Tanenbaum. « Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability) ». Dans 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2008. http://dx.doi.org/10.1109/prdc.2008.25.
Texte intégralZamyshlyaev, Alexey, et Igor Shubinsky. « Adaptive Management System of Dependability and Safety of Railway Infrastructure ». Dans 2016 Second International Symposium on Stochastic Models in Reliability Engineering, Life Science and Operations Management (SMRLO). IEEE, 2016. http://dx.doi.org/10.1109/smrlo.2016.48.
Texte intégral