Safety analysis and reliability estimation of a networked control system

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 36, Issue 5, 2003, Pages 945-950

  Barger, P ^a   Thiriet, J M ^a   Robert, M ^a  

^a CENTRE DE RECHERCHE EN AUTOMATIQUE DE NANCY   (France)

Author keywords

Coloured Petri nets; Communication network; Components failures; Failure rate estimation; Networked control system; Scenarios

Indexed keywords

CONTROL SYSTEM ANALYSIS; FAILURE ANALYSIS; FAULT DETECTION; INTELLIGENT SYSTEMS; MONTE CARLO METHODS; PETRI NETS; PLANT MANAGEMENT; RELIABILITY ANALYSIS; TELECOMMUNICATION NETWORKS;

COLOURED PETRI NETS; COMPONENT FAILURES; EVENT-TRIGGERED; FAILURE RATE ESTIMATION; GLOBAL RELIABILITY; RELIABILITY ESTIMATION; SAFETY ANALYSIS; SCENARIOS;

NETWORKED CONTROL SYSTEMS;

EID: 84873589914     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)36614-4     Document Type: Conference Paper

References (9)

1. P. Barger, J.M. Thiriet, and M. Robert Dynamical reliability and availability evaluation and validation of distributed control systems IEEE Instrumentation and Measurement Technology Conference Anchorage, AK, USA, 21-23 May 2002 2002
2. Design Design/CPN software homepage: http://www.daimi.aau.dk/designCPN
3. K. Jensen Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use, Monographs in Theoretical Computer Science 1997 Springer-Veriag 2nd corrected printing 1997
4. G. Juanole Quality of service of communication networks and distributed automation: models and perfonnances Invited paper: 15th Triennial World Congress of the IFAC 2002 Barcelona Spain 21-26 July 2002
5. P.E. Labeau, and E. Zio Procedures of Monte Carlo transport simulation for applications in system engineering, Reliability Engineeri1lg and System Safety 77 2002 217 228 2002
6. P. Meunier, B. Denis, and J.J. Lesage Safety Analysis During the Control Architecture Design of Automated Systems, Safeprocess 2000 (IFAC) 2000 Budapest, Hungary, June 14-16,2000
7. G. Moncelet Application des réseaux de Petri à I'évaluation de la sûreté de fonctionnement des systèmes mécatroniques du monde automobile PhD. thesis 1998 Université Paul Sabatier Toulouse. France
8. H.S. Son, and P.H. Seong Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application Reliability Engineering and System Safety 80 2003 19 32 2003
9. G.C. Walsh, and H. Ye Scheduling of networked control systems IEEE control systems magazine 2001 57 65 February 2001