Add to ORKGIn order to detect bugs in the temporal behavior of real-time systems (i.e., discrepancies between the theoretical and the actual behavior), measurements of the running system can be taken. These measurements must then be compared with the specifications and the model used to analyze the feasibility of system. This comparison, which is straightforward when a deterministic model is used, becomes more difficult when probabilistic constraints and models are used. In this paper we discuss this problem and explore some solutions. We propose two heuristic metrics, optimism and pessimism, and show, by means of a case study, how they help in finding bugs. 1
Probabilistic model checking is a formal verification technique for systems that exhibit stochastic ...
Static Timing Analysis is the state-of-the-art practice to ascertain the timing behaviour of current...
International audienceDuring the last twenty years different design solutions have been proposed for...
In order to detect bugs in the temporal behavior of real-time systems (i.e., discrepancies between t...
In real-time systems, temporal behaviour is as important as functional behaviour, so several techniq...
Stochastic analysis techniques for real-time systems model the execution time of tasks as random var...
Debugging is a search process to find, understand and fix the root cause of software defects. Can de...
In probabilistic real-time modeling, diverse task execution conditions can be characterized with pro...
[[abstract]]Software-testing (debugging) is one of the most important components in software develop...
Monitoring allows for checking if a system fulfils its requirements at runtime. This is required for...
This survey covers schedulability analysis techniques for probabilistic real-time systems. It review...
To date, software engineers charged with debugging complex software packages have had few automated ...
Probability features increasingly often in software and hardware systems: it is used in distributed ...
Of all software development activities, debugging—locating the defective source code statements that...
Python implementation of a parametric probabilistic model-checking approach Description The verifica...
Probabilistic model checking is a formal verification technique for systems that exhibit stochastic ...
Static Timing Analysis is the state-of-the-art practice to ascertain the timing behaviour of current...
International audienceDuring the last twenty years different design solutions have been proposed for...
In order to detect bugs in the temporal behavior of real-time systems (i.e., discrepancies between t...
In real-time systems, temporal behaviour is as important as functional behaviour, so several techniq...
Stochastic analysis techniques for real-time systems model the execution time of tasks as random var...
Debugging is a search process to find, understand and fix the root cause of software defects. Can de...
In probabilistic real-time modeling, diverse task execution conditions can be characterized with pro...
[[abstract]]Software-testing (debugging) is one of the most important components in software develop...
Monitoring allows for checking if a system fulfils its requirements at runtime. This is required for...
This survey covers schedulability analysis techniques for probabilistic real-time systems. It review...
To date, software engineers charged with debugging complex software packages have had few automated ...
Probability features increasingly often in software and hardware systems: it is used in distributed ...
Of all software development activities, debugging—locating the defective source code statements that...
Python implementation of a parametric probabilistic model-checking approach Description The verifica...
Probabilistic model checking is a formal verification technique for systems that exhibit stochastic ...
Static Timing Analysis is the state-of-the-art practice to ascertain the timing behaviour of current...
International audienceDuring the last twenty years different design solutions have been proposed for...