Dependability is getting a more important non-functional property of a system. Measuring and predicting the dependability is especially important for autonomous or semi-autonomous and safety-critical systems. Since, at least for (semi-) autonomous systems, those systems are usually described by their behavior, a definition for dependability based on the behavior of the system is evident. In thi...

Dependability cases are a concept that has primarily emerged from safety cases. A dependability case constitutes a clear, defensible, and traceable argument that a system is acceptably dependable to operate in a given operational context. This includes any requirements that are crucial to the stakeholders’ envisioned system operation. A dependability case can be thought of as a driver communica...

Part B: The SERENITY Security and Dependability Artefacts 4 Specification of Security and Dependability Properties Sigrid Gürgens and Gimena Pujol.............................................49 5 Representation of Security and Dependability Solutions Francisco Sánchez-Cid, Antonio Maña, George Spanoudakis, Christos Kloukinas, Daniel Serrano and Antonio Muñoz......... .........69 6 Security and ...

Dependability is the system property that integrates such attributes as reliability, availability, safety, security, survivability, maintainability. The aim of the presentation is to summarize the fundamental concepts of dependability. After a historical perspective, definitions of dependability are given. A structured view of dependability follows, according to a) the threats, i.e., faults, er...

In this research, we are developing a design framework for integrating dependability analysis into the distributed, heterogeneous, fault-tolerant real-time system design process. We focus on two dependability attributes: reliability and availability. We are implementing this framework on top of existing systems for the design of distributed, real-time systems such as TimeWiz (Ref. 4). This will...

A proole-dependent \dependability" for software can be deened using a functional proole (a set of input-space subdomains breaking down the behavior of a component according to its speciication { these are the subdomains used in the usual \functional testing"). It is argued that measurements of dependability using the squeeze play (1) are proole dependent in general; but, (2) when the proole is ...

The dependability of a system is particularly important when dealingwith autonomous or semiautonomous systems. With an increasing degree of autonomy and safety requirements, the requirements for dependability increase. Hence, being able to measure and compare the dependability of a system is more and more inevitable. Since autonomous mobile systems are usually described by their behavior it is ...

Dependability is a composite property consisting of attributes such as reliability, availability, safety and security. The achievement of these attributes is often essential for the operational success of systems undertaking critical and complex tasks. Assurance that the final system will demonstrate the required dependability qualities, can be crucial to the acceptance of the system into servi...