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.
In this paper we take a closer look at the operation of software defined networking (SDN) in intra-domain networks. The focus is on the dependability issues related to interworking of SDN controllers, network OS (NOS), and forwarding in the data plane. Both the separation of the control and data planes, and the (virtually) centralized control processes, are challenging from a dependability perspective...
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.
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),...
Most of the links in future wireless communication networks will be established over relatively short distances. This new direction in wireless communication is adopted and being developed by embedded multimedia applications leaders. Moreover, these short range communications are introduced into critical applications, where the dependability/reliability is mandatory. Thus, dependability concerns around...
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...
Wireless Sensor Networks (WSNs) comprise embedded sensor nodes that operate autonomously in a multi-hop topology. The challenges are unreliable wireless communications, harsh environment, and limited energy and computation resources. To ensure the desired level of service, it is essential to diagnose performance issues e.g. due to low quality links or energy depletion. This paper presents remote diagnostics...
Embedded systems in automobiles become increasingly complex as they are intended to make vehicles even more safe, comfortable, and efficient. International norms like ISO 26262 and IEC 61165 postulate methods for the development and verification of safety critical systems. These standards should ensure that the dependability and quality of the embedded systems is maintained while their complexity...
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...
Control [3] systems for modern rolling stock, have progressively utilised computer systems to take advantage of their flexibility and a reduction in production costs when compared to implementing the same functions in hardware. Increasingly, many of these systems are performing functions which are safety-related and, therefore, failures which create intolerable hazards cannot be allowed. Such defects...
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...
Designers of embedded systems have traditionally optimized circuits for speed, size, power and time to market. Recently however, the dependability of the system is emerging as a great concern to the modern designer with the decrease in feature size and the increase in the demand for functionality. Yet another crucial concern is the security of systems used for storage of personal details and for financial...
As cyberspace has evolved into a large, dynamic, and tangled web of computing devices, engineers often fail to design in dependability properties-such as stability, robustness, and security-at the system level. Consequently, unintentional and malevolent actions taken in cyberspace have affected critical infrastructures in the physical world. These disturbances and systems' resultant undependable behavior...
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...
Component-based development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and potential for achieving high quality of components by virtue of reuse. However, for systems with dependability concerns, such as real-time systems, a major challenge in using CBD consists of predicting dependability attributes,...
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.