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
Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliabl...
Performing dependability evaluation along with other analyses at architectural level allows both pre...
As modern hardware and software systems are be-coming more complex and at the same time required to ...
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...
International audienceTransaction-level modeling with SystemC has been very successful in describing...
We demonstrate how probabilistic model checking, a formal verification method for the analysis of sy...
Performing dependability evaluation along with other analyses at architectural level allows both pre...
Dependability evaluation main objective is to assess the ability of a system to correctly function o...
Dependability models of complex distributed systems using Markovian techniques suffer from state spa...
Dans le contexte des systèmes commandés, l’effort de recherche est principalement porté sur la recon...
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...
L'étude de la sûreté de fonctionnement des systèmes d'automatisation est un sujet qui nécessite la p...
The use of formal methods for specification and analysis of dependable systems is considered a promi...
Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliabl...
Performing dependability evaluation along with other analyses at architectural level allows both pre...
As modern hardware and software systems are be-coming more complex and at the same time required to ...
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...
International audienceTransaction-level modeling with SystemC has been very successful in describing...
We demonstrate how probabilistic model checking, a formal verification method for the analysis of sy...
Performing dependability evaluation along with other analyses at architectural level allows both pre...
Dependability evaluation main objective is to assess the ability of a system to correctly function o...
Dependability models of complex distributed systems using Markovian techniques suffer from state spa...
Dans le contexte des systèmes commandés, l’effort de recherche est principalement porté sur la recon...
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...
L'étude de la sûreté de fonctionnement des systèmes d'automatisation est un sujet qui nécessite la p...
The use of formal methods for specification and analysis of dependable systems is considered a promi...
Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliabl...
Performing dependability evaluation along with other analyses at architectural level allows both pre...
As modern hardware and software systems are be-coming more complex and at the same time required to ...