With our increasing dependency on computer-based systems, ensuring their dependability becomes one the most important concerns during system development. This is especially true for missionand safety-critical systems. Critical systems typically use fault tolerance mechanisms to mitigate run-time errors. However, fault tolerance modelling and, in particular, rigorous definitions of fault toleran...

Cloud Computing, with its great potentials in low cost and on-demand services, is an auspicious computing platform for both commercial and non-commercial computation clients. Cloud Computing aims to provide reliable services within data centres that contain servers, storage and networks. The services are delivered to the users transparently without their need to know the details of the underlyi...

Many critical real-time applications are implemented as time-triggered systems. We present a systematic way to derive such time-triggered implementations from algorithms specified as functional programs (in which form their correctness and fault-tolerance properties can be formally and mechanically verified with relative ease). The functional program is first transformed into an untimed synchro...

Respiratory homeostasis is fine-tuned system largely dependent on the clearance of inhaled substances from both upper and lower airways. The least studied alveolar clearance, which, however, crucial for proper lung function requires a detailed examination in order to improve accuracy diagnosis treatment diseases. Here, I analysed relevant literature publicly available databases (Index Medicus, ...

In embedded systems development safety and reliability are important quality characteristics. Fault tree analysis is often used to determine these characteristics. Generalized fault trees improve the readability and thus prevent the insertion of bugs, e.g., during manual modification. Fault tree analyses are usually performed manually. Taking into account the high complexity of large, technical...

The characteristics of near-fault ground motion are investigated considering heterogeneous slip distribution on the fault plane. Areas on the fault plane with large slip in compare with the average slip on the fault are known as asperity. The characteristics of strong ground motions in near-fault area are strongly affected by faulting parameters such as asperity location, maximum slip of asperi...

A safety-critical system needs fault-tolerant communication between its components. This is especially important for automotive domain, as it consists of distributed real-time systems that are based on the results of the communication. To realize distributed systems with predictable time behavior the time-triggered paradigm is used. According to this paradigm, a time-triggered communication pro...

All real time tasks which are termed as critical tasks by nature have to complete its execution before its deadline, even in presence of faults. The most popularly used real time task assignment algorithms are First Fit (FF), Best Fit (BF), Bin Packing (BP).The common task scheduling algorithms are Rate Monotonic (RM), Earliest Deadline First (EDF) etc.All the current approaches deal with eithe...

[1] We use numerical simulations to investigate how fault zone dilatancy and pore fluid decompression influence fault strength and friction constitutive behavior. Dilatant hardening can change the frictional response and the effective critical stiffness, Kcr, which determines the transition from stable to unstable sliding in velocity weakening fault zones. We study the frictional shear strength...

| Fault-tolerant clock synchronization is an important requirement in many distributed systems, especially in time-critical and safety-critical applications. Frequently, interactive convergence algorithms are used for fault-tolerant clock synchronization, providing advantages such as fully-distributed operation, low message exchange overhead and simplicity of implementation. This paper presents...