By Topic

A model-based fault-tolerant CSCW architecture. Application to biomedical signals visualization and processing

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
$33 $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

2 Author(s)
Y. Bouillon ; ATLANTIDE, Rennes, France ; F. Wendling

The paper describes a methodological approach that uses Petri nets (PNs) and Time Petri nets (TPNs) for modeling, analysis and behavior control of fault-tolerant computer supported synchronous cooperative work (CSSCW) architectures inside which a high level of interactivity between users is required. Modeling allows architectures to be formally studied under different functioning conditions (normal communications and deficient communications). Results show that the model is able to predict interlocking and state inconsistencies in the presence of errors. TPNs are used to extend PN models in order to detect communication errors and avoid subsequent dysfunctions. The approach is illustrated through the improvement of a recently presented collaborative application dedicated to biomedical signal visualization and analysis

Published in:

Information Technology Applications in Biomedicine, 2000. Proceedings. 2000 IEEE EMBS International Conference on

Date of Conference: