Add to ORKGStochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems. Then statistical model checking is used to analyze the dependability of the constructed model. Our verification framework allows users to express a wide range of useful properties to be verified which is illustrated through a case study
As modern hardware and software systems are be-coming more complex and at the same time required to ...
Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliabl...
This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can...
Stochastic Petri nets are commonly used for modeling distributed systems in order to study their per...
International audienceThe systems modelling and the assessment of their performances are the two key...
We demonstrate how probabilistic model checking, a formal verification method for the analysis of sy...
International audienceTransaction-level modeling with SystemC has been very successful in describing...
Dependability models of complex distributed systems using Markovian techniques suffer from state spa...
Dependability evaluation main objective is to assess the ability of a system to correctly function o...
The use of formal methods for specification and analysis of dependable systems is considered a promi...
This tutorial covers motivation, use, and advantages of sto-chastic Petri nets as a tool for reliabi...
International audienceThis paper presents a stepwise approach for dependability modeling, based on G...
Transaction-level modeling with SystemC has been very successful in describing the behavior of embed...
This paper explores the possibility of converting Fault Trees (FT) into the Generalized Stochastic P...
In this paper we present on the distributed performance evaluation and model checking of systems spe...
As modern hardware and software systems are be-coming more complex and at the same time required to ...
Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliabl...
This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can...
Stochastic Petri nets are commonly used for modeling distributed systems in order to study their per...
International audienceThe systems modelling and the assessment of their performances are the two key...
We demonstrate how probabilistic model checking, a formal verification method for the analysis of sy...
International audienceTransaction-level modeling with SystemC has been very successful in describing...
Dependability models of complex distributed systems using Markovian techniques suffer from state spa...
Dependability evaluation main objective is to assess the ability of a system to correctly function o...
The use of formal methods for specification and analysis of dependable systems is considered a promi...
This tutorial covers motivation, use, and advantages of sto-chastic Petri nets as a tool for reliabi...
International audienceThis paper presents a stepwise approach for dependability modeling, based on G...
Transaction-level modeling with SystemC has been very successful in describing the behavior of embed...
This paper explores the possibility of converting Fault Trees (FT) into the Generalized Stochastic P...
In this paper we present on the distributed performance evaluation and model checking of systems spe...
As modern hardware and software systems are be-coming more complex and at the same time required to ...
Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliabl...
This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can...