Special Session on


“Petri net based RAMS (Reliability, Availability, Maintainability and Safety) modeling”


Session Chairs:


Prof. Dr.-Ing. Dr.h.c. Eckehard Schnieder

Institute for Traffic Safety and Automation Engineering

University of Braunschweig

Langer Kamp 8

38104 Braunschweig

Email: e.schnieder[at]tu-bs.de


Dr. rer. nat. Jörg R. Müller

Institute for Traffic Safety and Automation Engineering

University of Braunschweig

Langer Kamp 8

38104 Braunschweig

Email: mueller[at]iva.ing.tu-bs.de


Call for papers:


Questions concerning dependability, i.e. Reliability, Availability, Maintainability and Safety (RAMS) play an essiential role not only during development but through the whole life cycle of systems. In addition, dependability is often influenced not only by physical issues, but also by administrative controls and human actions. Therefore, several international standards have been introduced related to the design and evaluation of dependability, e.g. IEC 61508. As the complexity of dependability related functions is rapidly increasing and formal methods are explicitly recommended in the IEC 61508, more sophisticated methods and tools are required.


Petri nets as a description means for distributed systems have gained widespread acceptance in all industrial fields of application (e. g. information, communication, transportation, processing and manufacturing industry and power engineering). The essential modeling power of Petri nets is based on the description of the global causal behavior of a system through modeling the relationship between local states and local events.  Compared to other automata based dependability techniques (e.g. Markov techniques) the explicit modeling of local states as well as independent local events allows a more appropriate and intuitive modeling of systems and their dynamics. Moreover, the modeling of stochastic behavior is not restricted to exponential distributed properties, but can be chosen freely.


The goal of this session is to present new theoretical approaches as well as industrial applicactions of Petri nets in the field of dependability.


Submissions:


Please send us before December 15, 2008 an acknowledgement if you would propose a paper (indicate the title, the authors, your contact information and an extended abstract about 2 usual size pages). We will then contact you for more details about the organization of the session.


Please send it to mueller[at]iva.ing.tu-bs.de and CC to e.schnieder[at]tu-bs.de  in PDF format.