An integration Markov/CCMT analytics platform for dynamic reliability and risk analysis of
digital process control system is presented in the paper. The Markov/CCMT analytics …

The adoption process of innovative software-intensive technologies leverages complex trust
concerns in different forms and shapes. Perceived safety plays a fundamental role in …

The deployment of autonomous vehicles requires safety assurance and performance
guarantees of the developed system. However, this is complex due to the number of …

Deployment of SAE Level 3+ automated vehicles faces validation and certification
challenges due to uncertainty and state space size of the operating domain. We propose a …

There is an increasing demand for quantitative risk assessment tools capable of providing
safety assurances for autonomous vehicle control systems. This demand is due to the recent …

Unmanned ground combat vehicles are obligated to traverse safely to their destination in an
extensive variety of hazardous situations along with challenging terrains and the objective of …

An online evolving framework is proposed to support modeling the safe Automated Vehicle
(AV) control system by making the controller able to recognize unexpected situations and …

In this paper, we present an integration platform for dynamic reliability and probabilistic risk
analysis. The platform consists of four key components: i) simulationbased fault injection …

Today's control systems that are implemented on commercial vehicles are designed to
operate under nominal conditions with drivers, or pilots, typically handling off-nominal …