Structured models of systems allow us to determine their reliability, yet there are numerous challenges that need to be overcome to obtain meaningful results. This paper reports the results and approach used to model and analyze the Anti-lock Braking System of a passenger vehicle using Stochastic Petri Nets. Special emphasis is laid on modeling extra-functional characteristics like coincident failures among components, severity of failure and usage-profiles of the system. Components generally interact with each other during operation, and a faulty component can affect the probability of failure of other components. The severity of a failure also has an impact on the operation of the system, as does the usage profile- failures which occur du...
This tutorial covers motivation, use, and advantages of sto-chastic Petri nets as a tool for reliabi...
As air traffic over France is growing rapidly, the existing Air Traffic Control (ATC) system has to ...
The research aims to build a behavioral models of electrical power systems through the use of Petri ...
The increasingly ubiquitous use of embedded systems to manage and control our technologically (ever-...
AbstractRedundant techniques are widely adopted in vehicle management computer (VMC) to ensure that ...
Current methods in combining Petri net modeling with fault tree analysis for systems failure and saf...
Abstract For a manufacturer, a good component is one that fails one day after the warranty expires....
International audienceThe systems modelling and the assessment of their performances are the two key...
AbstractActuation system is a vital system in an aircraft, providing the force necessary to move fli...
Several versions of a benchmark on dynamic reliability taken from the literature are examined: each ...
The aim of the work presented in this dissertation is to guarantee that the increasing complexity of...
International audienceAccording to the IEC 61508 functional safety standard, it is required to estim...
Abstract: This paper presents a new stochastic point process able to analyse the failure pattern of ...
2014PDFTech ReportNUTC R346Project #00042531DTRT06-G-0014Intelligent transportation systemsStochasti...
In this paper we consider the brake system of a vehicle whose wheels are equipped with Anti-lock Bra...
This tutorial covers motivation, use, and advantages of sto-chastic Petri nets as a tool for reliabi...
As air traffic over France is growing rapidly, the existing Air Traffic Control (ATC) system has to ...
The research aims to build a behavioral models of electrical power systems through the use of Petri ...
The increasingly ubiquitous use of embedded systems to manage and control our technologically (ever-...
AbstractRedundant techniques are widely adopted in vehicle management computer (VMC) to ensure that ...
Current methods in combining Petri net modeling with fault tree analysis for systems failure and saf...
Abstract For a manufacturer, a good component is one that fails one day after the warranty expires....
International audienceThe systems modelling and the assessment of their performances are the two key...
AbstractActuation system is a vital system in an aircraft, providing the force necessary to move fli...
Several versions of a benchmark on dynamic reliability taken from the literature are examined: each ...
The aim of the work presented in this dissertation is to guarantee that the increasing complexity of...
International audienceAccording to the IEC 61508 functional safety standard, it is required to estim...
Abstract: This paper presents a new stochastic point process able to analyse the failure pattern of ...
2014PDFTech ReportNUTC R346Project #00042531DTRT06-G-0014Intelligent transportation systemsStochasti...
In this paper we consider the brake system of a vehicle whose wheels are equipped with Anti-lock Bra...
This tutorial covers motivation, use, and advantages of sto-chastic Petri nets as a tool for reliabi...
As air traffic over France is growing rapidly, the existing Air Traffic Control (ATC) system has to ...
The research aims to build a behavioral models of electrical power systems through the use of Petri ...