Traditional reliability analysis methods such as Reliability Block Diagram, Fault Tree
Analysis, and Markov Analysis are all subjective methods whose results significantly depend …

Nowadays, computers are used in almost every domain. The dependency on computer
systems increases rapidly. The failure or unavailability of such systems leads to …

Powered by the Internet and the ever-increasing level of informatization, the cyberspace has
become increasingly complex and its security situation has become increasingly grim, which …

With the increasing intensity of ship missions, the mission reliability requirements of various
ship systems are getting higher. Especially the new reconfigurable ship electronic …

With rapid technological advances in airborne control systems, it has become imperative to
ensure the reliability, robustness, and adaptability of airborne software since failure of these …

Cyber-physical systems (CPSs) are becoming increasingly important in safety-critical
systems. Particular risk analysis (PRA) is an essential step in the safety assessment process …

Many complex embedded systems are Mixed-Criticality Systems (MCSs). MCSs are often
required to operate with the specified criticality level, but they may be subject to hazards that …

Abstract BIP (Behavior-Interaction-Priority) is a component-based framework supporting
rigorous design of complex systems. Systems are modelled by a set of components and …