Presents recent developments of probabilistic assessment of systems dependability based on stochastic models, including graph theory, finite state automaton and language theory, for both dynamic and hybrid contexts
Les études de sûreté de fonctionnement (SdF) sont en général basées sur l’hypothèse d’indépendance d...
We demonstrate how probabilistic model checking, a formal verification method for the analysis of sy...
This research manuscript presents a novel method for computing the risk, safety and reliability asso...
For many physical systems (e.g., computer systems, computer networks, industrial plants, etc.) one o...
As modern hardware and software systems are be-coming more complex and at the same time required to ...
Dependability evaluation main objective is to assess the ability of a system to correctly function o...
The new technology and system communication advances are being employed in any system, being more co...
International audienceThe systems modelling and the assessment of their performances are the two key...
The increasing importance of safety-critical fault-tolerant systems causes the need of quantitativel...
Security is a topic of ever increasing interest. Today it is widely accepted that, due to the unavoi...
Do you need to know what technique to use to evaluate the reliability of an engineered system? This ...
Dependability models of complex distributed systems using Markovian techniques suffer from state spa...
There is a need to quantify system properties methodically. Dependability and security models have e...
Availability assessment is of paramount importance to guarantee uninterrupted operation of a variety...
The dependability assessment is a crucial activity for determining the availability, safety and main...
Les études de sûreté de fonctionnement (SdF) sont en général basées sur l’hypothèse d’indépendance d...
We demonstrate how probabilistic model checking, a formal verification method for the analysis of sy...
This research manuscript presents a novel method for computing the risk, safety and reliability asso...
For many physical systems (e.g., computer systems, computer networks, industrial plants, etc.) one o...
As modern hardware and software systems are be-coming more complex and at the same time required to ...
Dependability evaluation main objective is to assess the ability of a system to correctly function o...
The new technology and system communication advances are being employed in any system, being more co...
International audienceThe systems modelling and the assessment of their performances are the two key...
The increasing importance of safety-critical fault-tolerant systems causes the need of quantitativel...
Security is a topic of ever increasing interest. Today it is widely accepted that, due to the unavoi...
Do you need to know what technique to use to evaluate the reliability of an engineered system? This ...
Dependability models of complex distributed systems using Markovian techniques suffer from state spa...
There is a need to quantify system properties methodically. Dependability and security models have e...
Availability assessment is of paramount importance to guarantee uninterrupted operation of a variety...
The dependability assessment is a crucial activity for determining the availability, safety and main...
Les études de sûreté de fonctionnement (SdF) sont en général basées sur l’hypothèse d’indépendance d...
We demonstrate how probabilistic model checking, a formal verification method for the analysis of sy...
This research manuscript presents a novel method for computing the risk, safety and reliability asso...
DOI
Add to ORKG