Safety is a system property, hence the high-level safety requirements are incorporated into the implementation of system components. In this paper, we propose an optimized traceability analysis method which is based on the means-ends and whole-part concept of the approach for cognitive systems engineering to trace these safety requirements. A system consists of hardware, software, and humans ac...

Abstract The implementation of Intelligent Transport System (ITS) technology is expected to significantly improve road safety and traffic efficiency. One the key components ITS precise vehicle positioning. Positioning with decimetre sub-metre accuracy a fundamental capability for self-driving, other automated applications. Global Navigation Satellite (GNSS) Precise Point (PPP) an attractive pos...

Recent developments in safety-critical systems have heightened the need for hazard analysis because results of their accidents have become more and more serious. Traditional hazard analysis techniques, such as fault tree analysis (FTA) or failure mode and effects analysis (FMEA), have been extensively used for decades. However, traditional techniques are not suitable for modern systems which ar...

This paper presents a new state space generation approach for dynamic fault trees (DFTs) together with a technique to synthesise failures rates in DFTs. Our state space generation technique aggressively exploits the DFT structure — detecting symmetries, spurious non-determinism, and don’t cares. Benchmarks show a gain of more than two orders of magnitude in terms of state space generation and a...

System reliability analysis refers to the evaluation of the reliability of a system based on the reliabilities of its elements. Several methods can be applied to the system reliability analysis, such as reliability graph, fault tree analysis, Markov chain, and Monte Carlo simulation. Each method has its own characteristics, merits and demerits. Among the existing methods, the fault tree analysi...

In this age of data and knowledge, Cloud, Grid and P2P systems are becoming common and advanced. Due to heterogeneous and distributed nature, Grid becomes more vulnerable to faults. Trace files are great way of storing and collecting fault and workload information from the system. FTA (Fault Trace Archive) and GWA (Grid Workload Archive) are two such trace files. Previously FTA and GWA have bee...