Dependability evaluation of networked control systems under transmission faults

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 6, Issue PART 1, 2006, Pages 1068-1073

  Ghostine, Rony ^a   Thiriet, Jean Marc ^b   Aubry, Jean François ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

^b GIPSA LAB   (France)

Author keywords

Communication network; Dependability evaluation; Networked control system; Petri nets

Indexed keywords

FAULT DETECTION; PETRI NETS; PLANT MANAGEMENT; SAFETY ENGINEERING; TELECOMMUNICATION NETWORKS;

DEPENDABILITY EVALUATION; INTERNATIONAL STANDARDS; NETWORK SYSTEMS; SAFETY CRITICAL APPLICATIONS; TRANSITION FAULTS;

NETWORKED CONTROL SYSTEMS;

EID: 79961138280     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20060829-4-cn-2909.00178     Document Type: Conference Paper

References (14)

1. Abdollahi Azgomi and A. Movaghar (2005), Hierarchical Stochastic Activity Networks: Formal Definitions and Behaviour, International Journal of Simulation, Systems Science and Technology, Vol. 6, No. 1-2, pp. 56-66.
2. Barger, P., J.M. Thiriet, M. Robert (2003). Safety analysis and reliability estimation of a networked control system In: SAFEPROCESS 2003, Washington, D.C, USA.
3. Cheong SO, J.K (2003). Delay Modelling And Controller design for networked Control systems. Master of applied thesis. Department of Electrical and Computer Engineering University of Toronto.
4. Deavours, D.D., G. Clark, T. Courtney, D. Dalys, S. Derisavi, J.M. Doyle, W.H. Sanders, and P.G. Webster (2002). The Moebius framework and its implementation. IEEE Trans. On Soft. Eng, Vol. 28, No 10, pp 956-969.
5. Jensen, K. (1997). Coloured Petri Nets, Basic Concept, Analysis Methods and Practical use. Monographs in theoretical Computer Science, Springer-Verlag, 2nd correcting printing 1997.
6. Malhotra, M. and K. Trivedi (1995). Dependability Modelling Using Petri-Nets, IEEE Transaction on reliability, Vol. 44, No. 3, pp. 428-440.
7. Moncelet, G., S. Christensen, H. Demmou, M. Pauldetto and J. Porras (1998). Dependability evaluation of a simple mechatronic system using coloured Petri nets In: Workshop on Practical Use of Coloured Petri Nets and Design CPN (Jensen, K.), pp. 189-198. Aarhus University, Aarhus, Denmark.
8. Navet, N., Y. Song and F. Simonot (2000). Worst-Case Deadline Probability in Real-Time Applications Distributed over Controller Area Network. In: Journal of systems Architecture, Vol. 46, No. 1, pp. 607-617.
9. Portugal, P.J. and Carvalho, A. (2004). A Stochastic Petri Net Framework for Dependability Evaluation of Fieldbus Networks - A Controller Area Network (CAN) Example. International IEEE Conference in Mechatronics and Robotics - MECROB.
10. Punnekkat, S., H Hannsoon and C. Norstom (2000), Response Time Analysis under errors for CAN, Proceeding of IEEE Real-Time Technology and applications Symposium.
11. nd International CAN Conference .
12. Sanders, W.H., W.D. Obal, M.A. Qureshi and F.K. Widjanarko (1995). The UltraSAN modelling environment. Performance Evaluation, Vol. 24, No. 1-2, pp 89-115.
13. Unruh, J. H.J. Mathony and K.H. Kaiser (1989). Error detection analysis of automotive communication networks, Technical report, Robert Bosh GmbH.
14. William H. S., John F. Meyer. (2002). Stochastic activity networks: formal definitions and concepts, Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science, pp 315-343. Springer-Verlag New York, Inc., New York, NY.