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.
This Position Paper addresses some problems and challenges in safety assessment of current Critical Infrastructures introduced by system complexity and by the current 'safety process framework' adopted in most high risk domains.
Software frameworks are constantly evolving, either by the introduction of new product features, bug fixes or new technology adoption. During the evolution of a framework, new exceptional conditions arise, requiring that exception handling strategies be constantly revisited. However, introducing exception handling changes in a software framework project is far from trivial. Exception handling elements...
Many of the problems found in the uses of exception handling are caused by the lack of testing and a priori design of the exceptional behavior. As a consequence, exceptions flow in unforeseen ways during the execution of a software system, causing a negative impact on reliability. This paper presents a new agile approach to test the exceptional behavior of a system. It supports developers in checking...
Checking the conformance between implementation and design rules is an important activity to guarantee quality on architecture and source code. To address the current needs of dependable systems it is also important to define design rules related to the exception handling behavior. The current approaches to automatically check design rules, however, do not provide suitable ways to define design rules...
In this paper, we present a exception-flow analysis tool, called eFlow Mining, that automates the process of gathering and visualizing exception-handling constructs in multi-programming languages. More specifically, the current version of eFlow Mining focuses on code written using the .NET framework to help developers in inspecting applications either to improve them or to understand their exception...
Service-Oriented Architecture is an architectural model that aims to enhance the efficiency, agility, and productivity of an enterprise by structuring services in terms of services compositions, which can be executed either synchronously or asynchronously. Such architectures should meet the main dependability requirements (e.g. high availability, high reliability). The objective of this work is to...
Web services are widely used as software components that must provide a robust interface to client applications. Robustness testing is an approach particularly suitable for detecting robustness issues in web services. In fact, several research works have been conducted in the past leading to the proposal of different robustness testing techniques for such environments. However, although of utmost...
In the last decade, a large body of research has been dedicated to the analysis, assessment and protection of critical infrastructures against potential threats that might affect the dependability, the security or the resilience of the services supported by such infrastructures. The concept of resilience is receiving increased attention. It is defined as the persistence of service delivery that can...
The development of dependable context-aware applications represents a major challenge to software engineers of contemporary systems. In this context, this position paper proposes the definition of a Context-Aware Exception Handling Mechanism to be incorporated into the Mid Sensor Net, a middleware of multi-tier services for Wireless Sensor Networks(WSNs) that provides a expressive and flexible mechanism...
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.