By Topic

Specification method based on temporal SADT and deterministic/stochastic Petri nets. Application to safety assessment

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Nowak, G. ; Lab. d''Autom. Ind., Inst. Nat. des Sci. Appliques, Lyon, France ; Niel, E. ; Jutard, A.

A significant complexity of automated manufacturing systems (AMS) requires methods and tools which must allow preliminary safety analysis beginning right from the start of the design cycle. In this paper we propose a new specification method for AMS, based on temporal SADT and deterministic/stochastic Petri nets (DSPN). Temporal SADT complements conventional SADT with temporal description and additional operators leading to both dynamic and simulation SADT diagrams. Creating his own temporal SADT specification, the user can simultaneously develops its Petri net representation. At this level of specification the required calculations can be undertaken due to the mathematical PN formalism and the possibility of transforming the DSPN into a Markov graph. Such calculations allow us to detect errors and to estimate a system safety at the start of the design. Because of its structured and hierarchical formalism, the proposed method contributes to facilitating the communication between different members of the project team

Published in:

Emerging Technologies and Factory Automation, 1996. EFTA '96. Proceedings., 1996 IEEE Conference on  (Volume:1 )

Date of Conference:

18-21 Nov 1996