Blockchain technology has gained prominence over the last decade. Numerous achievements have been made regarding how this can be utilized in different aspects of industry, market, and governmental departments. Due to safety-critical security-critical nature their uses, it is pivotal model dependability blockchain-based systems. In study, we focus on Bitcoin, a peer-to-peer cryptocurrency system...

As wireless networks are increasingly deployed in the enterprise and other environments and such trends are expected to intensify with the emergence of high performance wireless networks, an important and emerging area of research is the dependability of wireless networks. Although, the dependability problem also arises in wireline counterparts, user mobility, location and link dependence, and ...

There are numerous metrics proposed to assess security and dependability of technical systems (e.g., number of defects per thousand lines of code). Unfortunately, most of these metrics are too low-level, and lack on capturing highlevel system abstractions required for organisation analysis. The analysis essentially enables the organisation to detect and eliminate possible threats by system re-o...

Embedded systems of today pose difficult dependability challenges. Hardware and software requirements as well as human interface components all contribute to or detract from the overall dependability of a system. Assigning a ‘dependability number’ to a system is becoming increasingly subjective due to the confluence of these three areas. In particular it is important to go beyond composing indi...

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, the major challenge in using CBD will be predicting dependability attribut...

Methods of software dependability engineering can be divided into two groups methods to improve the software dependability and methods to predict the reached degree of software dependability. Among those methods, which aim at the improvement of software dependability, the Petri net based validation techniques to avoid faults during the development phase have attract a lot of attention in the la...

For many critical systems, in addition to satisfying functional requirements it is important also to address qualities such as performance, availability and safety, which are attributes of dependability. Engineering practice has shown that it is impossible to achieve all dependability requirements without compromise. The satisfaction of requirements depends on design decisions during system evo...

Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deployment mappings involving multiple services, i.e. mapping service components in the software architecture to the underlying platforms for best possible execution. We capture important non-functional requirements of distributed se...