Academic literature on the topic 'Operating system dependability'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Operating system dependability.'
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 "Operating system dependability"
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 textEgorov, I. V. "Simulation model of dependability of redundant computer systems with recurrent information recovery." Dependability 18, no. 3 (September 5, 2018): 10–17. http://dx.doi.org/10.21683/1729-2646-2018-18-3-10-17.
Full textWang, Chao, and Zhongchuan Fu. "Quantitative evaluation of fault propagation in a commercial cloud system." International Journal of Distributed Sensor Networks 16, no. 3 (March 2020): 155014772090361. http://dx.doi.org/10.1177/1550147720903613.
Full textBen Hamouda, Marwa, Mohamed Najeh Lakhoua, and Lilia El Amraoui. "Dependability Evaluation and Supervision in Thermal Power Plants." International Journal of Electrical and Computer Engineering (IJECE) 5, no. 5 (October 1, 2015): 905. http://dx.doi.org/10.11591/ijece.v5i5.pp905-917.
Full textKulba, V. V., S. K. Somov, and A. B. Shelkov. "Analysing the effect of information redundancy on the dependability indicators of distributed information systems." Dependability 22, no. 1 (March 25, 2022): 4–12. http://dx.doi.org/10.21683/1729-2646-2022-22-1-4-12.
Full textS, Santhosh M., and Nagaraja G. S. "A Survey on Different Real Time Operating Systems." International Journal of Engineering and Advanced Technology 10, no. 5 (June 30, 2021): 221–23. http://dx.doi.org/10.35940/ijeat.e2762.0610521.
Full textDi Giandomenico, Felicita, Antonia Bertolino, Antonello Calabrò, and 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 (January 2013): 1–25. http://dx.doi.org/10.4018/jaras.2013010101.
Full textYu, Li Ming, Shou Qiang Wei, Tian Tian Xing, and Hong Liang Liu. "Reliability Analysis of Hybrid Actuation Based on GSPN." Advanced Materials Research 430-432 (January 2012): 1914–17. http://dx.doi.org/10.4028/www.scientific.net/amr.430-432.1914.
Full textKimura, Shinichi, Yuki Asakura, Hiroaki Doi, and 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 (October 20, 2017): 801–7. http://dx.doi.org/10.20965/jrm.2017.p0801.
Full textEnders, Shelly J., Jason M. Enders, and Sheldon G. Holstad. "Drug-Information Software for Palm Operating System Personal Digital Assistants: Breadth, Clinical Dependability, and Ease of Use." Pharmacotherapy 22, no. 8 (August 2002): 1036–40. http://dx.doi.org/10.1592/phco.22.12.1036.33601.
Full textDissertations / Theses on the topic "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.
Full textNeto, 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/.
Full textWith 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.
Full textHigh-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.
Full textHuang, Chih-Yuan, and 黃致遠. "Improving Operating System Dependability by Reusing Kernel Drivers in User Mode." Thesis, 2006. http://ndltd.ncl.edu.tw/handle/70578121691050963801.
Full text國立交通大學
資訊科學與工程研究所
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.
Full textQuantitative management
D.Phil.
Books on the topic "Operating system dependability"
Verma, Ajit Kumar. Dependability of Networked Computer-based Systems. London: Springer-Verlag London Limited, 2011.
Find full textUnited 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 textIrene, Eusgeld, Freiling Felix C, and Reussner Ralf, eds. Dependability metrics: Advanced lectures. Berlin: Springer, 2008.
Find full textAubry, Jean François, Nicolae Brinzei, and Mohammed-Habib Mazouni. Systems Dependability Assessment: Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.
Find full textAubry, Jean François, Nicolae Brinzei, and Mohammed-Habib Mazouni. Systems Dependability Assessment: Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.
Find full textAubry, Jean François, Nicolae Brinzei, and Mohammed-Habib Mazouni. Systems Dependability Assessment: Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.
Find full textAubry, Jean François, Nicolae Brinzei, and Mohammed-Habib Mazouni. Systems Dependability Assessment: Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.
Find full textAubry, Jean François, and Nicolae Brinzei. Systems Dependability Assessment: Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.
Find full textAubry, Jean François, and Nicolae Brinzei. Systems Dependability Assessment: Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.
Find full textAubry, Jean François, and Nicolae Brinzei. Systems Dependability Assessment: Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.
Find full textBook chapters on the topic "Operating system dependability"
Schirmeier, Horst, Christoph Borchert, Martin Hoffmann, Christian Dietrich, Arthur Martens, Rüdiger Kapitza, Daniel Lohmann, and Olaf Spinczyk. "Dependability Aspects in Configurable Embedded Operating Systems." In Dependable Embedded Systems, 85–116. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-52017-5_4.
Full textMuppala, Jogesh K., Ricardo M. Fricks, and Kishor S. Trivedi. "Techniques for System Dependability Evaluation." In 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.
Full textAndrzejczak, Karol, Marek Młyńczak, and Jarosław Selech. "Computerization of Operation Process in Municipal Transport." In 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.
Full textFriedrich, Johannes, Franciszek J. Restel, and Łukasz Wolniewicz. "Railway Operation Schedule Evaluation with Respect to the System Robustness." In 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.
Full textKabashkin, Igor. "Dependability of Multichannel Communication System with Maintenance Operations for Air Traffic Management." In 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.
Full textNazem Tahmasebi, Kaveh, and DeJiu Chen. "A Fault Injection Tool for Identifying Faulty Operations of Control Functions in Automated Driving Systems." In 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.
Full textBauer, Lars, Hongyan Zhang, Michael A. Kochte, Eric Schneider, Hans-Joachim Wunderlich, and Jörg Henkel. "Online Test Strategies and Optimizations for Reliable Reconfigurable Architectures." In Dependable Embedded Systems, 277–302. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-52017-5_12.
Full textDhiman, Vikram, Bhavneet Singh, and Sapinderjit Kaur. "Secure BlockChain protocol for IOT Business Applications." In 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.
Full textZacharaki, Angeliki, and Ioannis Kostavelis. "Dependability Levels on Autonomous Systems." In Robotic Systems, 1377–90. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-1754-3.ch066.
Full text"D-Script—Support for System Operation based on D-Case Agreements." In Open Systems Dependability, 184–212. CRC Press, 2015. http://dx.doi.org/10.1201/b18544-13.
Full textConference papers on the topic "Operating system dependability"
Khan, M. A., and H. G. Kerkhoff. "Monitoring operating temperature and supply voltage in achieving high system dependability." In 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.
Full textVilcu, Adrian, Marius Pislaru, and Ion Verzea. "MATHEMATICAL AND NEURAL APPROACHES IN DEPENDABILITY ENGINEERING: STUDY CASE FOR A TECHNICAL SYSTEM." In eLSE 2018. Carol I National Defence University Publishing House, 2018. http://dx.doi.org/10.12753/2066-026x-18-175.
Full textBarbosa, Raul, Johan Karlsson, Qiu Yu, and Xiaozhen Mao. "Toward dependability benchmarking of partitioning operating systems." In Networks (DSN). IEEE, 2011. http://dx.doi.org/10.1109/dsn.2011.5958255.
Full textVan Hardeveld, Thomas, and David Kiang. "Achieving Dependability Value for Pipelines and Facilities." In 2012 9th International Pipeline Conference. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/ipc2012-90234.
Full textTheera-Ampornpunt, Nawanol, Saurabh Bagchi, Kaustubh R. Joshi, and Rajesh K. Panta. "Using big data for more dependability." In SOSP '13: ACM SIGOPS 24th Symposium on Operating Systems Principles. New York, NY, USA: ACM, 2013. http://dx.doi.org/10.1145/2524224.2524227.
Full textShi, Ke, Xuan Qin, Qifei Cheng, and Yidong Cheng. "Achieving Dependability through Dynamic Reconfiguration in Sensor Operating Systems." In 2009 WRI World Congress on Computer Science and Information Engineering. IEEE, 2009. http://dx.doi.org/10.1109/csie.2009.13.
Full textXu, Xiwei, Liming Zhu, Jim Li, Len Bass, Qinghua Lu, and Min Fu. "Modeling and analysing operation processes for dependability." In 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2013. http://dx.doi.org/10.1109/dsn.2013.6575337.
Full textRisdon, Daniel J., and Thomas Van Hardeveld. "Reengineering Maintenance for Dependability." In 1998 2nd International Pipeline Conference. American Society of Mechanical Engineers, 1998. http://dx.doi.org/10.1115/ipc1998-2025.
Full textHerder, Jorrit N., Herbert Bos, Ben Gras, Philip Homburg, and Andrew S. Tanenbaum. "Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)." In 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2008. http://dx.doi.org/10.1109/prdc.2008.25.
Full textZamyshlyaev, Alexey, and Igor Shubinsky. "Adaptive Management System of Dependability and Safety of Railway Infrastructure." In 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.
Full text