Integrating more than one hard real-time devices while making sure real-time demands is an intricate task. Model-based approaches are available for aiding developers with validating real-time requirements. Hereby, a developer identifies (expected) execution timings, like the Worst Case Execution Time (WCET). These
Probabilistic Risk Assessment (PRA) is a methodology consisting of techniques to assess the probability of failure or success of a system. In many modern technological systems, especially safety critical systems such as space systems, nuclear power plants, medical devices, defense systems, etc,
Software plays an increasingly important role in modern safety-critical systems. Although research has been done to integrate software into the classical Probability Risk Assessment (PRA) framework, current PRA practice overwhelmingly neglects the contribution of software to system risk. The objective of this