Nowadays VoIP has become an evolutionary technology in telecommunications. Hence it is very important to study and enhance its dependability attributes. In this paper, an analytical dependability model for VoIP is proposed. The study is focused on analyzing the combined effects of resource degradation and security breaches on the Quality of Service (QoS) of VoIP, to enhance its overall dependab...

This paper introduces dependability gauges, which measure dependability properties of dynamically evolving systems. The general concept is illustrated by explaining the details of a fault tolerance gauge that we have implemented.

Systems engineering emphasizes the need of dependability in present and future computer systems. Even classical research environment on safety-critical systems have moved from reliability, safety, availability to dependability engineering as classical engineering approaches are moving from components to systems design. The 18 International Conference on Computer Safety, Reliability and Security...

Planners are central to the notion of complex autonomous systems. They provide the flexibility that autonomous systems need to be able to operate unattended in an unknown and dynamically-changing environment. However, they are notoriously hard to validate. This paper reports an investigation of how redundant, diversified models can be used as a complement to testing, in order to tolerate residu...

Dependability and security are flip sides of the same coin – linked conceptually though differing in process! Both arise from the occurrence of design or operational “deficiencies” in a system though differ in the processes of invocation of these deficiencies. Security issues often pertain to the intentional abuse of these deficiencies (vulnerabilities) to perturb the system operations; dependa...

Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems. Then statistical model checking is used to analyze the dependability of the constructed model. Our verification framework allows users to express a wide r...