Critical scenarios derivation methodology for mechatronic systems

This paper deals with safety in design of mechatronic systems. We propose a method based on a qualitative analysis of a Petri net model of the system. It allows deriving feared scenarios by determining the sequences of actions and state changes leading to the feared state in which the passenger'...

Full description

Saved in:

Bibliographic Details
Published in:	Reliability engineering & system safety Vol. 84; no. 1; pp. 33 - 44
Main Authors:	Demmou, Hamid, Khalfaoui, Sarhane, Guilhem, Edwige, Valette, Robert
Format:	Journal Article
Language:	English
Published:	Elsevier Ltd 01-04-2004
Subjects:	Feared scenarios Hybrid systems Linear logic Mechatronic systems Petri net Reliability in design Linear logic Reliability in design Hybrid systems Mechatronic systems Feared scenarios Petri net
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	This paper deals with safety in design of mechatronic systems. We propose a method based on a qualitative analysis of a Petri net model of the system. It allows deriving feared scenarios by determining the sequences of actions and state changes leading to the feared state in which the passenger's safety is no longer guaranteed. The Petri net model of the system takes into account normal behaviour, failures and reconfiguration mechanisms. Our approach uses linear logic as formal framework and is based on a backward and a forward reasoning. It derives feared scenarios as causal relationships between normal states and the feared one.
Bibliography:	ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23
ISSN:	0951-8320 1879-0836
DOI:	10.1016/j.ress.2003.11.007