Готові списки джерел за темами / Operating system dependability

Добірка наукової літератури з теми "Operating system dependability"

Автор: Grafiati
Опубліковано: 14 березня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Зміст

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Operating system dependability".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Operating system dependability"

1

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.

Повний текст джерела
Анотація:
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 та ін.
2

Egorov, 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.

Повний текст джерела
Анотація:
Today’s digital nanotechnology-based information management systems are especially sensitive to highly-energized particles during operation in irradiated areas. This sensitivity is most often manifested in the form of intermittent soft errors, i.e. distortion of information bits in the system’s memory elements with no hardware failure. The cause is in the afterpulses at the output of the logical elements that occur as the result of ionization of the gate area of the transistor’s semiconductor after it is exposed to a highly-energized particle. In order to counter soft errors the system is equipped with self-repair mechanisms that ensure regular replacement of distorted data with correct data. If this approach to design is employed, the significance of dependability analysis of the system under development increases significantly. Since regular occurrence of soft errors is essentially normal operating mode of a system in conditions of increased radiation, dependability analysis must be repeatedly conducted at the design stage, as that is the only way to duly evaluate the quality of the taken design decisions. The distinctive feature of fault-tolerant hardware and software systems that consists in the presence of nonprobabilistic recovery process limits the applicability of the known methods of dependability analysis. It is difficult to formalize the behaviour of such systems in the form of a dependability model in the context of the classic dependability theory that is geared towards the evaluation of hardware structure. As it has been found out, the application of conventional methods of dependability analysis (such as the Markovian model or probabilistic logic) requires making a number of assumptions that result in unacceptable errors in the evaluation results or its inapplicability.Aim. Development of the model and methods of dependability analysis that would allow evaluating the dependability of hardware and software systems with periodic recovery.Results. A simulation model was developed that is intended for dependability evaluation of complex recoverable information management systems. The model is a network of oriented state graphs that allows describing the behaviour of a recoverable system subject to the presence of computation processes and recovery processes that operate according to non-stochastic algorithms. Based on the simulation model, a software tool for dependability analysis was developed that enables probabilistic estimation of dependability characteristics of individual system units and its overall structure by means of computer simulation of failures and recoveries. This tool can be used for comprehensive dependability evaluation of hardware and software systems that involves the analysis of recoverable units with complex behaviour using the developed simulation model, and their operation along with simple hardware components, such as power supplies and fuses, using conventional analytical methods of dependability analysis. Such approach to dependability evaluation is implemented in the Digitek Reliability Analyzer dependability analysis software environment.Practical significance.The application of the developed simulation model and dependability analysis tool at the design stage enables due evaluation of the quality of the produced fault tolerant recoverable system in terms of dependability and choose the best architectural solution, which has a high practical significance.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Wang, 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.

Повний текст джерела
Анотація:
As semiconductor technology scales into the nano regime, hardware faults have been threats against computational devices. Cloud systems are incorporating more and more computing density and energy into themselves; thus, fundamental research on topics such as dependability validation is needed, in order to verify the robustness of clouds for sensor networks. However, dependability evaluation studies have often been carried out beyond isolated physical systems, such as processors, sensors, and single boards with or without operating system hosts. These studies have been performed using inaccurate simulations instead of validating complete cloud software stacks (firmware, hypervisor, operating system hosts and workloads) as a whole. In this article, we describe the implementation of a fault injection tool, which validates the dependability of a commercial cloud software stack. Hardware faults induced by high energy density environments can be injected; the fault propagation through the cloud software stack is traced, and quantitatively evaluated. Experimental results show that the integrated fault detection mechanism of the cloud system, such as fatal trap detectors, has left a detection margin of 20% silent data corruption to narrow down. We additionally propose two detection mechanisms, which proved good performance in fault detection of cloud systems.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Ben 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.

Повний текст джерела
Анотація:
In order to improve the productivity and the consistency of its maintenance strategies, the industrial world is based on different techniques and tools developed to ensure safe operation and the supervision of production systems. In fact, dependability evaluation is crucial to controlling the risks associated with system failure, and for this reason, it is one of the fundamental steps in automated system design. In this paper, we present firstly the basic concepts for the study of dependability as well as functional systems analysis. Thus, we present the method SADT (Structured Analysis Design technique). Given the ineffectiveness of methods that are currently exploited are not appropriate because the level of complexity of such industrial systems, we propose in the first the Safe-SADT method which allows the explicit formalization of functional interaction, the identification of the characteristic values affecting complex system dependability, the quantification of RAMS parameters (Reliability, Availability, Maintainability, and Safety) for the system’s operational architecture. Secondly, a methodology for designing supervisory production systems has been presented and has been applied on an example of a SCADA (supervisory control and data acquisition) system of a thermal power plant. Finally, a model of operating safety and supervision of a production system is proposed<strong><em>.</em></strong>
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Kulba, 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.

Повний текст джерела
Анотація:
Aim. The paper analyses the effect of information redundancy on the functional dependability indicators of distributed automated information systems. Information redundancy in the form of hot standby and HDD archives located in the system nodes is examined. Methods. The concepts of the probability theory and Markov processes are employed. Results. Indicators of operational dependability of distributed information systems and the effect of operational and recovery redundancy of data sets on these indicators are analysed. The paper analyses the efficiency of three backup strategies in distributed systems. Conclusions. Using information redundancy significantly improves the dependability and operational efficiency of distributed systems. At the same time, this type of redundancy requires a certain increase in operating costs.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

S, 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.

Повний текст джерела
Анотація:
To minimise development costs and enhance dependability, modern embedded system development is increasingly emphasising on software modularity and reuse. Microcontrollers are extensively employed in embedded applications that have a very specific and specialised job to complete. The embedded applications are always resource constraint which requires efficient utilization of available resources. A Real Time Operating System (RTOS) is frequently used in this context to plan task execution as well as enable intertask communication and synchronisation. This paper provides the survey of different RTOS available in market and their applications. Several open source RTOS such as Free RTOS, VxWorks, SmallRTOS and TinyOS are compared with respect to the scheduling algorithms used.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Di 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.

Повний текст джерела
Анотація:
Complexity, heterogeneity, interdependency and, especially, evolution of system/services specifications, related operating environments and user needs, are more and more highly relevant characteristics of modern and future software applications. Taking advantage of the experience gained in the context of the European project Connect, which addresses the challenging and ambitious topic of eternally functioning distributed and heterogeneous systems, this paper presents a framework to analyse and assess dependability and performance properties in dynamic and evolving contexts. The goal is to develop an adaptive approach by coupling stochastic model-based analysis, performed at design time to support the definition and implementation of software products complying with their stated dependability and performance requirements, with run-time monitoring to re-calibrate and enhance the dependability and performance prediction along evolution. The proposed framework for adaptive assessment is described and illustrated through a case study. To simplify the description while making more concrete the approach under study, the authors adopted the setting and terminology of the Connect project.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Yu, 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.

Повний текст джерела
Анотація:
Generalized stochastic Petri nets is adopted to develop the reliability models of two operating modes of the hybrid actuation system, which is composed of a SHA (Servo valve controlled Hydraulic Actuator), an EHA (Electro-Hydrostatic Actuator) and an EBHA (Electrical Back-up Hydrostatic Actuator).The dependability of hybrid actuation is got through the Markov chain which the Petri nets sate is isomorphic to and the Monte-Carlo simulation. Simulations are conducted to analyze influences of the operating mode and the fault coverage on system reliability of hybrid actuation system.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Kimura, 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.

Повний текст джерела
Анотація:
In satellites, onboard software is required to perform complicated mission sequences and autonomous scheduling, conduct preliminary data processing, and manage various onboard devices. The dependability of onboard software strongly affects the reliability of a satellite itself. Therefore, the onboard software must be both complex and reliable to perform complicated small satellite missions. We propose an automatic software generator to meet these requirements. This generates onboard software and a database for the ground operating system using satellite development documents, such as command and telemetry definition documents and fault detection, isolation, and recovery (FDIR) definition documents. By using this software generator, the software development load can be reduced and human error can be avoided, even if the definitions are modified in an ad hoc manner during the development process. The generator additionally enables the easy accommodation of user preferences and software depth variation during a mission.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Enders, 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "Operating system dependability"

1

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Neto, 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/.

Повний текст джерела
Анотація:
Com o aumento do uso de sistemas elétricos, eletrônicos e programáveis em aplicações de diversos domínios, tais como entretenimento, realização de transações financeiras, distribuição de energia elétrica, controle de processos industriais e sinalização e controle em transporte de passageiros e carga, é essencial que as políticas de manutenção utilizadas sejam capazes de minimizar os custos associados a eventuais falhas que afetem negativamente os serviços providos. Ao longo das últimas décadas, foi sedimentada a tendência de que a adoção de técnicas de manutenção preditiva representa uma das abordagens mais viáveis e promissoras para que falhas de sistemas utilizados em diversas aplicações possam ser detectadas antes de elas efetivamente ocorrerem. Considerando-se que uma parcela significativa dos estudos recentes na área de manutenção preditiva de sistemas apresenta como limitação o custo elevado para se instalar uma infraestrutura específica para realizar a coleta de dados que serão usados para dar suporte à predição das falhas futuras de um sistema, o modelo proposto no presente estudo visa permitir que os índices de dependabilidade e as falhas futuras de sistemas elétricos, eletrônicos e programáveis sejam estimados utilizando-se dados já disponíveis de falhas e manutenções passadas. Para tanto, foram empregadas técnicas como processos estocásticos, filtragem Kalman e modelos de incorporação de dados de histórico preconizados no padrão internacional RIAC-HDBK-217Plus. Como principal conclusão do presente trabalho, é possível ressaltar que foi possível atingir, com o modelo proposto, o objetivo de suporte à manutenção preditiva de sistemas elétricos, eletrônicos e programáveis a partir do uso de dados preexistentes de histórico operacional; no entanto, foram constatadas limitações no grau de utilização prática do modelo em situações nas quais a quantidade dos dados de histórico disponíveis para consulta é pequena.
With 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.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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.

Повний текст джерела
Анотація:
Les systèmes de stockage de l'énergie électrique de forte capacité sont configurés en systèmes matriciels de cellules élémentaires. Les caractéristiques électriques de ces cellules n'évoluent pas toutes de manière identique, diminuant la disponibilité, à court terme par décharge rapide, à long terme en réduisant la durée de vie. Pour améliorer ces performances, des cellules redondantes et des circuits d'équilibrage sont insérés pour assurer une reconfiguration adéquate. Il devrait être possible d'accroître la disponibilité en reconfigurant les connexions internes. Nous comparons deux solutions classiques : série-parallèle (SP) et parallèle-série (PS) avec une nouvelle permettant de redistribuer le courant dans une batterie : le C-3C. Les performances sont évaluées en terme de fiabilité et de disponibilité. Nous proposons également un algorithme de pilotage adapté. La fiabilité est améliorable par redondance. Les cellules supplémentaires seront utilisées pour remplacer des cellules affaiblies. Le système peut également être conçu pour tolérer la défection d'une partie des cellules. Nous démontrons par des diagrammes de fiabilité et des chaînes de Markov que les architectures C-3C et PS présentent le même niveau de fiabilité, supérieur à celui d'une architecture SP. La durabilité des structures peut être améliorée en pilotant la mise en service des ressources disponibles selon différentes stratégies déclinées dans un algorithme de choix fondé sur les États de charge ou les États de Santé. Nous avons modélisé une cellule sous Matlab, en simulant les paramètres de vieillissement et leur évolution dynamique. Ainsi quelle que soit l'architecture, pour peu qu'elle comprenne une part minimale de redondance, une adéquate gestion différentiée des cellules permet une amélioration de la disponibilité de 40%. Par souci de reproductibilité, nous avons également modélisé ces structures par un réseau de Petri coloré, de manière à esquisser l'instrumentation et le dimensionnement de la commande
High-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
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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.

Повний текст джерела
Анотація:
Le domaine aéronautique connait de nos jours un engouement sans précédent autour de l'avion plus électrique. L'importance du nombre d'équipements électriques est à un tel point que l'amélioration de leur fiabilité devient incontournable. Actuellement, les composants passifs occupent 75 % des éléments électroniques utilisés en avionique dont la moitié correspond à des condensateurs. Ces derniers doivent donc répondre aux exigences environnementales avioniques assez contraignantes. C'est dans ce contexte que nous nous sommes intéressés particulièrement à l'étude des condensateurs à technologie film utilisant le polypropylène ou le polyester comme diélectrique. Afin de mieux comprendre le comportement fréquentiel de cette technologie, deux modèles fins de condensateurs films ont été développés, permettant ainsi de suivre les évolutions de leurs grandeurs électriques dans des conditions cohérentes avec l'application. Dans un deuxième temps, l'effet des contraintes en tension et en température constantes a été étudié sous la forme de facteurs d'accélération du vieillissement. Cela a été établi par l'intermédiaire de plusieurs essais, permettant d'établir les lois d'évolutions temporelles des paramètres électriques des condensateurs. Comme ces contraintes constantes ne sont pas toujours représentatives des conditions réelles d'utilisation, les cinétiques de dégradation ont été comparées à celles où les condensateurs sont sollicités par de fortes ondulations de courant, seules ou associées à une tension continue. Enfin, la dernière partie de notre travail expose l'utilisation des données expérimentales issues des essais de vieillissement dans un objectif de diagnostic en ligne. Les techniques utilisées assurent l'analyse de la dégradation de ces composants, étape essentielle dans la prédiction de l'état de santé des condensateurs en ligne
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Huang, Chih-Yuan, and 黃致遠. "Improving Operating System Dependability by Reusing Kernel Drivers in User Mode." Thesis, 2006. http://ndltd.ncl.edu.tw/handle/70578121691050963801.

Повний текст джерела
Анотація:
碩士
國立交通大學
資訊科學與工程研究所
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Engelbrecht, Gerhard Nieuwoudt. "On quantifying miltary strategy." Thesis, 2003. http://hdl.handle.net/10500/1527.

Повний текст джерела
Анотація:
Military Strategy is defined as a plan at the military strategic level of war that consists of a set of military strategic ends, ways and means and the relationships between them. This definition leads to the following research questions: 1. How can the extent of the many-to-many relationships that exist between a military strategy, its ends, ways and means be quantified? 2. If the relationships between a military strategy, its ends, ways and means are quantified and if the effectiveness of the force design elements is known, how shall that enable the quantification of the state’s ability to execute its military strategy? 3. If the relationships between a military strategy, its ends, ways and means are quantified and if the effectiveness of the force design elements is known, how will it aid decision-making about the acquisition of the future force design? The first research question is answered by mapping a military strategy complete with its ends, ways and means to a ranked tree where the entities in the strategy corresponds with the vertices of different rank in the tree. The tree representation is used to define and determine the contribution of entities in a military strategy to entities at the next higher level. It is explained how analytical, heuristic and judgement methods can be employed to find the relative and real contribution values. Also, a military strategy for South Africa is developed to demonstrate the concept. The second research question is answered by developing measures of effectiveness taking the interdependence of entities at the terminal vertices of the ranked tree into account. Thereafter, the degree to which the force design would support the higher order entities inclusive of a military strategy could be calculated. The third research question is answered by developing a cost-benefit analysis method and a distance indicator from an optimal point to aid in deciding between supplier options for acquisition. Thereafter the knapsack problem is amended to allow for scheduling acquisition projects whilst optimising the force design's support of a military strategy. Finally, the model is validated and put into a contextual framework for use in the military.
Quantitative management
D.Phil.
Стилі APA, Harvard, Vancouver, ISO та ін.

Книги з теми "Operating system dependability"

1

Verma, Ajit Kumar. Dependability of Networked Computer-based Systems. London: Springer-Verlag London Limited, 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Irene, Eusgeld, Freiling Felix C, and Reussner Ralf, eds. Dependability metrics: Advanced lectures. Berlin: Springer, 2008.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Aubry, Jean François, Nicolae Brinzei, and Mohammed-Habib Mazouni. Systems Dependability Assessment: Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Aubry, Jean François, Nicolae Brinzei, and Mohammed-Habib Mazouni. Systems Dependability Assessment: Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Aubry, Jean François, Nicolae Brinzei, and Mohammed-Habib Mazouni. Systems Dependability Assessment: Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Aubry, Jean François, Nicolae Brinzei, and Mohammed-Habib Mazouni. Systems Dependability Assessment: Benefits of Petri Net Models. Wiley & Sons, Incorporated, John, 2016.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Aubry, Jean François, and Nicolae Brinzei. Systems Dependability Assessment: Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Aubry, Jean François, and Nicolae Brinzei. Systems Dependability Assessment: Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Aubry, Jean François, and Nicolae Brinzei. Systems Dependability Assessment: Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Operating system dependability"

1

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.

Повний текст джерела
Анотація:
AbstractAs all conceptual layers in the software stack depend on the operating system (OS) to reliably provide resource-management services and isolation, it can be considered the “reliable computing base” that must be hardened for correct operation under fault models such as transient hardware faults in the memory hierarchy. In this chapter, we approach the problem of system-software hardening in three complementary scenarios. (1) We address the following research question: Where do the general reliability limits of static system-software stacks lie, if designed from scratch with reliability as a first-class design goal? In order to reduce the proverbial “attack surface” as far as possible, we harness static application knowledge from an AUTOSAR-compliant task set, and protect the whole OS kernel with AN-encoding. This static approach yields an extremely reliable software system, but is constrained to specific application domains. (2) We investigate how reliable a dynamic COTS embedded OS can become if hardened with programming-language and compiler-based fault-tolerance techniques. We show that aspect-oriented programming is an appropriate means to encapsulate generic software-implemented hardware fault tolerance mechanisms that can be application-specifically applied to a selection of OS components. (3) We examine how system-software stacks can survive even more adverse fault models like whole-system outages, using emerging persistent memory (PM) technology as a vehicle for state conservation. Our findings include that software transactional memory facilitates maintaining consistent state within PM and allows fast recovery.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Muppala, 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Andrzejczak, 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Friedrich, 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Kabashkin, 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Nazem 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Bauer, 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.

Повний текст джерела
Анотація:
AbstractRuntime/reconfigurable architectures based on Field-Programmable Gate Arrays (FPGAs) are a promising augment to conventional processor architectures such as Central Processing Units (CPUs) and Graphic Processing Units (GPUs). Since the reconfigurable parts are typically manufactured in the latest technology, they may suffer from aging and environmentally induced dependability threats. In this chapter, strategic online test methods for dependable runtime-reconfigurable architectures as well as cross-layer optimizations for high reliability and lifetime are developed. Firstly, two orthogonal online tests are proposed that ensure reliable configuration of the reconfigurable fabric and aid fault detection. Secondly, a novel design method called module diversification is presented that enables self-repair of the system in case of faults caused by degradation effects as well as single-event upsets in the configuration. Thirdly, a novel stress-aware placement method is proposed that aims for slowing down system degradation by aging effects. The combined methods ensure reliable operation across architectural and gate level and allow to prolong the lifetime of dependable runtime-reconfigurable architectures.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Dhiman, 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.

Повний текст джерела
Анотація:
The Internet of Things (IoT) specifies the connection of physical items that, for the purpose of sharing data and of interacting with other devices or systems through the Internet, include software, sensors, and other technologies. IoT equipment shares the sensor data it gathers with an IoT gateway or another peripheral device in which data are either referred to the cloud for local analysis. The combination of IoT and BlockChain opens the door for new possible experiences that reduce inefficiencies, enhance safety and expand the vision of all involved parties while enabling safe machine-to-machine transactions. Coupling these technologies makes it possible to trace a physical asset from the time, for instance, the mining of raw materials and between every stage of the supply chain to the end customer Internet of Things (IoT) connects the devices, objects through the internet using wireless technology. The proposed hybrid BlockChain solution offers several sorts of characteristics, including improved and more effective failure tolerance, improved system dependability, scalability and cheaper operating expenses.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Zacharaki, 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.

Повний текст джерела
Анотація:
Professional robots should be endorsed with great autonomy capabilities when designed for release into the market. The need for autonomy is further reinforced when robots are meant to be used for crisis management situations, where close collaboration with humans and trustworthy operation in hazardous environments is necessary. To this end, this article quantifies the system's autonomy by measuring its dependability. This is achieved by defining a qualitative metric system regarding the different levels of dependability that autonomous systems should retain in order to operate in various crisis situations. It provides a detailed analysis of each level of dependability and proposes the minimum requirements that should be fulfilled in each level, thus realizing a ranking system that outlines the overall system's ability to operate autonomously. The proposed analysis is applied on a real robotic prototype developed for crisis situations and evaluates the system's autonomy capabilities by qualitative assessing the levels of dependability it retains.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

"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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Operating system dependability"

1

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Vilcu, 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.

Повний текст джерела
Анотація:
Predictive modeling with neural networks (NN) can be successfully applied in designing quantitative and qualitative parameters for the performance of technical systems. Neural network modeling enables design engineers in safety of operation to iteratively and interactively test the parameters and evaluate the corresponding changes in system performance before physical realization. For this reason, NN is an efficient tool in designing systems. NN can also be used during system testing as additional tools to determine the optimal operating values of the parameters and to determine their tolerance. The novelty of this paper is the combination into compact algorithm of mathematical and neural techniques in the realization of the correlations of the safety operation parameters and in the optimization of the dependability system in order to support the production-quality strategies. If mathematical modeling is the basis for the optimization operation, providing multivariable functions that connect parameters dependent on the independent parameters of a technical system, function that can give extreme points for variables, useful values in operational management, neural modeling creates the instrument for validating the mathematical model, and, through its structural flexibility and its ability to "learn" with new sets of models, can be used independently in the dependability decision process. The paper defines the problems in the field of operational safety, proposes relations of correlation between its parameters, defines the production-quality strategies, the mathematical model and the neural model and applies this complex technique to experimental data sets provided by a technical system. Validation of models is based on experimental patterns and conclusions have been drawn.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Barbosa, 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Van 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.

Повний текст джерела
Анотація:
In today’s competitive and changing environment, it is crucial that pipelines and associated facilities create and sustain value for their stakeholders. This value can only be achieved by incorporating dependability into the pipeline system, in whole or in part. Dependability characteristics address not just availability and reliability as the probability of successful performance, but also identify other potential risk exposures such as degradation and wear-out that advocate the need for maintenance and logistic support to sustain “problem free” pipeline and facility operation. Dependability engineering provides practical means and measurable targets for achieving value, which are then implemented by sound operational risk assessment practices. Dependability management is needed to present viable business success options on risk avoidance, prevention, and mitigation; and where applicable, provides cost-effective risk treatments to support pipeline operation and enhance facility management. Characterizing the value of dependability focuses on two key issues: (1) what is the value of dependability, and (2) what is required to achieve it. This paper establishes a unified approach for understanding the dependability principles and practices, and enunciates how dependability value can be ascertained and assured in real life situations. It presents a general framework and provides implementation guidelines for ensuring that dependability value can be achieved in practical application for pipelines and facilities.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Theera-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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Shi, 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Xu, 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Risdon, 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.

Повний текст джерела
Анотація:
Maintenance is undergoing a major revolution. The management of maintenance is being impacted by business-driven changes that are forcing fundamental improvements to the maintenance function. Maintenance planning and execution are now considered as a strategic component of asset life cycle management. The link between maintenance and design is being furthered by placing emphasis on considering reliability and maintainability during the design phase. The application of Reliability-Centered Maintenance is becoming an important method for determining the optimum maintenance program for facility assets, while at the same time providing a solid foundation for triggering selective system improvements and design changes and managing life cycle cost and risk associated with assets. The concept of dependability provides the focus for integrating design, operations and maintenance into a coherent and complete life cycle approach to facilities. Dependability is strongly linked to quality standards since, for many companies, dependability is the major component of quality that has to be satisfied to meet customer needs. This paper describes the practical application of a quality approach to a gas transmission company which has recently undergone a reengineering of its design, operations and maintenance processes.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Herder, 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Zamyshlyaev, 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Operating system dependability" для конкретних типів джерел:
Статті в журналах Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії