Achieving system-level dependability is a demanding task. The manifold requirements and dependability threats can no longer be statically addressed at individual abstraction layers. Instead, all components of future multi-processor systems-on-chip (MPSoCs) have to contribute to this common goal in an adaptive manner. In this paper we target a generic heterogeneous MPSoC that combines general pu...

More and more embedded systems operate in safety-critical areas and have to cope with destructive agents present at their mounting spaces. As a result, dependability has become an objective of major importance. In this work, an automatic costaware embedded system-level design methodology is presented that contributes a) effective dependability analysis techniques, b) the usage of dependability-...

In traditional development processes, each type of analysis is generally based on a dedicated model, which requires substantial amount of training to be used effectively. Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This...

Defect and fault seeding is often considered for gathering empirical estimates within reliability models. Traditional defect seeding is fraught with difficult to resolve validity concerns when attempting to estimate true defect and fault populations. With dependability benchmarking we are less concerned about true defect and fault estimates, rather we wish to compare the relative effectiveness ...

Our paper presents a novel approach for identifying the key infrastructural factors determining the behavior of systems in the presence of faults by the application of intelligent data processing methods on data sets obtained from dependability benchmarking experiments. Our approach does not rely on a-priori assumptions or human intuition about the dominant aspects enabling this way the investi...

The migration from mobile to ubiquitous Internet is at hand, due to the intense growth of short range wireless technologies. Users accessing the Internet through wireless devices are increasing, if compared to “wired” ones, and they expect the same dependability level they already experience on wired networks, that is high quality “always on” wireless networks. But how can we analyze the depend...

In this paper, we suggest a framework for security and dependability metrics that is based on a number of non-functional system attributes. The attributes are the traditional security attributes (the “CIA”) and a set of dependability attributes. Based on a system model, we group those attributes into protective attributes and behavioural attributes and propose that metrication should be done in...

Two important questions on experimental dependability evaluation remain largely unanswered: 1) how to analyze the usually large amount of raw data produced in dependability evaluation experiments and 2) how to compare results from different experiments or results from similar experiments across different systems. These problems are also common to other dependability evaluation techniques such a...

The conceivable development of communication and information technology opens up fascinating perspectives, which move far beyond current standards of mechatronics: mechatronic systems having inherent partial intelligence – the so-called self-optimizing systems. The design of dependable selfoptimizing systems is challenging. On the one hand, it is challenging due to complexity of such systems an...

A method is proposed for the formal analysis of failure mode assumptions and for the evaluation of the dependability of systems whose design correctness is conditioned on the validity of such assumptions. Formal definitions are given for the types of errors that can affect items of service delivered by a system or component. Failure mode assumptions are then formalized as assertions on the type...