Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis

Abstract

In this paper we present a novel analysis for complex safety-critical real-time systems involving component-based design and abstraction models. The analysis combines deterministic and probabilistic models for component interfaces; based on the bounded curves (deterministically or probabilistically). These results, through the usage of probabilities, can offer different degrees of realtime guarantees (hard or soft), given the system the safety-requirement, and specification. This analysis framework has the flexibility to cope with the different levels of safety-requirement; by acting on the probabilistic bounds and exploring the trade-off between the accuracy of the model and system over-provisioning. Through a case-study we intend to show how the probabilistic abstraction can efficiently and effectively address different degrees of safety requirements in the safety-critical real-time systems.