Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Cyber-physical systems are slowly emerging to dominate our world. Cyber-physical systems (CPS) are systems that tightly integrates users, devices and software. Whereas many of these systems are obviously safety-critical systems, some of them become so under special circumstances. This is the case with our focus CPS, i.e. building management systems (BMS), which are not always safety critical per se,...
The loading of lines indicates the quality and reliability of the system. If it increases beyond 100%, the reliability of power system is diminished. This factor is taken care of while comparing results of different cases using power world simulator software. Sometimes these factors become contradictory to each other so much that if the minimization of one factor is attempted, the other factor maximizes...
The decreasing size of transistors has been critical to the increase in capacity of supercomputers. The smaller the transistors are, less energy is required to flip a bit, and thus silent data corruptions (SDCs) become more common. In this paper, we present FlipBack, an automatic software-based approach that protects applications from SDCs. FlipBack provides targeted protection for different types...
With the increasing role of software in every field, concern has grown over the quality of software products. One such measure of software quality is the reliability, which is the probability of failure-free operation of a computer program in a specified environment for a specified time. Prior to the release of software, failure data are obtained during testing, using which, future reliability of...
To improve software reliability, many rule-based techniques have been proposed to infer programming rules and detect violations of these rules as bugs. These rule-based approaches often rely on the highly frequent appearances of certain patterns in a project to infer rules. It is known that if a pattern does not appear frequently enough, rules are not learned, thus missing many bugs. In this paper,...
We propose that understanding functional patterns of activity in mapped brain regions associated with code comprehension tasks and, more specifically, to the activity of finding bugs in traditional code inspections could reveal useful insights to improve software reliability and to improve the software development process in general. This includes helping to select the best professionals for the debugging...
Configuration options are widely used for customizing the behavior and initial settings of software applications, server processes, and operating systems. Their distinctive property is that each option is processed, defined, and described in different parts of a software project - namely in code, in configuration file, and in documentation. This creates a challenge for maintaining project consistency...
A large number of software reliability growth models have been developed since early 1970s, but there is no single model which can be used in every situation. Predicting software availability based on test defect data can be challenging. This paper provides a methodology to approach it. The proposed approach has been successfully implemented for key telecommunication products over several years. A...
Code clones, being an inevitable by-product of rapid software development, can impact software quality. The introduction of code clone groups and clone genealogies enable software developers to be aware of the presence of and changes to clones as a collective group, they also allow developers to understand how clone groups evolve throughout software life cycle. Due to similarity in codes within a...
Assessing reliability of software programs during validation is a challenging task for engineers. The assessment is not only required to be unbiased, but it needs to provide tight variance (hence, tight confidence interval) with as few test cases as possible. Statistical sampling is a theoretically sound approach for reliability testing, but it is often impractical in its current form, because of...
People's personality has the potential to explain the behavior in different situations. This understanding of the behavior is required to understand the intricacies of the team, which can then be used to optimize work performance. As an initial step towards optimizing work performance, in this paper, we explore the inferential power of the personality traits in explaining the behavior of contributors...
Static analysis tools are widely used in practice to improve the quality and reliability of software through early detection of defects. However, the number of alarms generated is a major concern because of the cost incurred in their manual inspection required to partition them into true errors and false positives. In this paper, we propose a static analysis to identify the causes of alarms generated...
Fundamentals of diversity and multi-version systems (MVS) are overviewed. Main concepts and taxonomy of multi-version computing, methods of diversity assessment and technologies of development are analyzed. Principle D3 (Defense-in-Depth&Diversity) is researched using FTA (failure tree analysis) to understand its influence on safety and security considering physical, design faults and attacks...
Development of complex program software of automated control systems is connected with essential expenses. Failure of the software can lead to control system fail as a whole and to connected with these economic or other losses. Ways of rational decrease in expenses and losses are given in this article. In article three questions are considered: Problem definition of optimization of reliability of...
The evaluation model of the software reliability is implemented on the basis of artificial intelligence methods, using artificial neural networks. On entry of the model the debugging time is served, on return the outlook the value of the failure rate is formed. For the model implementation a special type of neural network — a vertically-layered neural network is worked out. The model accuracy is increasing...
The application of digital instrumentation and control systems in Nuclear Power Plants (NPPs) provides a series of advantages, but it also raises challenges in the reliability analysis of safety-critical systems in the NPPs. Software testing is one of the most significant processes to assure software reliability, and the safety-critical systems of NPPs are sensitive to the severity of software faults,...
An unconventional software testing method, fault injection based on fault model, is enhanced to improve the software reliability testing and measurements. Dynamic fault models for injecting faults through software are investigated and reported in this paper including memory faults, CPU faults and communication fault models. Dynamic fault models can be used to simulate influences which are caused by...
The present paper deals with the study of a Software-Hardware system under the consideration of software and hardware failures. The concept of degradation is considered for both the Software and Hardware components. For improving the degradation in the performance of Software and Hardware, we have supposed some maintenance policies in the Software as well as Hardware components. To enrich and improve...
Human's computation power can be harnessed using the so-called Cyber-Physical-Social System (CPSS), which contains a mix of human-based and machine-based compute units. The inherent problem of human-based computation is its exposure to inevitable human errors; hence, it is not trivial to obtain a reliable CPSS. In contrast, many works for obtaining reliable machine-based system have been carried out...
Safety critical systems often rely on hardware only solutions because there exist well-established, consistent, repeatable processes for measuring hardware reliability. But as systems become more complex, incorporating software into safety critical systems is an attractive option. Previously we demonstrated a method to specify provably correct software modules for use in hardware/software safety critical...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.