The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The objective of this article is to introduce researchers to the software engineering challenges of an industry that is important to many of the economies of East Asia -- shipbuilding. Research in software technologies critical to this industry has lagged that of software research in other domains.
Estimating software reliability is always a keen interest of researchers for last three decades due to day to day increase in software industry. Various Software Reliability Growth Models (SRGM) have been proposed to estimate software failure rate, number of faults remaining, and software reliability for the same. This paper describes the review of the various software faults, performance testing,...
Some domains, specially those of critical systems,require dependable software. Ensuring dependability is not atrivial problem. Model checking can be used to estimate thereliability of a software through models that represent thebehavior of the system. Through these models it is possible toestimate and measure quantitatively properties such as reliability.In the context of Software Product Lines (SPL),...
Service Component Architecture (SCA) is a recent approach and an industry standard for developing complex and distributed systems. Despite the growing research work it still lacks a formal basis for handling trust and reliability of quality-driven systems. In this paper we present main techniques and models for assuring quality and trustworthiness of component-based systems in general, and then we...
An instruction scheduling technique is presented that targets at improving the reliability of a software program given a user-provided tolerable performance overhead. A look-ahead-based heuristic schedules instructions by evaluating the reliability of dependent instructions while reducing the impact of spatial and temporal vulnerabilities of various processor components. Our reliability-driven instruction...
We are proposing a systematic approach to building reliable distributed applications. The main objective of this approach is to consider reliability from application inception to completion, adding reliability patterns along the lifecycle and in all architectural layers. We start by enumerating the possible failures of the application, considering every activity in the use cases of the application...
This abstract discusses our current work on the collection of patterns of dependability cases for a software/system lifecycle. We also describe a prototype implementation of a dependability case editor called D-Case Editor, which has a pattern selection function.
The reliability of automated system management solutions will increase in importance as the use of cloud computing and data centres expands. As part of a study to improve reliability, this paper provides a classification of faults that can occur in automated system management and proposes a method for determining the severity of such faults. A baseline deployment is compared with an alternate proposed...
Components can be assembled based on the Service-Oriented Architecture (SOA), which allows enterprises to specify their services in a finer granularity, thus the services can be expressed in a deeper and more comprehensive manner. This paper makes use of the formal description of the service component, the Hierarchical Automata, studies the importance factors of each component and roughly categorizes...
At current date the problem of how to build distributed and replicated software transactional memory (STM) to enhance both dependability and performance is still largely unexplored. This paper fills this gap by presenting D2STM, a replicated STM whose consistency is ensured in a transparent manner, even in the presence of failures. Strong consistency is enforced at transaction commit time by a non-blocking...
An emerging problem facing future high performance multi-core processors is transient faults caused by radiation, noise and other factors. These faults will likely make future multi-core processors less reliable as chip features shrink and the number of cores increase. To address this problem, we propose a new and practical systems approach of managing and allocating reliability according to software...
An emerging problem facing future high-performance embedded multi-core and network processors are transient faults caused by radiation, noise and other factors.These faults will likely make future multi-core processors less reliable as chip features shrink, voltages decrease, and the number of cores increase. To address this problem, we propose a systems approach of managing and allocating reliability...
This paper provides general design schemes for the dependable system especially long-term projects using commercial off the shelf (COTS) computers based on the concept we established for dependability. As computer technology has shown significantly rapid pace of evolution, it is necessary to take the evolution into consideration when we develop computer systems. Especially in a large-scale project,...
As information technology has spread into all kinds of systems, vulnerabilities in critical infrastructure have increased. Reasons for failing systems vary from the technical issues of new technology to the human aspects. Developing dependable complex and interconnected systems requires cooperation, rationality and analytical methods. Software development is mainly brainwork, and thus decision-making...
In a service-oriented architecture (SOA), the orchestration of services to new services and complex workflows is a common approach. Because the complexity and capability of the orchestrated services are increased, it is important to maintain and ensure the dependability attributes, e.g. availability and reliability, in such an environment. Today, most approaches focus on the needs during the creation...
When managing a complex information system for critical activities, reaching an high level of dependability is a key requirement. A central challenge is identifying a set of alternative system configurations to be enforced when particular system situations take place. In large systems, this task requires automation as the administrator can hardly cope with the complexity of all components and their...
Automated fault diagnosis is emerging as an important factor in achieving an acceptable and competitive cost/dependability ratio for embedded systems. In this paper, we survey model-based diagnosis and spectrum-based fault localization, two state-of-the-art approaches to fault diagnosis that jointly cover the combination of hardware and control software typically found in embedded systems. We present...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.